scientific article; zbMATH DE number 2222246
From MaRDI portal
Publication:5701018
Categorical logic, topoi (03G30) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Topoi (18B25) Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)
Cited in
(70)- On the algebraic structure of declarative programming languages
- Permutative categories, multicategories and algebraic \(K\)-theory
- Topos: Medieval supposition theory
- Quantum group gauge theory on quantum spaces
- On the notion of bimodel for functorial semantics
- Restricted Lie algebras via monadic decomposition
- Functional distribution monads in functional-analytic contexts
- Representation of fuzzy subsets by Galois connections
- Algebraic geometry over algebraic structures. VI: Geometrical equivalence
- Regularity of the category of Kelley spaces
- Algebraic exponentiation in general categories
- Algebraic geometry over algebraic structures. II: Foundations
- Descent of Hilbert C^*-modules
- Spaces of max-min measures on compact Hausdorff spaces
- Semantic factorization and descent
- Difference Galois theory and dynamics
- Weak bimonoids in duoidal categories
- Semidirect products and split short five lemma in normal categories
- Rigidification of homotopy algebras over finite product sketches
- Isomorphism theorems for coalgebras
- A note on equivariantization of additive categories and triangulated categories
- Which weakly ramified group actions admit a universal formal deformation?
- Algebras versus coalgebras
- Operads within monoidal pseudo algebras
- On the category of props
- The definitions of middle object and weak topos
- On the tensor product of modules over skew monoidal categories
- Martin-Löf complexes
- Liftings of normal functors in the category of compacta to categories of topological algebra and analysis
- scientific article; zbMATH DE number 3557735 (Why is no real title available?)
- On lifting of biadjoints and lax algebras
- Operads and Phylogenetic Trees
- Pseudo-Kan extensions and descent theory
- Weak ideal topology in the topos of right acts over a monoid
- Props in Network Theory
- scientific article; zbMATH DE number 2156365 (Why is no real title available?)
- Triposes, q-toposes and toposes
- A non-regular language of infinite trees that is recognizable by a sort-wise finite algebra
- Quillen-Segal algebras and stable homotopy theory
- Hopf monads on monoidal categories
- Weak bimonads and weak Hopf monads
- Towards Effects in Mathematical Operational Semantics
- Rewriting in Gray categories with applications to coherence
- scientific article; zbMATH DE number 7662147 (Why is no real title available?)
- On the dependent product in toposes
- A note on a free group. The decomposition of a free group functor through the category of heaps
- A Künneth theorem for configuration spaces
- Slack Hopf monads
- CHAD for expressive total languages
- El irrazonable poder definitorio de las adjunciones
- Idempotent convexity and algebras for the capacity monad and its submonads
- Cartesian double theories: a double-categorical framework for categorical doctrines
- Binomial rings and homotopy theory
- Lattice theoretic and logical aspects of elementary topoi
- The hidden M-group
- Duality for coalgebras for Vietoris and monadicity
- Homotopy theory of curved operads and curved algebras
- Invariant idempotent -measures generated by iterated function systems
- A variety of co-quasivarieties
- Bounded complete J-algebraic lattices
- Barr-coexactness for metric compact Hausdorff spaces
- Functorial data migration
- Relativized universal algebra via partial Horn logic
- Doubly weak double categories
- Monads and comonads on module categories
- A categorical foundation for Bayesian probability
- Adjoints and monads related to compact lattices and compact Lawson idempotent semimodules
- Milnor-Moore categories and monadic decomposition
- Equivalences between categories of modules and categories of comodules.
- A computer-verified monadic functional implementation of the integral
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 Q5701018)
