nLab Evan Jenkins

Redirected from "type theories".
Selected writings

Selected writings

On braided 2-groups:

category: people

Last revised on July 21, 2021 at 14:13:53. See the history of this page for a list of all contributions to it.