Geometric higher groupoids and categories
arXiv:1508.02069 · doi:10.1007/978-3-319-49638-2_1
Abstract
In an enriched setting, we show that higher groupoids and higher categories form categories of fibrant objects. The nerve of a differential graded algebra is a higher category in the category of algebraic varieties, where covers are defined to be smooth epimorphisms.
Proofs of Lemma 4.2 and Lemma 6.2 repaired, and other small changes