The following pages link to (Q4124990):
Displaying 7 items.
- Categories in which all strong generators are dense (Q1087978) (← links)
- Pseudo-commutative monads and pseudo-closed 2-categories (Q1850100) (← links)
- Eilenberg-Kelly reloaded (Q2133479) (← links)
- On the relation between concurrent separation logic and concurrent Kleene algebra (Q2347904) (← links)
- Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic (Q2864163) (← links)
- Higher Categorical Aspects of Hall Algebras (Q4557896) (← links)
- Categories enriched on two sides (Q5957782) (← links)
