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):
Displayed 5 items.
- A fibrational framework for possible-world semantics of \textsc{Algol}-like languages (Q879351) (← 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)