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

Showing changes from revision #2 to #3: Added | Removed | Changed

References

• nforum: Segal condition

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

• blob n-category

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

• (directed) type theoryHoTT - contents

  • ncafé:directed homotopy type theory(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

  • 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