nforum: Segal condition
category object in an (infinity,1)-category
blob n-category
Ayala-Rozenbluym, see the references at (infinity,n)-category with adjoints
(directed) type theory
ncafĂ©:directed homotopy type theory
Daniel R.Licata, Robert Harper, 2-dimensional directed type theory, pdf
internal logic of a 2-category
cobordism hypothesis and topological quantum field theories
Revision on November 1, 2012 at 13:26:49 by Stephan Alexander Spahn?. See the history of this page for a list of all contributions to it.