Related papers: Representations are adjoint to endomorphisms
Cofibration categories are a formalization of homotopy theory useful for dealing with homotopy colimits that exist on the level of models as colimits of cofibrant diagrams. In this paper, we deal with their enriched version. Our main result…
If $\mathbf{C}$ is a category with pullbacks then there is a bicategory with the same objects as $\mathbf{C}$, spans as morphisms, and maps of spans as 2-morphisms, as shown by Benabou. Fong has developed a theory of "decorated" cospans,…
Originally enriched categories were defined over a monoidal category, but it was gradually realized that important examples can only be included when one enriches over more general structures such as bicategories and virtual double…
We characterize the groups isomorphic to full automorphism groups of ordered abelian groups. The result will follow from classical theorems on ordered groups adding an argument from proofs used to realize rings as endomorphism rings of…
Let $A$ be an algebra in a monoidal category $\Cc$, and let $X$ be an object in $\Cc$. We study $A$-(co)ring structures on the left $A$-module $A\ot X$. These correspond to (co)algebra structures in $EM(\Cc)(A)$, the Eilenberg-Moore…
Auslander-Reiten duality for module categories is generalised to Grothendieck abelian categories that have a sufficient supply of finitely presented objects. It is shown that Auslander-Reiten duality amounts to the fact that the functor…
Every monoidal functor G: C --> M has a canonical factorization through the category of bimodules over some monoid R in M such that the factor U: C -->_R M_R is strongly unital. Using this result and the characterization of the forgetful…
We furnish any category of a universal (co)homology theory. Universal (co)homologies and universal relative (co)homologies are obtained by showing representability of certain functors and take values in $R$-linear abelian categories of…
A non-unital algebra in a closed monoidal category is called self-induced if the multiplication induces an isomorphism between A\otimes_A A and A. For such an algebra, we define smoothening and roughening functors that retract the category…
Differential modules over a commutative differential ring R which are finitely generated projective as ring modules, with differential homomorphisms, form an additive category, so their isomorphism classes form a monoid. We study the…
A Tannakian category is an abelian tensor category equipped with a fiber functor and additional structures which ensure that it is equivalent to the category of representations of some affine groupoid scheme acting on the spectrum of a…
Adjunctions of two variables generalize the relationship between tensor product and the internal hom functor in a closed monoidal category. For a pair of ordinary adjunctions $(F\dashv U, F'\dashv U')$ conjugation relates natural…
The monoid of multipliers of a semigroup object in a monoidal category is introduced, arising from an abstraction of the definition of the translational hull of an ordinary semigroup or of the multiplier algebra of a Banach algebra and…
We explore the relationship between polynomial functors and (rooted) trees. In the first part we use polynomial functors to derive a new convenient formalism for trees, and obtain a natural and conceptual construction of the category…
We give the definition of presentations of linear monoidal categories. Our main result is that given a presentation of a linear monoidal category, we can produce a presentation of the same category as a linear category. We apply this result…
We introduce a notion of bimodule in the setting of enriched $\infty$-categories, and use this to construct a double $\infty$-category of enriched $\infty$-categories where the two kinds of 1-morphisms are functors and bimodules. We then…
In 1994, Long and Moody gave a construction on representations of braid groups which associates a representation of \mathbf{B}\_{n} with a representation of \mathbf{B}\_{n+1}. In this paper, we prove that this construction is functorial and…
A pair of adjoint functors $(F,G)$ is called a Frobenius pair of the second type if $G$ is a left adjoint of $\beta F\alpha$ for some category equivalences $\alpha$ and $\beta$. Frobenius ring extensions of the second kind provide examples…
We prove that the forgetful functor from the category of Boolean inverse semigroups to inverse semigroups with zero has a left adjoint. This left adjoint is what we term the `Booleanization'. We establish the exact connection between the…
For any ring $A$ and a small, preadditive, Hom-finite, and locally bounded category $Q$ that has a Serre functor and satisfies the (strong) retraction property, we show that the category of additive functors from $Q$ to the category of…