Related papers: Enriched pro-categories and shapes
Categories of partial functions have become increasingly important principally because of their applications in theoretical computer science. In this note we prove that the category of partial bijections between sets as an…
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…
Given a fixed tensor triangulated category S we consider triangulated categories T together with an S-enrichment which is compatible with the triangulated structure of T. It is shown that, in this setting, an enriched analogue of Brown…
In a recent article Facchini and Finocchiaro considered a natural pretorsion theory in the category of preordered sets inducing a corresponding stable category. In the present work we propose an alternative construction of the stable…
We construct a model structure on the category of small categories enriched over a combinatorial closed symmetric monoidal model category satisfying the monoid axiom. Weak equivalences are Dwyer-Kan equivalences, i.e. enriched functors…
We propose a construction of a stable category for any pretorsion theory in a lextensive category. We prove the universal property of the stable category, that extends previous results obtained for the stable category of internal preorders…
In a coherent category, the posets of subobjects have very strong properties. We emphasize the validity of these properties, in general categories, for well-behaved classes of subobjects. As an example of application, we investigate the…
We introduce and develop the notion of *displayed categories*. A displayed category over a category C is equivalent to "a category D and functor F : D --> C", but instead of having a single collection of "objects of D" with a map to the…
Following ideas of Lawvere and Linton we prove that classical varieties are precisely the exact categories with a varietal generator. This means a strong generator which is abstractly finite and regularly projective. An analogous…
The well-known Lawvere category R of extended real positive numbers comes with a monoidal closed structure where the tensor product is the sum. But R has another such structure, given by multiplication, which is *-autonomous. Normed sets,…
In this paper we propose unifying the categories of cochain complexes $\text{Ch}(\mathcal{C})$ and modules $\widehat{A}\text{-mod}$ over a repetitive algebra $\widehat{A}$. Motivated by their striking similarities and importance, we…
We generalize the construction of tensor categories of endomorphisms of a type III factor $M$ associated with a $G$-kernel, from the case of a discrete group $G$ to that of a compact second countable group. Our approach is based on the…
In this paper we present background results in enriched category theory and enriched model category theory necessary for developing model categories of enriched functors suitable for doing functor calculus.
A braided category of C*-algebras is constructed. Its objects are C*-algebras endowed with an action of the group R, its morphisms are C*-algebras morphisms intertwining the action of R, the crossed product of its two objects essentially…
We develop a categorical analogue of Clifford theory for strongly graded rings over graded fusion categories. We describe module categories over a fusion category graded by a group $G$ as induced from module categories over fusion…
A notion of stratification is introduced for any compactly generated triangulated category T endowed with an action of a graded commutative noetherian ring R. The utility of this notion is demonstrated by establishing diverse consequences…
We study the properties of the relative derived category $D_{\mathscr{C}}^{b}$($\mathscr{A}$) of an abelian category $\mathscr{A}$ relative to a full and additive subcategory $\mathscr{C}$. In particular, when $\mathscr{A}=A{\text -}\mod$…
Given a Noetherian formal scheme $\hat X$ over ${\rm Spf}(R)$, where $R$ is a complete DVR, we first prove a theorem of meromorphic descent along a possibly infinite cover of $\hat{X}$. Using this we construct a specialization functor from…
We construct a functor, from the category of schemes to the category of graded rings, that is an initial object for having a theory of Chern classes with an additive first Chern class. For any scheme $X$, the graded ring that our functor…
We formulate a theory of shape valid for objects of arbitrary dimension whose contours are path connected. We apply this theory to the design and modeling of viable trajectories of complex dynamical systems. Infinite families of…