Steve Awodey (Pittsburgh)

Type theory of higher-dimensional categories

Abstract: We investigate some structures in higher-dimensional categories
that are useful for the semantics of intensional type theory.  The
possibility of using such type theories as an internal language for certain
kinds of higher categories is considered.