Avoiding the axiom of choice in general category theory

DOI10.1016/0022-4049(95)00029-1zbMath0859.18001OpenAlexW2038364868WikidataQ105836937 ScholiaQ105836937MaRDI QIDQ1917386

Michael Makkai

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

zbMATH Keywords

anafunctorscartesian closed bicategory of small categories and anafunctorsweak choice principle

Mathematics Subject Classification ID

Special properties of functors (faithful, full, etc.) (18A22) Definitions and generalizations in theory of categories (18A05)

Related Items (15)

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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)

This page was built for publication: Avoiding the axiom of choice in general category theory