Spahn n-categories, hyperstructures and cohesive Ho TT (Rev #4)

References

• n-categories, internal n-categories

  • Segal condition

  • Segal spaces, see the references there

  • nforum: Segal condition

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

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

• blob n-category

• ‘’…with all adjoints’‘

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

• HoTT - contents

  • (directed) type theory

    • ncafé:directed homotopy type theory

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

    • internal logic of a 2-category

• cobordism hypothesis and topological quantum field theories

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