[[!redirects n-categories, hyperstructures and cohesion]] ## References * n-categories, internal n-categories * [[Segal condition]] * [[nLab:Segal spaces]], see the references there * [nforum: Segal condition]( http://nforum.mathforge.org/discussion/3740/segal-condition/#Item_3) * [[nLab:category object in an (infinity,1)-category]], [[category object]] * Reference: [[nLab:Jacob Lurie]], _$(\infty,2)$-Categories and the Goodwillie calculus_ ([arXiv:0905.0462](http://arxiv.org/abs/0905.0462)), chapter 1 {#Lurie} * [[nLab:blob n-category]] * ''...with all adjoints'' * [[nLab:David Ayala|Ayala]]-[[nLab:Nick Rozenblyum|Rozenblyum]], see the references at [[nLab:(infinity,n)-category with adjoints]] * [[nLab:HoTT - contents]] * (directed) homotopy (type) theory * [[nLab:homotopy theory]] * [[nLab:directed homotopy theory]] * [[nLab:directed homotopy 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:Marco Grandis]], _Directed homotopy theory, I. The fundamental category_ ([arXiv](http://arxiv.org/abs/math.AT/0111048)) * [[nLab:Tim Porter]], _Enriched categories and models for spaces of evolving states_, Theoretical Computer Science, 405, (2008), pp. 88--100. * [[nLab:Tim Porter]], _Enriched categories and models for spaces of dipaths. A discussion document and overview of some techniques_ ([pdf](http://drops.dagstuhl.de/opus/volltexte/2007/898/pdf/06341.PorterTimothy.Paper.898.pdf)) * [[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)