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 (only showing first 100 items - show all)
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
This page was built for publication:
