Showing changes from revision #7 to #8:
Added | Removed | Changed
n-categories, internal n-categoriesfundamental category
Segal spaces, see the references there
category object in an (infinity,1)-category, category object
n-categories, internal n-categories
Segal spaces, see the references there
category object in an (infinity,1)-category, category object
blob directed n-category homotopy theory
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.
‘’…with directed all adjoints’‘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
(directed) homotopy (type) theory
Daniel R.Licata, Robert Harper, 2-dimensional directed type theory, pdf
Marco Grandis, Directed homotopy theory, I. The fundamental category (arXiv)
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. A discussion document and overview of some techniques_ (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