Aspects of topoi

DOI10.1017/S0004972700044828zbMath0252.18001MaRDI QIDQ5665316

Publication date: 1972

Published in: Bulletin of the Australian Mathematical Society (Search for Journal in Brave)

18C10: Theories (e.g., algebraic theories), structure, and semantics

18E20: Categorical embedding theorems

18A15: Foundations, relations to logic and deductive systems

Related Items

Cosmoi of Internal Categories, An algebraic approach to intuitionistic connectives, Finitary sketches, Unnamed Item, Identity of Proofs Based on Normalization and Generality, Colimits in Topoi, The comprehensive factorization of a functor, Localization at Injectives in Complete Categories, The axiom of choice, On the role of description, Fixed-point operations on ccc's. I, Proving semantical equivalence of data specifications, A note on inconsistencies caused by fixpoints in a cartesian closed category, Categorical and algebraic aspects of Martin-Löf type theory, List-arithmetic distributive categories: Locoi, Categories of Boolean topoi, On conceptual completeness of syntactic-semantical systems, Closure functions and general iterates as reflectors, A logical approach to stable domains, Partial Horn logic and Cartesian categories, Coalgebras in a category of classes, 2-groups, trialgebras and their Hopf categories of representations, Parametrization for order-sorted algebraic specification, A generalization of the concept of sketch, Tensor products and homotopies for \(\omega\)-groupoids and crossed complexes, Generalized algebraic theories and contextual categories, Fuzzy sets and toposes - towards higher order fuzzy logic, Exponentiable morphisms, partial products and pullback complements, A small complete category, Tensor product of functors, Contribution to the study of the natural number object in elementary topoi, Open maps of toposes, From types to sets, Algebraic categories with few monoidal biclosed structures or none, Fuzzy sets: A topos-logical point of view, Modal operators on Heyting algebras, On the algebra of cubes, 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, Conditional rewriting logic as a unified model of concurrency, 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, 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, Classifying topoi and the axiom of infinity, Left exact presheaves on a small pretopos, The algebraic theory of order, On natural number objects, finiteness and Kripke-Platek models in toposes, Categorical set theory: A characterization of the category of sets, Topos theory and Souslin's hypothesis, The associated sheaf functor in an elementary topos, Elementary axioms for local maps of toposes, On topoi as closed categories, Unnamed Item, Unnamed Item, Unnamed Item, A proof of the associated sheaf theorem by means of categorical logic, ESSENTIALLY ALGEBRAIC CATEGORIES OF PARTIAL ALGEBRAS, Unnamed Item, Unnamed Item, ESSENTIALLY ALGEBRAIC CATEGORIES, Exact functors, local connectedness and measurable cardinals, Categorical semantics for higher order polymorphic lambda calculus, Unnamed Item, Hochster’ theorem, coherent locales, and lattices of radical ideals, Unnamed Item, Automata in categories. The decomposition problem, Unnamed Item, Unnamed Item, Cartesian inclusion: locales and topgses^∗, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Two forms of the axiom of choice for an elementary topos, Topology and logic as a source of algebra, Exactness of the localization functor for M-sets, Localization and Sheaf Reflectors