category object in an (∞,1)-category, groupoid object
Background
Basic concepts
equivalences in/of -categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
The notion of n-category formulated internal to an ambient (∞,1)-category is supposed to externally be a kind of (∞,n)-category.
For this is a category object in an (∞,1)-category.
A model along these lines for general with the simplex category generalized to the Theta_n category and the ambient -category being ∞Grpd are Theta_n spaces.
Another model is that of n-fold complete Segal space objects.
For the moment see at category object in an (infinity,1)-category – n-Categories
Last revised on October 10, 2014 at 13:17:19. See the history of this page for a list of all contributions to it.