The following pages link to (Q3816229):
Displaying 17 items.
- Local adjunctions (Q1120666) (← links)
- A recursion theorem for predicate transformers on inductive data types (Q1330667) (← links)
- Enriched and internal categories: an extensive relationship (Q1689326) (← links)
- Data refinement, call by value and higher order programs (Q1906039) (← links)
- Towards higher topology (Q2229960) (← links)
- Adjunction in the absence of identity (Q2667934) (← links)
- The compact closed bicategory of left adjoints (Q2709856) (← links)
- A localization of bicategories via homotopies (Q3294960) (← links)
- (Q3322278) (← links)
- (Q3986541) (← links)
- Pre-adjunctions in order enriched categories (Q4006227) (← links)
- (Q4380421) (← links)
- Distributive adjoint strings (Q4888793) (← links)
- Doctrines, modalities and comonads (Q5068204) (← links)
- Lax familial representability and lax generic factorizations (Q5121791) (← links)
- The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions (Q5215079) (← links)
- (Q5368926) (← links)