Pages that link to "Item:Q1771117"
From MaRDI portal
The following pages link to Descent on 2-fibrations and strongly 2-regular 2-categories (Q1771117):
Displaying 9 items.
- A fibrational framework for possible-world semantics of \textsc{Algol}-like languages (Q879351) (← links)
- Descent for discrete (co)fibrations (Q1771123) (← links)
- Semantic factorization and descent (Q2105683) (← links)
- Towards a Formal Theory of Graded Monads (Q2811361) (← links)
- On lifting of biadjoints and lax algebras (Q4553294) (← links)
- (Q4555336) (← links)
- Pseudo-Kan Extensions and Descent Theory (Q4563239) (← links)
- Descent Data and Absolute Kan Extensions (Q4994668) (← links)
- Cauchy completeness, lax epimorphisms and effective descent for split fibrations (Q6178477) (← links)