The following pages link to (Q3138550):
Displaying 12 items.
- A presentation of the initial lift-algebra (Q678845) (← links)
- Spreads and the symmetric topos. II (Q1295565) (← links)
- Fibrations and partial products in a 2-category (Q1320326) (← links)
- Variations on the bagdomain theme (Q1349648) (← links)
- On representation and querying incomplete information in databases with bags (Q1350296) (← links)
- Comparing material and structural set theories (Q1715477) (← links)
- Spreads and the symmetric topos (Q1815300) (← links)
- Monads for which structures are adjoint to units (Q1903697) (← links)
- Limits in free coproduct completions (Q1910734) (← links)
- Discrete random variables over domains (Q2373745) (← links)
- Natural models of homotopy type theory (Q3130300) (← links)
- (Q3138549) (← links)
