n-categories, internal n-categories
Segal spaces, see the references there
category object in an (infinity,1)-category, category object
Marco Grandis, Directed homotopy theory, I. The fundamental category (arXiv)
transversal homotopy theory?
(infinity,n)-category with duals, Reference: def 2.3.13, def 2.3.16 On the classification of topological field theories, arXiv:0905.0465
J. Woolf, Transversal homotopy theory.
directed homotopy type theory
Daniel R.Licata, Robert Harper, 2-dimensional directed type theory, pdf
Tim Porter, Enriched categories and models for spaces of evolving states, Theoretical Computer Science, 405, (2008), pp. 88–100.
Tim Porter, Enriched categories and models for spaces of
dipaths. (pdf)
cobordism hypothesis and topological quantum field theories
(infinity,n)-category with all adjoints
(infinity,n)-category with duals, Reference: def 2.3.13, def 2.3.16 On the classification of topological field theories, arXiv:0905.0465
Last revised on November 5, 2012 at 02:36:45. See the history of this page for a list of all contributions to it.