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:

On weak ω \omega -categories via computads construed as inductive types:

category: people

Last revised on February 7, 2024 at 07:34:54. See the history of this page for a list of all contributions to it.