scientific article; zbMATH DE number 1840601
From MaRDI portal
Publication:4783274
zbMATH Open1071.18001MaRDI QIDQ4783274FDOQ4783274
Authors: Peter Johnstone 
Publication date: 3 December 2002
Title of this publication is not available (Why is that?)
Recommendations
Topoi (18B25) Research exposition (monographs, survey articles) pertaining to category theory (18-02)
Cited In (only showing first 100 items - show all)
- Quotients of monoid extensions and their interplay with Baer sums
- A minimalist two-level foundation for constructive mathematics
- On the nonexistence of elements of Kervaire invariant one
- Monoidal Grothendieck construction
- An algebraic approach to subframe logics. Intuitionistic case
- Characterizations of categories of commutative \(C^*\)-subalgebras
- The Hecke bicategory
- On inverse semigroup \(C^*\)-algebras and crossed products
- Automata-theoretic semantics of idealized Algol with passive expressions
- Coinductive predicates and final sequences in a fibration
- Localic metric spaces and the localic Gelfand duality
- Traces in symmetric monoidal categories
- A Categorical Model of the Fusion Calculus
- On embedding categories in groupoids
- Title not available (Why is that?)
- Sobriety for equilogical spaces
- Syntactic categories for Nori motives
- Sheaves on involutive quantales: Grothendieck quantales.
- Continuity and geometric logic
- A representation theorem for integral rigs and its applications to residuated lattices.
- Sublocales in formal topology
- Title not available (Why is that?)
- Forking independence from the categorical point of view
- An induction principle for consequence in arithmetic universes
- Homotopy sheaves on generalised spaces
- Geometric Rules in Infinitary Logic
- The basic Zariski topology
- Cosheaves and connectedness in formal topology
- Groupoid sheaves as quantale sheaves
- A constructive manifestation of the Kleene-Kreisel continuous functionals
- Priestley-type dualities for partially ordered structures
- An étalé space construction for stacks
- On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
- Étale stacks as prolongations
- The simplicial model of univalent foundations (after Voevodsky)
- Some invariant skeletons for \(\ell\)-u groups and MV-algebras
- When is Flatness Coherent?
- The Gelfand spectrum of a noncommutative \(C^*\)-algebra: a topos-theoretic approach
- Partial Horn logic and Cartesian categories
- Title not available (Why is that?)
- Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
- Constructive toposes with countable sums as models of constructive set theory
- An Introduction to Regular Categories
- Ionads
- Lex colimits
- Left Kan extensions preserving finite products
- Topos models for physics and topos theory
- Partial recursive functions and finality
- The intrinsic topology of Martin-Löf universes
- Nominal Lawvere theories: a category theoretic account of equational theories with names
- Triposes, q-toposes and toposes
- Relating First-Order Set Theories and Elementary Toposes
- Event structures with symmetry
- Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups
- Convenient categories of smooth spaces
- Category theory of symbolic dynamics
- Structural recursion with locally scoped names
- Selection functions, bar recursion and backward induction
- Computable analysis with applications to dynamic systems
- Dwyer-Kan homotopy theory of enriched categories
- Totally distributive toposes
- The algebra of multirelations
- On universal algebra over nominal sets
- Kripke Semantics for Martin-Löf’s Extensional Type Theory
- What do Freyd's toposes classify?
- A topos foundation for theories of physics: I. Formal languages for physics
- A note on proper maps of locales
- \(\mathbb{T}\)-motives
- A characterization theorem for geometric logic
- Relating first-order set theories, toposes and categories of classes
- Basic subtoposes of the effective topos
- A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms
- Defining effectiveness using finite sets. A study on computability
- On the existence of Stone-Čech compactification
- Lax comma categories: Cartesian closedness, extensivity, topologicity, and descent
- On duality and model theory for polyadic spaces
- Formal model theory and higher topology
- A functorial approach to monomorphism categories for species I
- Title not available (Why is that?)
- Title not available (Why is that?)
- Glivenko sequent classes and constructive cut elimination in geometric logics
- CHAD for expressive total languages
- Dependent Optics
- Nonstandard proof methods in toposes
- THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE-ORDER ARITHMETIC
- Some forms of excluded middle for linear orders
- Fibrations of AU-contexts beget fibrations of toposes
- The Greenberg Functor is Site Cocontinuous
- Kripke-Joyal forcing for type theory and uniform fibrations
- The effective model structure and -groupoid objects
- Equivalence classes of coherent projectors in a Hilbert space with prime dimension: Q functions and their Gini index
- Positive rigs
- Factorization systems for restriction categories
- Quotients, pure existential completions and arithmetic universes
- Topological endomorphism monoids of models of geometric theories
- Internal parameterization of hyperconnected quotients
- Fibered universal algebra for first-order logics
- Title not available (Why is that?)
- A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
- Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4783274)
