nLab David Reutter

Selected writings

Selected writings

On associative n-categories and their formalization in proof assistants (cf.: Globular, homotopy.io):

Introducing a notion of fusion 2-categories:

category: people

Last revised on June 16, 2023 at 06:28:04. See the history of this page for a list of all contributions to it.