scientific article; zbMATH DE number 3296291

Cited in

(only showing first 100 items - show all)

Semi-topological functors III: Lifting of monads and adjoint functors
Triples and compact sheaf representation
The construction of cofree coalgebras
Natural state transformations
Change of base for toposes with generators
On the relationship between composite and tensor product triples
Semantics of weakening and contraction
A coherent approach to pseudomonads
Biwreaths: a self-contained system in a 2-category that encodes different known algebraic constructions and gives rise to new ones
Extensions of operators, liftings of monads, and distributive laws
Representations of crossed modules and other generalized Yetter-Drinfel'd modules
Quantalic topological theories
Distributive laws and Koszulness
Cost functors and optimal realization
Similarities between powersets of terms
An extension of the regular completion
The formal theory of monads. II
Polyhedral monadicity of n-groupoids and standardized adjunction
Semientwining structures and their applications.
Smash coproducts of monoidal comonads and Hom-entwining structures
Distributive laws via admissibility
Algebraic presentation of semifree monads
Weakest preconditions in fibrations
Iterated covariant powerset is not a monad
Near distributive laws
Cartesian integral categories and contextual integral categories
Resolutions of operads via Koszul (bi)algebras
Completing simple valuations in K-categories
Quasi-bimonads and their representations
Lattices do not distribute over powerset
Weighted models for higher-order computation
Operadic categories and décalage
Graphical combinatorics and a distributive law for modular operads
Anatomy of a domain of continuous random variables. I
Generalized Płonka sums and products
Combinatorial structure of type dependency
Liftungen von Tripeln
The Vietoris monad and weak distributive laws
On the differential graded Eilenberg-Moore construction
Generalised bialgebras and entwined monads and comonads
Monads of regular theories
Azumaya monads and comonads
Discrete random variables over domains
Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers
The double power monad is the composite power monad
The fundamental theorem for weak braided bimonads
Wreaths, mixed wreaths and twisted coactions
Coherence for product monoids and their actions
Azumaya algebras as Galois comodules.
Entwining structures in monoidal categories
On the classification and properties of noncommutative duplicates.
Distributive laws for the coinductive solution of recursive equations
\(\vartheta\)-localizations and \(\vartheta\)-monads
A factorization of regularity
On quasi-monoidal comonads and their corepresentations
Divided power algebras and distributive laws
Categories of timed stochastic relations
Coalgebraic update lenses
The coinductive resumption monad
A categorical approach to unification of generalised terms
A monadic approach to polycategories
No-iteration mixed distributive laws
``Keep definition, change category -- a practical approach to state-based system calculi
Relation lifting, a survey
Comodules and Corings
Duality features of left Hopf algebroids
BOCSES over small linear categories and corings
A 2-categories companion
scientific article; zbMATH DE number 4144224 (Why is no real title available?)
Determinisation of Relational Substitutions in Ordered Categories with Domain
The Expression Lemma
scientific article; zbMATH DE number 3728467 (Why is no real title available?)
scientific article; zbMATH DE number 3749236 (Why is no real title available?)
scientific article; zbMATH DE number 3771857 (Why is no real title available?)
scientific article; zbMATH DE number 3505197 (Why is no real title available?)
scientific article; zbMATH DE number 3525362 (Why is no real title available?)
scientific article; zbMATH DE number 3539402 (Why is no real title available?)
Factorizable enriched categories and applications
Symmetric monoidal comonads and differential algebra
Adding fuzziness to terms and powerobjects using a monadic approach
On the classification of twisting maps between K^n and K^m.
A categorical approach to cyclic duality.
Completely and totally distributive categories. I.
A categorical approach to algebras and coalgebras
Braided mixed datums and their applications on Hom-quantum groups
Coproducts of Ideal Monads
A graphical approach to monad compositions
From torsion theories to closure operators and factorization systems
scientific article; zbMATH DE number 7136663 (Why is no real title available?)
Lifting coalgebra modalities and \textsf{MELL} model structure to Eilenberg-Moore categories
Jets and differential linear logic
Lifting coalgebra modalities and IMELL model structure to Eilenberg-Moore categories
A coalgebraic take on regular and \(\omega\)-regular behaviour for systems with internal moves
Predicative theories of continuous lattices
Eilenberg-Moore monoids and backtracking monad transformers
A topological perspective on interacting algebraic theories
Ambiguity and incomplete information in categorical models of language
A monad for probabilistic point processes
A coalgebraic take on regular and -regular behaviours
No-go theorems for distributive laws

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 Q5579535)