Related papers: Flat vs. filtered colimits in the enriched context

Sifted colimits (those that commute with finite products in sets) play a major role in categorical universal algebra. For example, varieties of (many-sorted) algebras are precisely the free cocompletions under sifted colimits of…

Following Lawvere's description of metric spaces using enriched category theory, we introduce a change in the base of enrichment that allows description of some aspects of (relativistic) causal spaces. All such spaces are Cauchy complete,…

In a recent paper we introduced a much weaker and easy to verify structure than a model category, which we called a "weak fibration category". We further showed that a small weak fibration category can be "completed" into a full model…

We consider the equivalence of Lawvere theories and finitary monads on Set from the perspective of Endf(Set)-enriched category theory, where Endf(Set) is the category of finitary endofunctors of Set. We identify finitary monads with…

We give an elementary construction of the exact completion of a weakly lex category for categories enriched in the cartesian closed category $\mathsf{Pos}$ of partially ordered sets. Paralleling the ordinary case, we characterize categories…

In contrast to the fact that every completely distributive lattice is necessarily continuous in the sense of Scott, it is shown that complete distributivity of a category enriched over the closed category obtained by endowing the unit…

We develop a theory of weighted colimits in the framework of weakly bienriched $\infty$-categories, an extension of Lurie's notion of enriched $\infty$-categories. We prove an existence result for weighted colimits, study weighted colimits…

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 define the notion of 2-filtered 2-category and give an explicit construction of the bicolimit of a category valued 2-functor. A category considered as a trivial 2-category is 2-filtered if and only if it is a filtered category, and our…

We introduce the notion of a definable category--a category equivalent to a full subcategory of a locally finitely presentable category that is closed under products, directed colimits and pure subobjects. Definable subcategories are…

For a small category K enriched over a suitable monoidal category V, the free completion of K under colimits is the presheaf category [K*,V]. If K is large, its free completion under colimits is the V-category PK of small presheaves on K,…

We develop a theory of categories which are simultaneously (1) indexed over a base category S with finite products, and (2) enriched over an S-indexed monoidal category V. This includes classical enriched categories, indexed and fibered…

We construct a machine which takes as input a locally small symmetric closed complete multicategory $\mathsf V$. And its output is again a locally small symmetric closed complete multicategory $\mathsf V\text-\mathcal{C}at$, the…

We thoroughly treat several familiar and less familiar definitions and results concerning categories, functors and distributors enriched in a base quantaloid Q. In analogy with V-category theory we discuss such things as adjoint functors,…

The filter quotient construction is a particular instance of a filtered colimit of categories. It has primarily been considered in the context of categorical logic, where it has been used effectively to construct non-trivial models, for…

Generalising Nachbin's theory of "topology and order", in this paper we continue the study of quantale-enriched categories equipped with a compact Hausdorff topology. We compare these $\mathcal{V}$-categorical compact Hausdorff spaces with…

Many economic theory models incorporate finiteness assumptions that, while introduced for simplicity, play a real role in the analysis. We provide a principled framework for scaling results from such models by removing these finiteness…

Enrichment and internal categories are two different way to generalize the notion of category. As such, enriching double categories (which are categories internal to Cat) is not a clear concepts. One can look at the internal categories of…

This paper introduces a skew variant of the notion of enriched category, suitable for enrichment over a skew-monoidal category, the main novelty of which is that the elements of the enriched hom-objects need not be in bijection with the…

We provide a new characterization of enriched accessible categories by introducing the two new notions of virtual reflectivity and virtual orthogonality as a generalization of the usual reflectivity and orthogonality conditions for locally…