scientific article; zbMATH DE number 2117177
From MaRDI portal
zbMath1071.18002MaRDI QIDQ4828514
Publication date: 19 November 2004
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
$L'$-localization in an $\infty$-topos, On Finitary Functors, A generalization of de Vries duality to closed relations between compact Hausdorff spaces, Universal cohomology theories, Unnamed Item, Homotopy theory of monoid actions via group actions and an Elmendorf style theorem, Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions, A diagrammatic view of differential equations in physics, A model of guarded recursion with clock synchronisation, Unnamed Item, Some exact sequences associated with adjunctions in bicategories. Applications, Unnamed Item, Group action in topos quantum physics, Topological modular forms with level structure, On the Distinction Between Sets and Classes: A Categorical Perspective, Borel functors, interpretations, and strong conceptual completeness for ℒ_{𝜔₁𝜔}, CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC, INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM, A Serre-Swan theorem for coisotropic algebras, The stable category of preorders in a pretopos. I: General theory, Protomodular aspect of the dual of a topos, On the relation between continuous and combinatorial, Semantic completeness of first-order theories in constructive reverse mathematics, On models of higher-order separation logic, The spectrum of a localic semiring, Infinitary first-order categorical logic, Nuclear ranges in implicative semilattices, Saturated models of intuitionistic theories, Invited Talk: Coherentisation of First-Order Logic, Logical systems. I: Internal calculi., Spectral Mackey functors and equivariant algebraic \(K\)-theory. I., The \(K\)-theory of assemblers, Étale groupoids and their quantales, Yoneda structures from 2-toposes, The intersection of algebra and coalgebra, Numerable open covers and representability of topological stacks, Baer sums in homological categories, A perspective on non-commutative frame theory, Theoretical equivalence in classical mechanics and its relationship to duality, Quiver GIT for varieties with tilting bundles, On Tarski’s fixed point theorem, The space of measurement outcomes as a spectral invariant for non-commutative algebras, A representation theorem for geometric morphisms, Hilsum-Skandalis maps as Frobenius adjunctions with application to geometric morphisms, On inverse semigroup \(C^*\)-algebras and crossed products, On the homotopy theory for Lie \(\infty\)-groupoids, with an application to integrating \(L_\infty\)-algebras, Normalizers and split extensions, Enriched and internal categories: an extensive relationship, A comparison of two topos-theoretic approaches to quantum theory, Radical theory of Scott-open filters, Higher Orbifolds and Deligne-Mumford Stacks as Structured Infinity-Topoi, Locatedness and overt sublocales, Resolutions, higher extensions and the relative Mal'tsev axiom, Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets, Pseudo-commutativity of KZ 2-monads, Topological inductive definitions, Structural universals as structural parts: toward a general theory of parthood and composition, Derived Knörrer periodicity and Orlov’s theorem for gauged Landau–Ginzburg models, The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit., Note on a theorem of Bousfield and Friedlander, Presenting locale pullback via directed complete posets, Entailment systems for stably locally compact locales, A universal characterization of the double powerlocale, Modes of adjointness, Théories géométriques pour l’algèbre des nombres réels, (Op)lax natural transformations, twisted quantum field theories, and ``even higher Morita categories, Exact completion of path categories and algebraic set theory. I: Exact completion of path categories, On the mechanization of the proof of Hessenberg's theorem in coherent logic, On Kan-injectivity of locales and spaces, Connected Lie groupoids are internally connected and integral complete in synthetic differential geometry, The associated sheaf functor theorem in algebraic set theory, Tensor triangular geometry of filtered modules, Splitting idempotents in a fibered setting, Fraïssé's construction from a topos-theoretic perspective, Descent in locally presentable categories, Morphisms of colimits: from paths to profunctors, Atomic toposes and countable categoricity, Noncommutativity as a colimit, How to be a structuralist all the way down, Fuzzy sets and geometric logic, Läuchli's completeness theorem from a topos-theoretic perspective, Sheaves as modules, The universal covering of an inverse semigroup., Dedekind categories with cutoff operators, On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems, The Frobenius condition, right properness, and uniform fibrations, Completeness of cocompletions, Stability of properties of locales under groups, A general method for building reflections, Quantum logic in dagger kernel categories, Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory, Grothendieck quasitoposes, Generalising canonical extension to the categorical setting, A topological groupoid representing the topos of presheaves on a monoid, Nuclear typing of frames vs spatial selectors, Unnamed Item, AN ABSTRACT ELEMENTARY CLASS NONAXIOMATIZABLE IN, Effective motives with and without transfers in characteristic \(p\), Intuitionistic quantum logic of an \(n\)-level system, The semantic view of theories and higher-order languages, New wide classes of weakly Mal'tsev categories, On sheaf cohomology and natural expansions, Some remarks on blueprints and \(\mathbb{F}_1\)-schemes, Topos Quantum Logic and Mixed States, Quasi-categories vs. Segal spaces: Cartesian edition, The connected Vietoris powerlocale, A minimalist two-level foundation for constructive mathematics, De Morgan classifying toposes, On Supercompactly and Compactly Generated Toposes, Constructive strong regularity and the extension property of a compactification, A topos for algebraic quantum theory, Compactly generated Hausdorff locales, Complemented sublocales and open maps, On the parallel between the suplattice and preframe approaches to locale theory, Compactness in locales and in formal topology, Localization, monoid sets and \(K\)-theory, An étale van Kampen theorem for simplicial sheaves, Fibred amalgamation, descent data, and Van Kampen squares in topoi
