nLab David Reutter

Selected writings

Selected writings

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

category: people

Last revised on March 29, 2023 at 08:27:04. See the history of this page for a list of all contributions to it.