nforum: Segal condition

category object in an (infinity,1)-category

(infinity,n)-category with adjoints

blob n-category

Ayala Rozenbluym

ncafĂ©:directed homotopy type theory

Revision on November 1, 2012 at 02:26:48 by Stephan Alexander Spahn?. See the history of this page for a list of all contributions to it.