Pages that link to "Item:Q2105683"
From MaRDI portal
The following pages link to Semantic factorization and descent (Q2105683):
Displaying 5 items.
- Pitts monads and a lax descent theorem (Q2260278) (← links)
- Descent Data and Absolute Kan Extensions (Q4994668) (← links)
- A Universal Characterisation of Codescent Objects (Q5233740) (← links)
- CHAD for expressive total languages (Q6149934) (← links)
- Lax comma categories: Cartesian closedness, extensivity, topologicity, and descent (Q6552273) (← links)