scientific article; zbMATH DE number 1840601
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Formal Hopf algebra theory. I: Hopf modules for pseudomonoids
- A minimalist two-level foundation for constructive mathematics
- De Morgan's law and the theory of fields
- Model topoi and motivic homotopy theory
- Effect algebras, presheaves, non-locality and contextuality
- On a generalization of equilogical spaces
- Bundle functors and fibrations
- Every rig with a one-variable fixed point presentation is the Burnside rig of a prextensive category
- Functoriality of modified realizability
- Eliminating disjunctions by disjunction elimination
- Definable categories
- The many groupoids of a stably Gelfand quantale
- Sites whose topoi are the smooth representations of locally prodiscrete monoids
- The enriched Grothendieck construction
- Comparing material and structural set theories
- \(\widehat{\mathscr{D}}\)-modules on rigid analytic spaces. I.
- 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 -u groups and MV-algebras
- Bousfield localisation and colocalisation of one-dimensional model structures
- A semantic hierarchy for intuitionistic logic
- Syntactic categories for Nori motives
- Syntactic forcing models for coherent logic
- Totally distributive toposes
- An étalé space construction for stacks
- Quotients of monoid extensions and their interplay with Baer sums
- A characterisation of Lie algebras amongst anti-commutative algebras
- Ultrafilters, finite coproducts and locally connected classifying toposes
- A topological groupoid representing the topos of presheaves on a monoid
- The simplicial model of univalent foundations (after Voevodsky)
- Filter quotients and non-presentable \((\infty,1)\)-toposes
- Monoid properties as invariants of toposes of monoid actions
- 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
- 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
- Adjoint maps between implicative semilattices and continuity of localic maps
- A Serre-Swan theorem for coisotropic algebras
- The effects of effects on constructivism
- Towards a directed homotopy type theory
- Equational logic and categorical semantics for multi-languages
- On sheaves in finite group representations
- Exponentiable Grothendieck categories in flat algebraic geometry
- General facts on the Scott adjunction
- Pseudogroups and their torsors
- Equivariant sheaves for profinite groups
- Tensor topology
- Presenting de Groot duality of stably compact spaces
- On the local Cartesian closure of exact completions
- Frobenius and spherical codomains and neighbourhoods
- On infinite variants of De Morgan law in locale theory
- Pretorsion theories in general categories
- Local local reasoning: a BI-hyperdoctrine for full ground store
- Duality for noncommutative frames
- 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
- Towards higher topology
- Reverse AD at higher types: pure, principled and denotationally correct
- Generalising the étale groupoid-complete pseudogroup correspondence
- Sobriety for equilogical spaces
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics
- Structure sheaves of definable additive categories
- Category-theoretic interpretative framework of the complementarity principle in quantum mechanics
- Enriched regular theories
- Dynamical systems and sheaves
- A Kuroda-style \(j\)-translation
- A novel approach to sheaves on diffeological spaces
- Étale stacks as prolongations
- Guarded cubical type theory
- Categories with families and first-order logic with dependent sorts
- Rigidification of algebras over essentially algebraic~theories
- An algebraic approach to subframe logics. Intuitionistic case
- On the geometric theory of local MV-algebras
- Some aspects of topological Galois theory
- Presheaves over a join restriction category
- Nominal Lawvere theories: a category theoretic account of equational theories with names
- Locale morphisms with exact direct image functor in sheaves
- Topological Galois theory
- Monocoreflections of completely regular frames
- Weak topologies on toposes
- 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
- Toposes for semigroups: an invitation
- Maps with discrete fibers and the origin of basepoints
- Observability in the univalent universe
- 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
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4783274)
