Background
Basic concepts
equivalences in/of -categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
A regular monomorphism in a category is a morphism that is the equalizer of some pair of morphisms. A regular monomorphism in an -category is its analog in an (∞,1)-category theory.
Beware that this need not be a monomorphism in an (∞,1)-category.
Let be an (∞,1)-category. A morphism in is a regular monomorphism if there exists a cosimplicial diagram with such that is the (∞,1)-limit over this diagram.
Last revised on October 18, 2010 at 23:07:47. See the history of this page for a list of all contributions to it.