The following pages link to Yoneda structures and KZ doctrines (Q684097):
Displaying 7 items.
- Objects, interference, and the Yoneda embedding (Q1575883) (← links)
- On a bicomma object condition for KZ-doctrines (Q1818628) (← links)
- Distributive laws via admissibility (Q2011378) (← links)
- Accessibility and presentability in 2-categories (Q2161116) (← links)
- Doctrines whose structure forms a fully faithful adjoint string (Q4342436) (← links)
- Lax familial representability and lax generic factorizations (Q5121791) (← links)
- Augmented virtual double categories (Q5220053) (← links)