nLab Germán Stefanich

Redirected from "equivalence in homotopy type theory".
Selected writings

Selected writings

On the equivariant Chern character from (twisted) equivariant K-theory to equivariant ordinary cohomology:

On ( , n ) (\infty,n) -categories of correspondences:

On quasicoherent sheaves of locally presentable ( , n ) (\infty,n) -categories:

and their application to construction of extended TQFTs via higher six functor formalism:

Last revised on July 5, 2026 at 13:08:01. See the history of this page for a list of all contributions to it.