scientific article; zbMATH DE number 1840601
From MaRDI portal
Publication:4783274
zbMath1071.18001MaRDI QIDQ4783274
Publication date: 3 December 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Topoi (18B25) Research exposition (monographs, survey articles) pertaining to category theory (18-02)
Related Items
Monoidal Grothendieck construction, Unnamed Item, Unnamed Item, Relating Coalgebraic Notions of Bisimulation, Van Kampen Colimits as Bicolimits in Span, Unfolding Grammars in Adhesive Categories, An algebraic approach to subframe logics. Intuitionistic case, On sheaves in finite group representations, Effect Algebras, Presheaves, Non-locality and Contextuality, Exponentiable Grothendieck categories in flat algebraic geometry, General facts on the Scott adjunction, On the nonexistence of elements of Kervaire invariant one, An order-theoretic perspective on categorial closure operators, Pseudogroups and their torsors, Unnamed Item, Topological Galois theory, Logic in Category Theory, Monocoreflections of completely regular frames, Topos models for physics and topos theory, On the geometric theory of local MV-algebras, Weak ideal topology in the topos of right acts over a monoid, Weak topologies on toposes, MODULES OVER ÉTALE GROUPOID ALGEBRAS AS SHEAVES, Equivariant sheaves for profinite groups, Tensor topology, Toposes for semigroups: an invitation, On toposes generated by cardinal finite objects, Presenting de Groot duality of stably compact spaces, On the local Cartesian closure of exact completions, Maps with discrete fibers and the origin of basepoints, Observability in the univalent universe, Dependently Sorted Logic, Topos quantum theory reduced by context-selection functors, Frobenius and spherical codomains and neighbourhoods, Some aspects of topological Galois theory, Presheaves over a join restriction category, A characterization of generalized existential completions, On the geometry of physical measurements: topological and algebraic aspects, Multiplicative equivariant \(K\)-theory and the Barratt-Priddy-Quillen theorem, On infinite variants of De Morgan law in locale theory, Pretorsion theories in general categories, Noncommutative Topologies, Localization, and Sheaves, A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE, Brain and its universal logical model of multi-agent biological systems, Algebraic logoi, Local local reasoning: a BI-hyperdoctrine for full ground store, AI: why mathematics? Preface of the editor-in-chief of the Doklady Mathematics Journal, A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes, Ordered combinatory algebras and realizability, Categories of partial equivalence relations as localizations, Comonadic base change for enriched categories, On embedding categories in groupoids, Type space functors and interpretations in positive logic, Duality for noncommutative frames, Relating First-Order Set Theories and Elementary Toposes, On stability of exactness properties under the pro-completion, Determinant map for the prestack of Tate objects, Elementary doctrines as coalgebras, Categorical notions of fibration, The hyperconnected maps that are local, Nominal Lawvere theories: a category theoretic account of equational theories with names, Distributors and the comprehensive factorization system for internal groupoids, Sets and Descent, Towards higher topology, Reverse AD at higher types: pure, principled and denotationally correct, Unnamed Item, CATEGORICAL COMPLEXITY, Brouwer's fixed-point theorem in real-cohesive homotopy type theory, Generalising the étale groupoid-complete pseudogroup correspondence, Selection functions, bar recursion and backward induction, On universal algebra over nominal sets, THE GELFAND SPECTRUM OF A NONCOMMUTATIVE C*-ALGEBRA: A TOPOS-THEORETIC APPROACH, THE UNITY AND IDENTITY OF DECIDABLE OBJECTS AND DOUBLE-NEGATION SHEAVES, Structural recursion with locally scoped names, Sobriety for equilogical spaces, A network-conscious \(\pi\)-calculus and its coalgebraic semantics, Coherence for monoidal endofunctors, Structure sheaves of definable additive categories, Unnamed Item, Category-theoretic interpretative framework of the complementarity principle in quantum mechanics, On the existence of Stone-Čech compactification, Three extensional models of type theory, Enriched regular theories, Dynamical systems and sheaves, Kripke Semantics for Martin-Löf’s Extensional Type Theory, Spatial Logic and Spatial Model Checking for Closure Spaces, From parametric polymorphism to models of polymorphic FPC, A Kuroda-style \(j\)-translation, A novel approach to sheaves on diffeological spaces, Étale stacks as prolongations, Lawvere–Tierney sheaves in Algebraic Set Theory, Convenient categories of smooth spaces, Guarded cubical type theory, Categories with families and first-order logic with dependent sorts, The localic Istropy group of a topos, Locale morphisms with exact direct image functor in sheaves, Event Structures with Symmetry, Cocompletion of restriction categories, Network Models, Rigidification of algebras over essentially algebraic~theories, Coinductive predicates and final sequences in a fibration, Automata-theoretic semantics of idealized Algol with passive expressions, Localic metric spaces and the localic Gelfand duality, Adjoint maps between implicative semilattices and continuity of localic maps, Filtered colimits in the effective topos, A Serre-Swan theorem for coisotropic algebras, Sheaves on involutive quantales: Grothendieck quantales., Continuity and geometric logic, A representation theorem for integral rigs and its applications to residuated lattices., Gabriel-Ulmer duality for topoi and its relation with site presentations, A constructive manifestation of the Kleene-Kreisel continuous functionals, The intrinsic topology of Martin-Löf universes, Priestley-type dualities for partially ordered structures, Model topoi and motivic homotopy theory, The effects of effects on constructivism, Towards a directed homotopy type theory, Equational logic and categorical semantics for multi-languages, Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions, Model-theoretic imaginaries and coherent sheaves, Diads and their application to topoi, Effect algebras, presheaves, non-locality and contextuality, An axiomatic account of weak triquotient assignments in locale theory, Well-foundedness in realizability, On a generalization of equilogical spaces, Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups, A model for spacetime: the role of interpretation in some Grothendieck topoi, Partial Horn logic and Cartesian categories, Non-well-founded trees in categories, What do Freyd's toposes classify?, Bundle functors and fibrations, Relating first-order set theories, toposes and categories of classes, Basic subtoposes of the effective topos, Cocomplete toposes whose exact completions are toposes, Every rig with a one-variable fixed point presentation is the Burnside rig of a prextensive category, The basic Zariski topology, Functoriality of modified realizability, The Hecke bicategory, Characterizations of categories of commutative \(C^*\)-subalgebras, On inverse semigroup \(C^*\)-algebras and crossed products, Traces in symmetric monoidal categories, Eliminating disjunctions by disjunction elimination, Totally distributive toposes, Definable categories, The Weil-étale fundamental group of a number field. II, The many groupoids of a stably Gelfand quantale, Categorification, term rewriting and the Knuth-Bendix procedure, An étalé space construction for stacks, A characterization theorem for geometric logic, Sites whose topoi are the smooth representations of locally prodiscrete monoids, The enriched Grothendieck construction, Constructive toposes with countable sums as models of constructive set theory, Comparing material and structural set theories, Lex colimits, Ionads, Left Kan extensions preserving finite products, An induction principle for consequence in arithmetic universes, \(\widehat{\mathscr{D}}\)-modules on rigid analytic spaces. I., Cosheaves and connectedness in formal topology, Triposes, q-toposes and toposes, Groupoid sheaves as quantale sheaves, Forking independence from the categorical point of view, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017, Some invariant skeletons for \(\ell\)-u groups and MV-algebras, Bousfield localisation and colocalisation of one-dimensional model structures, Category theory of symbolic dynamics, A semantic hierarchy for intuitionistic logic, \(\mathbb{T}\)-motives, Locally anisotropic toposes, Quotients of monoid extensions and their interplay with Baer sums, A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms, Defining effectiveness using finite sets. A study on computability, A characterisation of Lie algebras amongst anti-commutative algebras, A note on proper maps of locales, Characterizations of Morita equivalent inverse semigroups., Ultrafilters, finite coproducts and locally connected classifying toposes, Injective power objects and the axiom of choice, Functorial data migration, A topological groupoid representing the topos of presheaves on a monoid, Syntactic categories for Nori motives, Syntactic forcing models for coherent logic, The simplicial model of univalent foundations (after Voevodsky), Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness, On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular, Filter quotients and non-presentable \((\infty,1)\)-toposes, Monoid properties as invariants of toposes of monoid actions, Formal Hopf algebra theory. I: Hopf modules for pseudomonoids, An essential, hyperconnected, local geometric morphism that is not locally connected, Functoriality of groupoid quantales. II, Incidence hypergraphs: injectivity, uniformity, and matrix-tree theorems, Fibred-categorical obstruction theory, A minimalist two-level foundation for constructive mathematics, De Morgan's law and the theory of fields, The exact completion for regular categories enriched in posets, The universal exponentiable arrow, Exploring mathematical objects from custom-tailored mathematical universes, The stable category of preorders in a pretopos. II: The universal property, Towards formal Baer criteria, Fast left Kan extensions using the chase, Quotients of span categories that are allegories and the representation of regular categories, Concurrency theorems for non-linear rewriting theories, Skew category algebras and modules on ringed finite sites, What should a generic object be?, Yoneda lemma for simplicial spaces, The syntactic side of autonomous categories enriched over generalised metric spaces, Morpho-logic from a topos perspective -- application to symbolic AI, Homotopy sheaves on generalised spaces, An analogue of Stone duality via support, Unnamed Item, Unnamed Item, Modalities in homotopy type theory, The category 𝒮hjIMSet of sheaves in MSet, Methods of constructive category theory, AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS, Sublocales in formal topology, Synthetic topology in Homotopy Type Theory for probabilistic programming, Unnamed Item, Coalgebraic Geometric Logic: Basic Theory, Unnamed Item, Doctrines, modalities and comonads, Every Elementary Higher Topos has a Natural Number Object, On bornological semi-abelian algebras, A topos for continuous logic, Unnamed Item, The comprehensive factorization of Burroni's T-functors, A functorial approach to monomorphism categories for species I, LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE, Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory, Approximating triangulated categories by spaces, Abstract categorical logic, On the dependent product in toposes, Hopf monads: a survey with new examples and applications, Fibered universal algebra for first-order logics, Fundamentals of compositional rewriting theory, Left-exact localizations of \(\infty\)-topoi. II: Grothendieck topologies, Models of HoTT and the Constructive View of Theories, Foundations for the Working Mathematician, and for Their Computer, Categorification of a set relation geometry induced by rough operators, Posets for which Verdier duality holds, Compact Hausdorff locales in presheaf toposes, Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem, Additive Grothendieck pretopologies and presentations of tensor categories, Glivenko sequent classes and constructive cut elimination in geometric logics, THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE-ORDER ARITHMETIC, Incidence hypergraphs: the categorical inconsistency of set-systems and a characterization of quiver exponentials, Ordered locales, Diffeological coarse moduli spaces of stacks over manifolds, Some forms of excluded middle for linear orders, Quotient toposes of discrete dynamical systems, On duality and model theory for polyadic spaces, CHAD for expressive total languages, Dependent Optics, Nonstandard proof methods in toposes, Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes, Limits, colimits, and spectra of modelled spaces, Maximal elements with minimal logic, Principal bundles as Frobenius adjunctions with application to geometric morphisms, Measure theory over boolean toposes, Unnamed Item, ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION, Unnamed Item, Unnamed Item, The Greenberg Functor is Site Cocontinuous, On the \'etale homotopy type of higher stacks, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Twisted arrow categories, operads and Segal conditions, A comparison of norm maps, A short proof of the localic groupoid representation of Grothendieck toposes, Indexed type theories, Completely regular proper reflection of locales over a given locale, Locally bounded enriched categories, Local fibred right adjoints are polynomial, A Categorical Model of the Fusion Calculus, CATEGORICAL FOUNDATIONS OF MATHEMATICS OR HOW TO PROVIDE FOUNDATIONS FORABSTRACTMATHEMATICS, Partial Recursive Functions and Finality, Models of non-well-founded sets via an indexed final coalgebra theorem, The algebra of multirelations, Processes and unfoldings: concurrent computations in adhesive categories, Sets in homotopy type theory, Operads Revisited, Fibrations of AU-contexts beget fibrations of toposes, Unnamed Item, Unnamed Item, CONSTRUCTIVE REFLECTIVITY PRINCIPLES FOR REGULAR THEORIES, A characterisation of the category of compact Hausdorff spaces, When is Flatness Coherent?, Modal dependent type theory and dependent right adjoints, Computable analysis with applications to dynamic systems, ALGEBRAIC NEW FOUNDATIONS, The nominal/FM Yoneda Lemma, A topos foundation for theories of physics: I. Formal languages for physics, A note on spherical functors, Constructive Modalities with Provability Smack, Categories with Families: Unityped, Simply Typed, and Dependently Typed, An Introduction to Regular Categories, Dwyer-Kan homotopy theory of enriched categories, FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION, The effective model structure and -groupoid objects, Geometric Rules in Infinitary Logic, Equivalence classes of coherent projectors in a Hilbert space with prime dimension: Q functions and their Gini index, Partially ordered objects in a topos, Syntax for Semantics: Krull’s Maximal Ideal Theorem, Products and coequalizers in pointed categories
