scientific article; zbMATH DE number 2117177
From MaRDI portal
Publication:4828514
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 (only showing first 100 items - show all)
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
This page was built for publication:
