The following pages link to Local adjunctions (Q1120666):
Displaying 8 items.
- Predicate transformers and higher-order programs (Q672318) (← links)
- Bilimits are bifinal objects (Q2154269) (← links)
- A localization of bicategories via homotopies (Q3294960) (← links)
- (Q3986541) (← links)
- Pre-adjunctions in order enriched categories (Q4006227) (← links)
- (Q4380421) (← links)
- The virtues of eta-expansion (Q4850162) (← links)
- Automata and coalgebras in categories of species (Q6666774) (← links)
