scientific article; zbMATH DE number 3574077

zbMath0368.18001MaRDI QIDQ4145861

Peter T. Johnstone

Publication date: 1977

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Homological algebra in category theory, derived categories and functors (18G99) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Foundations, relations to logic and deductive systems (18A15)

Related Items

On the normal completion of a Boolean algebra, Protomodular aspect of the dual of a topos, Modulated bicategories, Facets of descent. I, A simplicial foundation for differential and sector forms in tangent categories, Finiteness notions in fuzzy sets, Variations on the bagdomain theme, Partial map classifiers and partial cartesian closed categories, Extensional realizability, Internal categories and groupoids in congruence modular varieties, A synthetic version of Lie's second theorem, The Lee identities in topoi. I, Finite sets and natural numbers in intuitionistic TT, Partiality, cartesian closedness, and toposes, Prime elements in a localic topos, Regular and exact completions, Classifying toposes for first-order theories, Every rig with a one-variable fixed point presentation is the Burnside rig of a prextensive category, Atomic toposes, On algebras defined by operations and equations in a topos, Open maps of toposes, Restriction categories II: Partial map classification, Abstract Galois theory, Galois theory in a topos, Galois theory and theaters of action in a topos, Indexed categories and generated topologies, The Gleason cover of a topos. I, The Gleason cover of a topos. II, Sheaf models for set theory, Intuitionist type theory and the free topos, Extension of invariant linear functionals: Hahn-Banach in the topos of M- sets, On defining objects by recursion in a topos, Dynamic structure theory: A structural approach to social and biological systems, Sheaves and prime model extensions, A topos associated with a colored category, van Kampen theorems for toposes, Etendues and categories with monic maps, Two-dimensional sheaf theory, Separable algebraic closure in a topos, Local equivalence relations, Continuous categories and exponentiable toposes, Realization of cohomology classes in arbitrary exact categories, Comparing material and structural set theories, Generalized Banach-Mazur functionals in the topos of recursive sets, Abstract Galois theory. II, Implementing finite structures in Mathematica via a skeletal topos of finite sets., On the representation theory of Galois and atomic topoi., Ring theory and pointfree topology., Some aspects of the category of subobjects of constant objects in a topos, Algebra in a Grothendieck topos: Injectivity in quasi-equational classes, Ein Modell des P=NP-Problems mit einer positiven Lösung, Module categories over topoi, A class of fuzzy theories, Sheaves on sites as Cauchy-complete categories, Fuzzy sets in topoi, Fuzzy sets do not form a topos, Cohomologie non abelienne de structures algébriques, Uniformly constructive monads, A survey of fuzzy set and topos theory, Sheaves, localizations, and unstable extensions: Some counterexamples, A characterization of quasi-toposes, A globalization of the Hahn-Banach theorem, Open localizations, Projectales, Generalized Jacobians and rigidificators, Complete topoi representing models of set theory, Categorical models of polymorphism, Extensional quotient coalgebras, Enriched categorical semantics for distributed calculi, Introduction to extensive and distributive categories, Comprehension categories and the semantics of type dependency, Ultrapowers as sheaves on a category of ultrafilters, Completeness of cocompletions, Surveyable sets, Rings, fields, and spectra, On algebraic recognition of direct-product decompositions, On algebras with effectful iteration, On enlargability of infinite-dimensional Lie superalgebras, Spreads and the symmetric topos, An axiomatics for bicategories of modules, The fundamental group of a molecular topos, Iterated \(\bar W\) and T-groupoids, On natural number objects, finiteness and Kripke-Platek models in toposes, A theory of quantal sets, Boolean classifying topoi, Semicontinuous real numbers in a topos, Wellfounded trees in categories, Repleteness and the associated sheaf, Locally semisimple coverings, Representing topoi by topological groupoids, Left exact presheaves on a small pretopos, A tensor-hom adjunction in a topos related to vector topologies and bornologies, Relative and modified relative realizability, On a categorical analysis of Zadeh generalized subsets of sets. II, On bornologies, locales and toposes of \(M\)-sets, Elementary axioms for local maps of toposes, A characterization of the left exact categories whose exact completions are toposes, More exact completions that are toposes, Orbits and monoids in a topos, Proper maps of locales, Unnamed Item, Unnamed Item, Functional Thesauri, Classifying Topoi, Unification, and Flatness, Functional sorts in data type specifications, Partiality and Container Monads, Relational set theory, Unnamed Item, Some Results on Locally Finitely Presentable Categories, Theories of presheaf type, What do Abelian categories form?, Unnamed Item, Descent Data and Absolute Kan Extensions, Discrete Double Fibrations, Triposes as a generalization of localic geometric morphisms, Cauchy completeness for DG-categories, Dictoses, Operational Meanings of Orders of Observables Defined through Quantum Set Theories with Different Conditionals, On the dependent product in toposes, Smooth Homotopy of Infinite-Dimensional 𝐶^{∞}-Manifolds, Unnamed Item, THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE-ORDER ARITHMETIC, Univalent categories of modules, Limits, colimits, and spectra of modelled spaces, Iterated \(S^3\) Sasaki joins and Bott orbifolds, Unnamed Item, Unnamed Item, The Greenberg Functor is Site Cocontinuous, Unnamed Item, Locally free vector spaces in a topos, An induction principle and pigeonhole principles for K-finite sets, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes, Pre-Hausdorff and Hausdorff proximity spaces, Distribution algebras and duality, A note on effectively projective objects, Boolean algebras in a localic topos, Construction of Closure Operations in a Category of Presheaves, Categorical aspects of generating functions. I: Exponential formulas and Krull-Schmidt categories, Real numbers in the topos of sheaves over the category of filters, On the structure of categories of coalgebras, Domains in \(H\), Stacks and D-brane bundles, The strength of Mac Lane set theory, A study on the quasi topos, From coherent structures to universal properties, Type theories, toposes and constructive set theory: Predicative aspects of AST, Two applications of analytic functors, String orbifolds and quotient stacks, Why Sets?, A proposed categorical semantics for Pure ML, Internal split opfibrations and cofunctors, Topos Theory in Montréal in the 1970s: My Personal Involvement, On the Distinction Between Sets and Classes: A Categorical Perspective, A STUDY ON THE CATEGORY OF NORMAL FUZZY HYPERGROUPS, From term models to domains, The nominal/FM Yoneda Lemma, On Supercompactly and Compactly Generated Toposes, Categorie variabili, Unnamed Item, Unnamed Item, Unnamed Item, A STUDY ON THE CARTESIAN CLOSED CATEGORY POSM, Actions of internal groupoids in the category of Leibniz algebras, Local pre-Hausdorff extended pseudo-quasi-semi metric spaces, Unnamed Item, Quantales and their sheaves, Quasitopoi, logic and Heyting-valued models, Continuity and geometric logic, Separably real closed local rings, On algebras over multicategories, An exact coexact characterization of the finite cardinals, Identical particles and the simplicial category, Free monoid in monoidal abelian categories, On right adjoints to exponential functors, On completeness of locally-internal categories, On the tensor product of modules over skew monoidal categories, On the left exactness of orthogonal reflections, Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator, Models of arithmetic and categories with finiteness conditions, Subobject classifier for algebraic structures, Cartesian bicategories. I, Well-ordering and choice in toposes, Injectivity and modelling in the Blass topos, Dedekind finiteness in topoi, Ideals of closed categories, Partial morphisms in categories of effective objects, Categories of partial maps, Higher dimensional crossed modules of algebras, Exponentiable morphisms, partial products and pullback complements, A small complete category, Automorphisms of manifolds and algebraic K-theory. I, Conceptual completeness for first-order intuitionistic logic: An application of categorical logic, Codisjunctors and singular epimorphisms in the category of commutative rings, On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory, Proarrows and cofibrations, Fuzzy sets and sheaves. II: Sheaf-theoretic foundations of fuzzy set theory with applications to algebra and topology, An intuitionistic model of single electron interference, Butterflies in a semi-abelian context, Algebraic weak factorisation systems. I: Accessible AWFS., Left determined model structures for locally presentable categories, Principal \(\infty \)-bundles: general theory, Descent for \(n\)-bundles, Milnor-Moore categories and monadic decomposition, Collapsed toposes and cartesian closed varieties, Localizations of locally presentable categories and exact topologies, Lex colimits, Ionads, The glueing construction and double categories, A theorem on Barr-exact categories, with an infinitary generalization, Groupoid sheaves as quantale sheaves, Sets and functions in theoretical physics, The fundamental progroupoid of a general topos, Generalized sketches as a framework for completeness theorems. I-III, The Zariski spectrum as a formal geometry, A constructive proof of the Stone-Weierstrass theorem, On the construction of the Grothendieck fundamental group of a topos by paths, Finite objects in a locos, A presentation of the initial lift-algebra, Cartesian monads on toposes, The modified realizability topos, \(\mathbb{T}\)-motives, A sheaf-theoretic approach to pattern matching and related problems, Programs in partial algebras, Stable domains are generalized topological spaces, An elementary characterization of categories of separated objects, Classifying spaces for sheaves of simplicial groupoids, Congruences on ordered groupoids, A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms, The universal covering of an inverse semigroup., Bar and cobar constructions. II, Integrating classical and intuitionistic type theory, Quotient-reflective and bireflective subcategories of the category of preordered sets, Projectivity of sheaves on a locale and of free modules, Languages for monoidal categories, Monads on higher monoidal categories, Total reflections, partial products, and hereditary factorizations, New wide classes of weakly Mal'tsev categories, A note on inconsistencies caused by fixpoints in a cartesian closed category, Another denormalization theorem for abelian chain complexes, Pro-group actions and fundamental pro-groups, Pushout-complements and basic concepts of grammars in toposes, Vertauschbarkeit von Limites und Colimites, Topoi and categories of fuzzy sets, A categorical outlook on relational modalities and simulations, Completion of Boolean algebras in MSet, On three arguments against categorical structuralism, Universal monos in partial morphism categories, Une description axiomatique des categories de faisceaux de structures algébriques sur les espaces topologiques booleens, Smooth spaces versus continuous spaces in models for synthetic differential geometry, Cofibrations in the bicategory of topoi, Classifying topoi and finite forcing, Sheaf models and massless fields, The fundamental group of a topos, The categories Set H and Fuz H, Abelian groups in a topos: injectives and injective effacements, Precategory objects of toposes, Classifying toposes and foliations, On the multiplicative properties of the de Rham-Witt complex. II, Locales in functional analysis, Geometric topological completions with universal final lifts, A 2-colimit characterization of internal categories of torsors, Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued ``intuitionistic sets, ``intuitionistic fuzzy sets and topologies, The p-adic spectrum, Cohomology of small categories, N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic, Cartesian inclusion: locales and topgses^∗, The point of pointless topology, Unnamed Item, Unnamed Item, Logical quantization of topos theory, Categorical representation of locally Noetherian log schemes, Difference Galois theory and dynamics, Fuzzy topology via fuzzy geometric logic with graded consequence, Empirical sets, Profunctors in Mal'tsev categories and fractions of functors, Polyhedral monadicity of \(n\)-groupoids and standardized adjunction, Unnamed Item, Spectral schemes as ringed lattices, On completeness and cocompleteness in and around small categories, Analogy and Its Surprises: An Eyewitness’s Reflections on the Emergence of Real Algebraic Geometry, Logic in Category Theory, Cosmoi of Internal Categories, Quillen closed model structures for sheaves, Algebraic $K$-theory and etale cohomology, A categorical setting for the 4-colour theorem, Seven trees in one, Varieties of complex algebras, Stability of abelian groups in a topos of sheaves, Semi-intial and semi-finalV-functors¹, Pullback in partial morphism categories, Unnamed Item, Unnamed Item, Quantum set theory: transfer principle and De Morgan's laws, Avoiding the axiom of choice in general category theory, Unnamed Item, Categorical, homological, and homotopical properties of algebraic objects, Linear Läuchli semantics, Unnamed Item, Unnamed Item, Hilbert's ϵ‐operator in intuitionistic type theories, Unnamed Item, Unnamed Item, Morphisms between spaces of leaves viewed as fractions, Unnamed Item, Frobenius and separable functors for the category of entwined modules over cowreaths. I: general theory, Internal Partial Combinatory Algebras and their Slices, ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY, Numerical existence property and categories with an internal copy, Unnamed Item, Base modules for parametrized iterativity, Unnamed Item, Unnamed Item, Full Continuous Embeddings of Toposes, Unnamed Item, Unnamed Item, Clopen objects, connected objects, and normalized topological categories, Unnamed Item, $T_2$ and $T_3$ objects at $p$ in the category of proximity spaces, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, A generalised homotopy theory, Reflection principles for synthetic theories of smooth manifolds, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Commutator theory, action groupoids, and an intrinsic Schreier-Mac Lane extension theorem, Unnamed Item, Two ways to centralizers of equivalence relations, Morphisms of colimits: from paths to profunctors, A multistep transversal linearization (MTL) method in nonlinear dynamics through a Magnus characterization, Classifying spaces for toposes with enough points, Unnamed Item, Pitts monads and a lax descent theorem, Existential Fixed-Point Logic, Universal Quantifiers, and Topoi, Unnamed Item, Strong De Morgan's law and the spectrum of a commutative ring, Note on the construction of free monoids, Unnamed Item, On Comparability in a Topos, Isomorphism theorems for coalgebras, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Complete Subobjects of Fuzzy Sets Over MV-Algebras, The Classifying Topos of a Continuous Groupoid. I, Alexandroff Algebras and Complete Regularity, Reconstruction theorem for monoid schemes, Unnamed Item, On sheaf cohomology and natural expansions, Fibred-categorical obstruction theory, A Decision Procedure for Regular Expression Equivalence in Type Theory, Unnamed Item, A Note on Coalgebras and Presheaves, Joyal's arithmetic universes via type theory, Containers: Constructing strictly positive types, A globalisation of the Gelfand duality theorem, On the cocartesian image of preorders and equivalence relations in regular categories, Points in algebraic geometry, A recipe for black box functors, Unnamed Item