Avoiding the axiom of choice in general category theory
From MaRDI portal
Publication:1917386
DOI10.1016/0022-4049(95)00029-1zbMath0859.18001OpenAlexW2038364868WikidataQ105836937 ScholiaQ105836937MaRDI QIDQ1917386
Publication date: 9 April 1997
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-4049(95)00029-1
Special properties of functors (faithful, full, etc.) (18A22) Definitions and generalizations in theory of categories (18A05)
Related Items
AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS, Profunctors in Mal'tsev categories and fractions of functors, Hom weak ω-categories of a weak ω-category, Coherence for bicategorical cartesian closed structure, The elementary construction of formal anafunctors, Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets, Two-dimensional monadicity, Generalized sketches as a framework for completeness theorems. I-III, Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax, Contravariance through enrichment, On Morita contexts in bicategories, From coherent structures to universal properties, On certain 2-categories admitting localisation by bicategories of fractions, Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes, On weak higher dimensional categories. I: Part 1
Cites Work
- Generalized sketches as a framework for completeness theorems. I-III
- Stone duality for first order logic
- The geometry of tensor calculus. I
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Fibered categories and the foundations of naive category theory
- Injectivity, Projectivity, and the Axiom of Choice
- Introduction to bicategories
- Consistency of the Continuum Hypothesis. (AM-3)
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
