The following pages link to (Q3986541):
Displaying 17 items.
- Relation lifting, a survey (Q299182) (← links)
- Simulations in coalgebra (Q703522) (← links)
- Lax monads. Indexed monoidal monads (Q1181431) (← links)
- Inductive data types for predicate transformers (Q1199549) (← links)
- A recursion theorem for predicate transformers on inductive data types (Q1330667) (← links)
- Constructive complete distributivity. IV (Q1330904) (← links)
- Maps. I: Relative to a factorisation system (Q1892302) (← links)
- Lax naturality through enrichment (Q1923539) (← links)
- Automata and fixed point logic: a coalgebraic perspective (Q2495648) (← links)
- Towards Weak Bisimulation For Coalgebras (Q2841308) (← links)
- An Australian Conspectus of Higher Categories (Q3400014) (← links)
- Transport of finiteness structures and applications (Q4577981) (← links)
- Extending set functors to generalised metric spaces (Q4625693) (← links)
- A coalgebraic presentation of structured transition systems (Q5941158) (← links)
- On the structure of categories of coalgebras (Q5941161) (← links)
- Lax Liftings and Lax Distributive Laws (Q6190599) (← links)
- Cartesian double theories: a double-categorical framework for categorical doctrines (Q6492255) (← links)
