The following pages link to (Q3720767):
Displaying 23 items.
- Homotopical resolutions associated to deformable adjunctions (Q470707) (← links)
- A graphical foundation for interleaving in game semantics (Q479313) (← links)
- Homotopy coherent adjunctions and the formal theory of monads (Q890142) (← links)
- Adjoining adjoints (Q1404973) (← links)
- A coherent approach to pseudomonads (Q1578071) (← links)
- General categorical framework for topologically free normed modules (Q2018018) (← links)
- Accessible aspects of 2-category theory (Q2200941) (← links)
- Ordinals in Frobenius monads (Q2376533) (← links)
- A Graphical Foundation for Schedules (Q3178289) (← links)
- (Q3475448) (← links)
- (Q3717239) (← links)
- (Q4398704) (← links)
- Pseudo-Kan Extensions and Descent Theory (Q4563239) (← links)
- (Q4611382) (← links)
- (Q4826149) (← links)
- On lax transformations, adjunctions, and monads in $(\infty,2)$-categories (Q5037510) (← links)
- Freely adjoining monoidal duals (Q5068203) (← links)
- (Q5155672) (← links)
- (Q5364135) (← links)
- On the ∞$\infty$‐topos semantics of homotopy type theory (Q6150054) (← links)
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC (Q6170504) (← links)
- What is an equivalence in a higher category? (Q6188124) (← links)
- Spherical adjunctions of stable \(\infty \)-categories and the relative S-construction (Q6582336) (← links)
