Related papers: Enriched indexed categories
In this article the notion of virtual double category (also known as fc-multicategory) is extended as follows. While cells in a virtual double category classically have a horizontal multi-source and single horizontal target, the notion of…
This paper contains results from two areas -- formal theory of Kan extensions and concrete categories. The contribution to the former topic is based on the extension of the concept of Kan extension to the cones and we prove that limiting…
I describe a generalization of the notion of operadic category due to Batanin and Markl. For each such operadic category I describe a skew monoidal category of collections, such that a monoid in this skew monoidal category is precisely an…
This paper emerged as a result of tackling the following three issues. Firstly, we would like the well known embedding of bicategories into pseudo double categories to be monoidal, which it is not if one uses the usual notion of a monoidal…
Recently, there has been renewed interest in the theory and applications of de Paiva's dialectica categories and their relationship to the category of polynomial functors. Both fall under the theory of generalized polynomial categories,…
Premonoidal and Freyd categories are both generalized by non-cartesian Freyd categories: effectful categories. We construct string diagrams for effectful categories in terms of the string diagrams for a monoidal category with a freely added…
We use the terms $\infty$-categories and $\infty$-functors to mean the objects and morphisms in an $\infty$-cosmos: a simplicially enriched category satisfying a few axioms, reminiscent of an enriched category of fibrant objects.…
In this study, internal categories in the category of the crossed modules are characterized and it has been shown that there is a natural equivalence between the category of the crossed modules over crossed modules, i.e. crossed squares,…
We show that every small model category that satisfies certain size conditions can be completed to yield a combinatorial model category, and conversely, every combinatorial model category arises in this way. We will also see that these…
We consider a theory of centers and homotopy centers of monoids in monoidal categories which themselves are enriched in duoidal categories. Duoidal categories (introduced by Aguillar and Mahajan under the name 2-monoidal categories) are…
We provide various ways to characterise $\Sigma$-pure-injective objects in a compactly generated triangulated category. These characterisations mimic analogous well-known results from the model theory of modules. The proof involves two…
We prove a number of results involving categories enriched over \textsc{CMet}, the category of complete metric spaces with possibly infinite distances. The category \textsc{CPMet} of intrinsic complete metric spaces is locally…
In category theory, the use of string diagrams is well known to aid in the intuitive understanding of certain concepts, particularly when dealing with adjunctions and monoidal categories. We show that string diagrams are also useful in…
We systematically develop the theory of definable functors between compactly generated triangulated categories. Such functors preserve pure triangles, pure injective objects, and definable subcategories, and as such appear in a wide range…
We develop and extend the theory of Mackey functors as an application of enriched category theory. We define Mackey functors on a lextensive category $\E$ and investigate the properties of the category of Mackey functors on $\E$. We show…
The Grothendieck construction is a process to form a single category from a diagram of small categories. In this paper, we extend the definition of the Grothendieck construction to diagrams of small categories enriched over a symmetric…
Each distributor between categories enriched over a small quantaloid Q gives rise to two adjunctions between the categories of contravariant and covariant presheaves, and hence to two monads. These two adjunctions are respectively…
In this paper we start by pointing out that Yoneda's notion of a regular span $S \colon \mathcal{X} \to \mathcal{A} \times \mathcal{B}$ can be interpreted as a special kind of morphism, that we call fiberwise opfibration, in the 2-category…
We construct an exact completion for regular categories enriched in the cartesian closed category $\mathsf{Pos}$ of partially ordered sets and monotone functions by employing a suitable calculus of relations. We then characterize the…
The study of abstraction and composition - the focus of category theory - naturally leads to sophisticated diagrams which can encode complex algebraic semantics. Consequently, these diagrams facilitate a clearer visual comprehension of…