Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 1 of 1 for “"computads"”.
-
An inductive approach to ω-categories and their computads
… this data can be either globular sets, or the computads of Street and Batanin. In this thesis, we give an inductive description to computads and the free weak ω-categories they generate. We then generalise this approach to other higher structures. The first part of the thesis is concerned with …