Pages that link to "Item:Q2842821"
From MaRDI portal
The following pages link to Factorization systems and fibrations: toward a fibred Birkhoff variety theorem (Q2842821):
Displaying 14 items.
- Quotient completion for the foundation of constructive mathematics (Q382422) (← links)
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator (Q1683372) (← links)
- A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus (Q1715476) (← links)
- Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics (Q2134832) (← links)
- Unifying exact completions (Q2254599) (← links)
- A characterization of generalized existential completions (Q2683780) (← links)
- (Q3795769) (← links)
- (Q4498201) (← links)
- The comprehensive factorization of Burroni's T-functors (Q5004667) (← links)
- Latent Fibrations: Fibrations for Categories of Partial Maps (Q5004679) (← links)
- The existential completion (Q5129224) (← links)
- FUJITA DECOMPOSITION AND MASSEY PRODUCT FOR FIBERED VARIETIES (Q5867586) (← links)
- A fibrational tale of operational logical relations: pure, effectful and differential (Q6563048) (← links)
- Quotients, pure existential completions and arithmetic universes (Q6593819) (← links)