[[!redirects n-categories, hyperstructures and cohesion]] ## References * [[nLab:fundamental category]] * 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:directed homotopy theory]] * [[nLab:Marco Grandis]], _Directed homotopy theory, I. The fundamental category_ ([arXiv](http://arxiv.org/abs/math.AT/0111048)) * [[nLab:directed algebraic topology]] * [[nLab:transversal homotopy theory]] * [[nLab:(infinity,n)-category with duals]], Reference: def 2.3.13, def 2.3.16 On the classification of topological field theories, [arXiv:0905.0465](http://arxiv.org/abs/0905.0465v1) * J. Woolf, [Transversal homotopy theory](http://arxiv.org/abs/0910.3322). * [[nLab:stratified space]] * directed [[nLab:HoTT - contents|homotopy type 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: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. ([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) * [[nLab:(infinity,n)-category with all adjoints]] * [[nLab:David Ayala|Ayala]]-[[nLab:Nick Rozenblyum|Rozenblyum]], see the references at [[nLab:(infinity,n)-category with adjoints]] * [[nLab:(infinity,n)-category with duals]], Reference: def 2.3.13, def 2.3.16 On the classification of topological field theories, [arXiv:0905.0465 ](http://arxiv.org/abs/0905.0465v1) * [[nLab:blob n-category]]