Lawvere introduced a deceptively simple category, V, which is complete, symmetric, and monoidal closed. Here, we extend this construction to describe a rather general notion of localization called -truncation. We show that this procedure produces tame, realizable n-cells in a standard Grothendieck universe, . Finally, we clarify our notion of smallness for objects of stable rings in
I introduce two closed model categories of (∞, n)-precategories in which the fibrant objects are pre...
AbstractThe localisations of locally finitely presentable categories are characterised as those cate...
For a Heyting algebra V which, as a category, is monoidal closed, we obtain characterizations of exp...
AbstractIn this work it is shown that if the underlying category V0 of a symmetric closed monoidal c...
Using the exact completion of a weakly left exact category, we specialize previous results on monadi...
AbstractUsing the exact completion of a weakly left exact category, we specialize previous results o...
We consider category theory enriched in a locally finitely presentable symmetric monoidal closed cat...
Abstract. We dene and investigate a class of categories with formal proper-ties similar to those of ...
International audienceGrothendieck introduced in Pursuing Stacks the notion of test category . These...
It is known that, in a locally presentable category, localization exists with respect to every set o...
A semi-localization of a category is a full reflective subcat-egory with the property that the refle...
We characterize localizations of monadic categories over SET using the fact that the category of alg...
The contribution of this article is quadruple. It (1) unifies various schemes of premodels/models in...
AbstractWe characterize localizations of monadic categories over S E T using the fact that the categ...
We extend the group-theoretic notion of conditional flatness for a localization functor to any point...
I introduce two closed model categories of (∞, n)-precategories in which the fibrant objects are pre...
AbstractThe localisations of locally finitely presentable categories are characterised as those cate...
For a Heyting algebra V which, as a category, is monoidal closed, we obtain characterizations of exp...
AbstractIn this work it is shown that if the underlying category V0 of a symmetric closed monoidal c...
Using the exact completion of a weakly left exact category, we specialize previous results on monadi...
AbstractUsing the exact completion of a weakly left exact category, we specialize previous results o...
We consider category theory enriched in a locally finitely presentable symmetric monoidal closed cat...
Abstract. We dene and investigate a class of categories with formal proper-ties similar to those of ...
International audienceGrothendieck introduced in Pursuing Stacks the notion of test category . These...
It is known that, in a locally presentable category, localization exists with respect to every set o...
A semi-localization of a category is a full reflective subcat-egory with the property that the refle...
We characterize localizations of monadic categories over SET using the fact that the category of alg...
The contribution of this article is quadruple. It (1) unifies various schemes of premodels/models in...
AbstractWe characterize localizations of monadic categories over S E T using the fact that the categ...
We extend the group-theoretic notion of conditional flatness for a localization functor to any point...
I introduce two closed model categories of (∞, n)-precategories in which the fibrant objects are pre...
AbstractThe localisations of locally finitely presentable categories are characterised as those cate...
For a Heyting algebra V which, as a category, is monoidal closed, we obtain characterizations of exp...
DOI
Add to ORKG