institute page Cambridge
institute page Oxford
On associative n-categories and their formalization in proof assistants (cf.: Globular, homotopy.io):
Created on March 29, 2023 at 08:29:23. See the history of this page for a list of all contributions to it.