Aspects of topoi
From MaRDI portal
Publication:5665316
DOI10.1017/S0004972700044828zbMath0252.18001OpenAlexW2150690980MaRDI QIDQ5665316
Publication date: 1972
Published in: Bulletin of the Australian Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0004972700044828
Theories (e.g., algebraic theories), structure, and semantics (18C10) Categorical embedding theorems (18E20) Foundations, relations to logic and deductive systems (18A15)
Related Items (only showing first 100 items - show all)
Unnamed Item ⋮ Cartesian inclusion: locales and topgses∗ ⋮ Unnamed Item ⋮ Cartesian differential categories as skew enriched categories ⋮ Tensor products and homotopies for \(\omega\)-groupoids and crossed complexes ⋮ Construction of a monadic Heyting algebra in a logos ⋮ Unnamed Item ⋮ Generalized algebraic theories and contextual categories ⋮ Fuzzy sets and toposes - towards higher order fuzzy logic ⋮ Unnamed Item ⋮ Logic in Category Theory ⋮ Cosmoi of Internal Categories ⋮ Unnamed Item ⋮ A logical approach to stable domains ⋮ Exponentiable morphisms, partial products and pullback complements ⋮ A small complete category ⋮ Unnamed Item ⋮ Partial Horn logic and Cartesian categories ⋮ ESSENTIALLY ALGEBRAIC CATEGORIES ⋮ Coalgebras in a category of classes ⋮ Unnamed Item ⋮ Unnamed Item ⋮ 2-groups, trialgebras and their Hopf categories of representations ⋮ Relating first-order set theories, toposes and categories of classes ⋮ Exact functors, local connectedness and measurable cardinals ⋮ Tensor product of functors ⋮ Internal enriched categories ⋮ Virtual concepts in the theory of accessible categories ⋮ Contribution to the study of the natural number object in elementary topoi ⋮ Open maps of toposes ⋮ Unnamed Item ⋮ From types to sets ⋮ Algebraic categories with few monoidal biclosed structures or none ⋮ Fuzzy sets: A topos-logical point of view ⋮ An algebraic approach to intuitionistic connectives ⋮ Modal operators on Heyting algebras ⋮ Semilattices global valuations in the topos approach to quantum mechanics ⋮ Categorical semantics for higher order polymorphic lambda calculus ⋮ Parametrization for order-sorted algebraic specification ⋮ On the algebra of cubes ⋮ Two forms of the axiom of choice for an elementary topos ⋮ A generalization of the concept of sketch ⋮ Pre-recursive categories ⋮ Categorical De Morgan laws ⋮ Categories, toposes and sets ⋮ Abstract Galois theory. II ⋮ A survey of fuzzy set and topos theory ⋮ A characterization of nuclei in orthomodular and quantic lattices ⋮ Projectales ⋮ Topology and logic as a source of algebra ⋮ Fixed-point operations on ccc's. I ⋮ Finitary sketches ⋮ Conditional rewriting logic as a unified model of concurrency ⋮ Proving semantical equivalence of data specifications ⋮ Introduction: A personal tribute to Peter Freyd and Bill Lawvere ⋮ On the concrete representation of discrete enriched abstract clones ⋮ Unnamed Item ⋮ Hochster’ theorem, coherent locales, and lattices of radical ideals ⋮ Unnamed Item ⋮ The associated sheaf functor theorem in algebraic set theory ⋮ Revisiting the categorical interpretation of dependent type theory ⋮ A proof of the associated sheaf theorem by means of categorical logic ⋮ Toposes without points ⋮ A categorical characterization of Boolean algebras ⋮ The decision problem for some finite extensions of the intuitionistic theory of abelian groups ⋮ Ultrafilters, ultrapowers and finiteness in a topos ⋮ Unnamed Item ⋮ Homomorphisms of higher categories ⋮ ESSENTIALLY ALGEBRAIC CATEGORIES OF PARTIAL ALGEBRAS ⋮ Exactness of the localization functor for M-sets ⋮ GEOMETRISATION OF FIRST-ORDER LOGIC ⋮ On linear exactness properties ⋮ Categories ⋮ A fibred homotopy equivalence and homology theories for the category of small categories ⋮ Laminations, or how to build a quantum-logic-valued model of set theory ⋮ Enriched regular theories ⋮ Classifying topoi and the axiom of infinity ⋮ A note on inconsistencies caused by fixpoints in a cartesian closed category ⋮ Unnamed Item ⋮ Categorical and algebraic aspects of Martin-Löf type theory ⋮ List-arithmetic distributive categories: Locoi ⋮ Categories of Boolean topoi ⋮ Model Transformation and Induced Instance Migration: A Universal Framework ⋮ Localization and Sheaf Reflectors ⋮ The monadic tower for \(\infty\)-categories ⋮ On natural number objects, finiteness and Kripke-Platek models in toposes ⋮ On topoi as closed categories ⋮ Automata in categories. The decomposition problem ⋮ Left exact presheaves on a small pretopos ⋮ Categorical set theory: A characterization of the category of sets ⋮ Topos theory and Souslin's hypothesis ⋮ The associated sheaf functor in an elementary topos ⋮ Unnamed Item ⋮ On conceptual completeness of syntactic-semantical systems ⋮ Physical properties as modal operators in the topos approach to quantum mechanics ⋮ A Diagrammatic Logic for Object-Oriented Visual Modeling ⋮ Elementary axioms for local maps of toposes ⋮ Closure functions and general iterates as reflectors ⋮ Fibred amalgamation, descent data, and Van Kampen squares in topoi ⋮ The algebraic theory of order
This page was built for publication: Aspects of topoi
