  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.
