n-categories, internal n-categories
Segal spaces, see the references there
category object in an (infinity,1)-category, category object
‘’…with all adjoints’‘
(directed) type theory
Daniel R.Licata, Robert Harper, 2-dimensional directed type theory, pdf
cobordism hypothesis and topological quantum field theories