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
- 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
- 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
- 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
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)
