∞-ary regular and exact categories
arity class: unary, finitary, infinitary
regularity
regular category = unary regular
coherent category = finitary regular
geometric category = infinitary regular
exactness
exact category = unary exact
Background
Basic concepts
equivalences in/of -categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
An (∞,1)-category satisfying the analogs of the properties of a disjunctive category.
Last revised on September 14, 2018 at 18:55:27. See the history of this page for a list of all contributions to it.