category object in an (∞,1)-category, groupoid object

Bishop set, setoid

internal category, internal groupoid

weak equivalence of internal categories

internal functor, internal profunctor

internal diagram, internal presheaf

n-fold category, cat-n-group

semi-Segal space, Segal space, complete Segal space,

reduced Segal space

higher Segal space

n-fold complete Segal space

Theta space

n-category object in an (∞,1)-category

Theta_n space

Edit this sidebar