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)
- 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
- Van Kampen colimits as bicolimits in Span
- On the local Cartesian closure of exact completions
- Non-well-founded trees in categories
- Monocoreflections of completely regular frames
- Pretorsion theories in general categories
- MODULES OVER ÉTALE GROUPOID ALGEBRAS AS SHEAVES
- Approximating triangulated categories by spaces
- Categorification, term rewriting and the Knuth-Bendix procedure
- Ultrafilters, finite coproducts and locally connected classifying toposes
- Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation
- Diads and their application to topoi
- The universal exponentiable arrow
- Categorical complexity
- The Weil-étale fundamental group of a number field. II
- Topological Galois theory
- Title not available (Why is that?)
- Locally bounded enriched categories
- Dynamical systems and sheaves
- Formal Hopf algebra theory. I: Hopf modules for pseudomonoids
- De Morgan's law and the theory of fields
- Skew category algebras and modules on ringed finite sites
- Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)
- Categories with families and first-order logic with dependent sorts
- On toposes generated by cardinal finite objects
- Title not available (Why is that?)
- On the étale homotopy type of higher stacks
- Eliminating disjunctions by disjunction elimination
- Eliminating disjunctions by disjunction elimination
- A characterisation of Lie algebras amongst anti-commutative algebras
- Principal bundles as Frobenius adjunctions with application to geometric morphisms
- A property of effectivization and its uses in categorical logic
- The comprehensive factorization of Burroni's T-functors
- 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?)
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)
