Spahn n-categories, hyperstructures and cohesive Ho TT (changes)

Showing changes from revision #7 to #8: Added | Removed | Changed

References

• n-categories, internal n-categoriesfundamental category

  • Segal condition

  • Segal spaces, see the references there

  • nforum: Segal condition

  • category object in an (infinity,1)-category, category object

    • Reference: Jacob Lurie, $(\infty,2)$-Categories and the Goodwillie calculus (arXiv:0905.0462), chapter 1

• n-categories, internal n-categories

  • Segal condition

  • Segal spaces, see the references there

  • nforum: Segal condition

  • category object in an (infinity,1)-category, category object

    • Reference: Jacob Lurie, $(\infty,2)$-Categories and the Goodwillie calculus (arXiv:0905.0462), chapter 1

• blob directed n-category homotopy theory

  • Marco Grandis, Directed homotopy theory, I. The fundamental category (arXiv)

  • directed algebraic topology

  • 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.

    • stratified space

• ‘’…with directed all adjoints’‘homotopy type theory

  • Ayala -

    directed homotopy type theory

    Rozenblyum , see the references at (infinity,n)-category with adjoints

  • ncafé:directed homotopy type theory

  • Daniel R.Licata, Robert Harper, 2-dimensional directed type theory, pdf

  • internal logic of a 2-category

  • 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

• HoTT - contents

  • (directed) homotopy (type) theory

    • homotopy theory

    • directed homotopy theory

    • directed homotopy type theory

    • ncafé:directed homotopy type theory

    • Daniel R.Licata, Robert Harper, 2-dimensional directed type theory, pdf

    • internal logic of a 2-category

    • 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

  • Jacob Lurie, On the classification of topological field theories, arXiv:0905.0465

• (infinity,n)-category with all adjoints

  • Ayala-Rozenblyum, see the references at (infinity,n)-category with 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

• blob n-category