[[!redirects n-categories, hyperstructures and cohesion]] ## References * [nforum: Segal condition]( http://nforum.mathforge.org/discussion/3740/segal-condition/#Item_3) * [[nLab:category object in an (infinity,1)-category]] * [[nLab:blob n-category]] * [[nLab:David Ayala|Ayala]]-[[nLab:Nick Rozenblyum|Rozenblyum]], see the references at [[nLab:(infinity,n)-category with adjoints]] * [[nLab:HoTT - contents]] * (directed) type theory * [ncafé:directed homotopy type theory](http://golem.ph.utexas.edu/category/2012/06/directed_homotopy_type_theory.html) * Daniel R.Licata, Robert Harper, 2-dimensional directed type theory, [pdf](http://www.cs.cmu.edu/~drl/pubs/lh102dtt/lh102dtt.pdf) * [[Michael Shulman:internal logic of a 2-category]] * [[nLab:cobordism hypothesis]] and [[nLab:TQFT|topological quantum field theories]] * [[nLab:Jacob Lurie]], On the classification of topological field theories, [arXiv:0905.0465 ](http://arxiv.org/abs/0905.0465v1)