Pages that link to "Item:Q1917386"
From MaRDI portal
The following pages link to Avoiding the axiom of choice in general category theory (Q1917386):
Displaying 11 items.
- Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets (Q448334) (← links)
- Generalized sketches as a framework for completeness theorems. I-III (Q674480) (← links)
- On Morita contexts in bicategories (Q695314) (← links)
- On certain 2-categories admitting localisation by bicategories of fractions (Q726711) (← links)
- Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes (Q1267982) (← links)
- On weak higher dimensional categories. I: Part 1 (Q1588075) (← links)
- Profunctors in Mal'tsev categories and fractions of functors (Q2376566) (← links)
- Two-dimensional monadicity (Q2445311) (← links)
- Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax (Q3011103) (← links)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
- The elementary construction of formal anafunctors (Q5077345) (← links)
