Related papers: Note on Frobenius monoidal functors

Univalent categories constitute a well-behaved and useful notion of category in univalent foundations. The notion of univalence has subsequently been generalized to bicategories and other structures in (higher) category theory. Here, we…

This paper has been withdrawn and replaced by arXiv:1309.5035. In this paper we describe some examples of so called spherical functors between triangulated categories, which generalize the notion of a spherical object. We also give…

We give a new definition of a Frobenius structure on an algebra object in a monoidal category, generalising Frobenius algebras in the category of vector spaces. Our definition allows Frobenius forms valued in objects other than the unit…

An affine monoid is an additive monoid which is cancellative, pointed and finitely generated. An affine monoid $\Lambda$ has the partial order defined by $\lambda \le \lambda + \mu$. The Frobenius complex is the order complex of an open…

We prove that a monomorphic functor $F:Comp\to Comp$ with finite supports is epimorphic, continuous, and its maximal $\emptyset$-modification $F^\circ$ preserves intersections. This implies that a monomorphic functor $F:Comp\to Comp$ of…

Let $R$, $S$ be two rings, $C$ an $R$-coring and ${}_{R}^C{\mathcal M}$ the category of left $C$-comodules. The category ${\bf Rep}\, ( {}_{R}^C{\mathcal M}, {}_{S}{\mathcal M} )$ of all representable functors ${}_{R}^C{\mathcal M} \to…

A vector species is a functor from the category of finite sets with bijections to vector spaces; informally, one can view this as a sequence of $S_n$-modules. A Hopf monoid (in the category of vector species) consists of a vector species…

Let $R$ be a commutative Noetherian ring and let $\G$ be the category of modules of G-dimension zero over $R$. We denote the associated stable category by $\pG$. We show that the functor category $\modpG$ is a Frobenius category and we…

We prove existence and uniqueness of complex Hodge structures on modular functors. The proof is based on the non-Abelian Hodge correspondence and Ocneanu rigidity. Given a modular functor, we explain how its Hodge numbers fit into a…

We provide conditions on a monoidal model category $\mathcal{M}$ so that the category of commutative monoids in $\mathcal{M}$ inherits a model structure from $\mathcal{M}$ in which a map is a weak equivalence or fibration if and only if it…

A differential modality is a comonad on an additive symmetric monoidal category $(\mathsf{C},\otimes,I)$, whose underlying functor we denote $!\colon\mathsf{C} \rightarrow \mathsf{C}$, together with some additional structure including a…

Let X be a projective curve of genus 2 over an algebraically closed field of characteristic 2. The Frobenius map on X induces a rational map on the moduli scheme of rank-2 bundles. We show that up to isomorphism, there is only one (up to…

We exhibit a functor from the category OUS of order unit spaces and positive, unit-preserving mappings into the category $\Prob$ of probabilistic models (test spaces with designated state spaces) and morphisms thereof. Restricted to any…

The aim of this mainly expository note is to point out that, given an Fourier-Mukai functor, the condition making it fully faithful is an instance of \emph{generic vanishing}. We test this point of view on some fairly classical examples,…

The theory of Frobenius groups with Frobenius complements of even order largely reduces to tractable algebraic number theory. If we consider only Frobenius complements with an upper bound $s$ on the number of distinct primes dividing the…

A countable discrete group is said to be Frobenius stable if every function from the group to unitary matrices that is "almost multiplicative" in the Frobenius norm is "close" to a unitary representation in the Frobenius norm. The purpose…

We show that signs of Fourier coefficients, on certain sub-families, determine the half-integral weight cuspidal eigenform uniquely, up to a positive constant. We also study sign change results for the product of the Fourier coefficients of…

For a finite dimensional Frobenius cellular algebra, a sufficient and necessary condition for a simple cell module to be projective is given. A special case that dual bases of the cellular basis satisfying a certain condition is also…

We extend Goodwillie's classification of finitary linear functors to arbitrary small functors. That is we show that every small linear simplicial functor from spectra to simplicial sets is weakly equivalent to a filtered colimit of…

Let $X$ be a projective curve of genus 2 over an algebraically closed field of characteristic 2. The Frobenius map on X induces a rational map on the moduli space of rank-2 bundles. We show that up to isomorphism, there is only one (up to…