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)
- On stability of exactness properties under the pro-completion
- Towards formal Baer criteria
- Fast left Kan extensions using the chase
- Quotients of span categories that are allegories and the representation of regular categories
- Model topoi and motivic homotopy theory
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- Bousfield localisation and colocalisation of one-dimensional model structures
- Syntactic forcing models for coherent logic
- Network Models
- Adjoint maps between implicative semilattices and continuity of localic maps
- Title not available (Why is that?)
- Every Elementary Higher Topos has a Natural Number Object
- On the geometric theory of local MV-algebras
- A note on spherical functors
- From parametric polymorphism to models of polymorphic FPC
- The exact completion for regular categories enriched in posets
- Rigidification of algebras over essentially algebraic~theories
- Local fibred right adjoints are polynomial
- Effect algebras, presheaves, non-locality and contextuality
- A short proof of the localic groupoid representation of Grothendieck toposes
- Constructive Modalities with Provability Smack
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory
- Filter quotients and non-presentable \((\infty,1)\)-toposes
- Monoid properties as invariants of toposes of monoid actions
- Sets in homotopy type theory
- LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE
- Products and coequalizers in pointed categories
- Syntax for Semantics: Krull’s Maximal Ideal Theorem
- An essential, hyperconnected, local geometric morphism that is not locally connected
- Title not available (Why is that?)
- Indexed type theories
- Incidence hypergraphs: injectivity, uniformity, and matrix-tree theorems
- A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
- Bundle functors and fibrations
- Category-theoretic interpretative framework of the complementarity principle in quantum mechanics
- Processes and unfoldings: concurrent computations in adhesive categories
- A categorical proof of the equivalence of local compactness of exponentiability in locale theory
- Every rig with a one-variable fixed point presentation is the Burnside rig of a prextensive category
- A comparison of norm maps
- Title not available (Why is that?)
- Compact Hausdorff locales in presheaf toposes
- Definable categories
- A study of algebraic structures and logics based on categories of rough sets
- Effect Algebras, Presheaves, Non-locality and Contextuality
- Modalities in homotopy type theory
- Maximal elements with minimal logic
- Tensor topology
- Exploring mathematical objects from custom-tailored mathematical universes
- Sites whose topoi are the smooth representations of locally prodiscrete monoids
- Yoneda lemma for simplicial spaces
- The hyperconnected maps that are local
- Structure sheaves of definable additive categories
- The stable category of preorders in a pretopos. II: The universal property
- A novel approach to sheaves on diffeological spaces
- Distributors and the comprehensive factorization system for internal groupoids
- The enriched Grothendieck construction
- Measure theory over boolean toposes
- Categorical foundations of mathematics. Or how to provide foundations for abstract mathematics.
- Comparing material and structural set theories
- Observability in the univalent universe
- 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?)
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)
