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
- \(T_0\) topological spaces and \(T_0\) posets in the topos of \(M\)-\textbf{Sets}
- 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
- Adjoint maps between implicative semilattices and continuity of localic maps
- Title not available (Why is that?)
- 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
- Effect algebras, presheaves, non-locality and contextuality
- Every elementary higher topos has a natural number object
- 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
- Products and coequalizers in pointed categories
- 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
- Compact Hausdorff locales in presheaf toposes
- A short proof of the localic groupoid representation of Grothendieck toposes.
- Definable categories
- A study of algebraic structures and logics based on categories of rough sets
- Modalities in homotopy type theory
- Constructive modalities with provability smack
- Maximal elements with minimal logic
- Tensor topology
- Network models
- Exploring mathematical objects from custom-tailored mathematical universes
- Sites whose topoi are the smooth representations of locally prodiscrete monoids
- Lattice-ordered abelian groups and perfect MV-algebras: a topos-theoretic perspective
- 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
- Categorical foundations of mathematics. Or how to provide foundations for abstract mathematics.
- Comparing material and structural set theories
- Syntax for semantics: Krull's maximal ideal theorem
- Observability in the univalent universe
- Filtered colimits in the effective topos
- A characterisation of the category of compact Hausdorff spaces
- On a generalization of equilogical spaces
- Noncommutative Topologies, Localization, and Sheaves
- Locally anisotropic toposes
- Title not available (Why is that?)
- Enriched regular theories
- Characterizations of Morita equivalent inverse semigroups.
- Gabriel-Ulmer duality for topoi and its relation with site presentations
- Pseudogroups and their torsors
- Fundamentals of compositional rewriting theory
- Unfolding Grammars in Adhesive Categories
- On sheaves in finite group representations
- Hopf monads: a survey with new examples and applications
- A semantic hierarchy for intuitionistic logic
- Model-theoretic imaginaries and coherent sheaves
- An axiomatic account of weak triquotient assignments in locale theory
- Functoriality of modified realizability
- \(\widehat{\mathscr{D}}\)-modules on rigid analytic spaces. I.
- Concurrency theorems for non-linear rewriting theories
- Operads revisited
- Additive Grothendieck pretopologies and presentations of tensor categories
- A topological groupoid representing the topos of presheaves on a monoid
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
- Well-foundedness in realizability
- Injective power objects and the axiom of choice
- Functorial data migration
- Measure theory over Boolean toposes
- Lawvere–Tierney sheaves in Algebraic Set Theory
- Cocomplete toposes whose exact completions are toposes
- Fibred-categorical obstruction theory
- The many groupoids of a stably Gelfand quantale
- The localic isotropy group of a topos
- A model for spacetime: the role of interpretation in some Grothendieck topoi
- Locally anisotropic toposes. II
- Categorical notions of fibration
- Models of non-well-founded sets via an indexed final coalgebra theorem
- Posets for which Verdier duality holds
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness
- Functoriality of groupoid quantales. II
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics
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)
