scientific article; zbMATH DE number 3296291

Cited in

(only showing first 100 items - show all)

Noncommutative fibrations
scientific article; zbMATH DE number 3505197 (Why is no real title available?)
Strictification tensor product of 2-categories
Coherence for product monoids and their actions
Polyhedral monadicity of n-groupoids and standardized adjunction
Algebraic presentation of semifree monads
Backtracking with cut via a distributive law and left-zero monoids
Distributive laws and Koszulness
Iterated covariant powerset is not a monad
Determinisation of Relational Substitutions in Ordered Categories with Domain
A factorization of regularity
A monadic approach to polycategories
On the relationship between composite and tensor product triples
Distributive laws for the coinductive solution of recursive equations
Azumaya algebras as Galois comodules.
Natural state transformations
A topological perspective on interacting algebraic theories
The Vietoris monad and weak distributive laws
On the formal theory of pseudomonads and pseudodistributive laws
Examples of para-cocyclic objects induced by \(BD\)-laws
On quasi-Hopf smash products and twisted tensor products of quasialgebras.
On the differential graded Eilenberg-Moore construction
Pre-torsors and Galois comodules over mixed distributive laws
scientific article; zbMATH DE number 4144224 (Why is no real title available?)
Resource modalities in tensor logic
A coalgebraic take on regular and \(\omega\)-regular behaviour for systems with internal moves
Hopf monads: a survey with new examples and applications
Monad interleaving: a construction of the operad for Leinster's weak \(\omega \)-categories
Graphical combinatorics and a distributive law for modular operads
Entwining structures in monoidal categories
Differential 2-rigs
Coalgebraic update lenses
The coinductive resumption monad
Runners for interleaving algebraic effects
Generalized Płonka sums and products
Braided mixed datums and their applications on Hom-quantum groups
Distributive laws via admissibility
Factorizable enriched categories and applications
Adding fuzziness to terms and powerobjects using a monadic approach
Galois functors and entwining structures
An extension of the regular completion
Weakest preconditions in fibrations
Operadic categories and décalage
Monadic extensions of institutions
On the classification of twisting maps between \(K^n\) and \(K^m\).
Smash coproducts of monoidal comonads and Hom-entwining structures
A 2-categories companion
Jets and differential linear logic
``Keep definition, change category -- a practical approach to state-based system calculi
Relation lifting, a survey
Biwreaths: a self-contained system in a 2-category that encodes different known algebraic constructions and gives rise to new ones
scientific article; zbMATH DE number 3539402 (Why is no real title available?)
Azumaya monads and comonads
On saturated prefilter monads
Semi-topological functors III: Lifting of monads and adjoint functors
Weakest preconditions in fibrations
Cartesian integral categories and contextual integral categories
Near distributive laws
Weak vertical composition. II: Totalities
Algebraic weak factorisation systems. II: Categories of weak maps.
A categorical approach to cyclic duality.
Semantics of weakening and contraction
Weak units, universal cells, and coherence via universality for bicategories
The double power monad is the composite power monad
Discrete random variables over domains
Resolutions of operads via Koszul (bi)algebras
Monads of regular theories
Pivotality, twisted centres, and the anti-double of a Hopf monad
Anatomy of a domain of continuous random variables. I
Distributive laws between the Three Graces
The Power-Set Construction for Tree Algebras
Determinisation of relational substitutions in ordered categories with domain
Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers
Duality features of left Hopf algebroids
Understanding the small object argument
Triples and compact sheaf representation
Ambiguity and incomplete information in categorical models of language
Similarities between powersets of terms
Completely and totally distributive categories. I.
The universal Hopf-cyclic theory.
The Expression Lemma
Categories of timed stochastic relations
Monadic monadic second order logic
\(\vartheta\)-localizations and \(\vartheta\)-monads
The fundamental theorem for weak braided bimonads
From torsion theories to closure operators and factorization systems
Symmetric monoidal comonads and differential algebra
General twisting of algebras.
Homomorphisms of higher categories
Liftungen von Tripeln
Eilenberg-Moore monoids and backtracking monad transformers
A coherent approach to pseudomonads
Wreaths, mixed wreaths and twisted coactions
The weak theory of monads
Lax Liftings and Lax Distributive Laws
No-iteration mixed distributive laws
Comodules and Corings
Monads and distributive laws for Rota-Baxter and differential algebras
Factorisations of distributive laws
Algebraic theories of power operations

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)