The following pages link to (Q5654208):
Displaying 9 items.
- Two-dimensional monad theory (Q1121980) (← links)
- Examples of non-monadic structures on categories (Q1140707) (← links)
- Coherence for compact closed categories (Q1146248) (← links)
- Categories (Q1255566) (← links)
- Proof of a conjecture of S. Mac Lane (Q1377606) (← links)
- On categorical equivalence of Gentzen-style derivations in IMLL (Q1401367) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- Categorical interpretation of logical derivations and its applications in algebra (Q2452950) (← links)
- An Australian Conspectus of Higher Categories (Q3400014) (← links)
