Justus Sagemüller
Results
11
issues of
Justus Sagemüller
When I first wrote the hierarchy, I didn't take good care to pick names that match the underlying mathematical terms. Thus, for example, `Cartesian` describes a symmetric monoidal category. `Morphism`...