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