On Computads for Strict Omega-Categories
Diagrams allow us to leverage our geometric intuition by abstracting pastability: every way we may compose the arrows will yield the same result. This essay provides a …
Profinite Groups
In this thesis we will give a self-contained exposition of profinite groups, from definition to key properties, focusing on their topology and generators, the generalisation of the …