scientific article; zbMATH DE number 3411260
From MaRDI portal
Publication:5676377
zbMath0261.18010MaRDI QIDQ5676377
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Continuum hypothesis and Martin's axiom (03E50) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Grothendieck topologies and Grothendieck topoi (18F10) Categories of sets, characterizations (18B05) Foundations, relations to logic and deductive systems (18A15)
Related Items
THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS), Category theory, logic and formal linguistics: some connections, old and new, Fuzzy sets and toposes - towards higher order fuzzy logic, Logic in Category Theory, Unnamed Item, The mathematical descriptions of truth and change, Unnamed Item, Polynomials and radical ideals, Fuzzy sets and sheaves. I: Basic concepts, Sheaf models for set theory, Intuitionist type theory and the free topos, Semilattices global valuations in the topos approach to quantum mechanics, Mathematical modal logic: A view of its evolution, Petri nets are monoids, A globalization of the Hahn-Banach theorem, Modes of adjointness, The associated sheaf functor theorem in algebraic set theory, Unnamed Item, TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC, Toposes without points, A categorical semantics for fuzzy predicate logic, Functorial data migration, Germ of a synthesis: space–time is spinorial, extra dimensions are time-like, Why Sets?, Topos Theory in Montréal in the 1970s: My Personal Involvement, Neighborhood-Sheaf Semantics for First-Order Modal Logic, A Kuroda-style \(j\)-translation, An axiomatics for bicategories of modules, Localization and Sheaf Reflectors, Spreads and the symmetric topos. II, The locally connected coclosure of a Grothendieck topos, Categorical set theory: A characterization of the category of sets, A globalisation of the Gelfand duality theorem, Physical properties as modal operators in the topos approach to quantum mechanics, Aspects of Categorical Recursion Theory, Monoidal closed categories, weak topoi and generalized logics
