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 15 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)
- Contravariance through enrichment (Q4563229) (← links)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
- Hom weak ω-categories of a weak ω-category (Q5058363) (← links)
- Coherence for bicategorical cartesian closed structure (Q5068207) (← links)
- The elementary construction of formal anafunctors (Q5077345) (← links)
- From coherent structures to universal properties (Q5954120) (← links)
