nLab regular (infinity,1)-category

Contents

Contents

Idea

A regular (,1)(\infty,1)-category is the analog of a regular category for (∞,1)-category theory.

Definition

Definition

Let 𝒞\mathcal{C} be an (∞,1)-category. This is called an exact (,1)(\infty,1)-category if

  1. 𝒞\mathcal{C} has a terminal object and homotopy fiber products;

  2. 𝒞\mathcal{C} admits a factorization system (S L,S R)(S_L,S_R), where S LS_L is the collection of regular n-connected morphisms and S RS_R is the collection of n-truncated morphisms.

Definition

An (∞,1)-category CC is regular if it admits finite (∞,1)-limits, every morphism in CC has an image, i.e., can be written as a composition of an (∞,1)-quotient morphism and an (∞,1)-monomorphism, and the collection of (∞,1)-quotient morphisms is closed under base changes.

References

Last revised on December 14, 2023 at 20:46:17. See the history of this page for a list of all contributions to it.