# nLab Bjørn Ian Dundas

## Selected writings

Interpretation of algebraic K-theory of topological K-theory (iterated algebraic K-theory) as the K-theory of BDR 2-vector bundles:

Divisibility of a gerbe on the 3-sphere seen as a BDR 2-vector bundle is in

On symmetry and introducing the language of homotopy type theory for univalent foundations of mathematics:

category: people

Last revised on June 16, 2022 at 13:57:40. See the history of this page for a list of all contributions to it.