Related papers: Localizations, colocalizations and non additive *-…
Given an undirected graph representing similarities between a set of items and an additive measure evaluating the items, we treat the position of a special subset of items in an ordinal ranking through a collection of combinatorial…
We give the definitions of model bicategory and $q$-homotopy, which are natural generalizations of the notions of model category and homotopy to the context of bicategories. For any model bicategory $\mathcal{C}$, denote by…
We record an explicit proof of the theorem that lifts a two-variable adjunction to the arrow categories of its domains.
We introduce a new concept of s-recollements of extriangulated categories, which generalizes recollements of abelian categories, recollements of triangulated categories, as well as recollements of extriangulated categories. Moreover, some…
We construct an adjunction between $m$-categories internal to $(\infty,n)$-categories, called $(n,m)$-double $\infty$-categories, and filtrations $A_0\to \dots\to A_m$ where for all $i<m$, $A_i$ is a $(n+i)$-category. We show that this…
Objects $T$ whose exponential functor $(-)^T$ admits a right adjoint $(-)_T$ are known under different names. The fact that they exist, yet that the only set that satisfies this in the category of sets is the singleton made Lawvere suggest…
It is known that the so-called monadic decomposition, applied to the adjunction connecting the category of bialgebras to the category of vector spaces via the tensor and the primitive functors, returns the usual adjunction between…
We generalize the small object argument in order to allow for its application to proper classes of maps (as opposed to sets of maps in Quillen's small object argument). The necessity of such a generalization arose with appearance of several…
We construct a left semi-model category of "marked strict $\infty$-categories" for which the fibrant objects are those whose marked arrows satisfy natural closure properties and are weakly invertible. The canonical model structure on strict…
We provide a framework to triangulate subfactor categories of additive categories with additive endofunctors. It is proved that such a framework is sufficiently flexible to cover many instances in algebra and geometry where abelian, exact…
This note has several aims. Firstly, it portrays a non-standard analysis as a functor, namely a functor * that maps any set A to the set *A of its non-standard elements. That functor, from the category of sets to itself, is postulated to be…
Categories are coreflectively embedded in multicategories via the "discrete cocone" construction, the right adjoint being given by the monoid construction. Furthermore, the adjunction lifts to the "cartesian level": preadditive categories…
We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…
For a category B with finite products, we first characterize pseudofunctors from B to Cat whose corresponding opfibration is cartesian monoidal. Among those, we then characterize the ones which extend to pseudofunctors from internal groups…
The notion of left (resp. right) regular object of a tensor C*-category equipped with a faithful tensor functor into the category of Hilbert spaces is introduced. If such a category has a left (resp. right) regular object, it can be…
We study and relate categories of modules, comodules and contramodules over a representation of a small category taking values in (co)algebras, in a manner similar to modules over a ringed space. As a result, we obtain a categorical…
This paper introduces the notion of a categorical pair, a pair of categories (C,C') such that every morphism in C is an object in C'. Categorical pairs are precursors to 2-categories. Arrows in C' can express relationships among the…
It is shown that the multiplicative monoids of Brauer's centralizer algebras generated out of the basis are isomorphic to monoids of endomorphisms in categories where an endofunctor is adjoint to itself, and where, moreover, a kind of…
Given a functor $T:C \to D$ carrying a class of morphisms $S\subset C$ into a class $S'\subset D$, we give sufficient conditions in order that $T$ induces an equivalence on the localised categories. These conditions are in the spirit of…
Categorification is the process of finding category-theoretic analogs of set-theoretic concepts by replacing sets with categories, functions with functors, and equations between functions by natural isomorphisms between functors, which in…