nLab David Reutter

Selected writings

Selected writings

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

Introducing a notion of fusion 2-categories:

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

On G-crossed braided fusion categories via 3-categories:

category: people

Last revised on March 12, 2024 at 11:55:59. See the history of this page for a list of all contributions to it.