scientific article; zbMATH DE number 3296291
From MaRDI portal
Publication:5579535
zbMath0186.02902MaRDI QIDQ5579535
Publication date: 1969
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (only showing first 100 items - show all)
Unnamed Item ⋮ On saturated prefilter monads ⋮ Unnamed Item ⋮ Convexity via Weak Distributive Laws ⋮ Strictification tensor product of 2-categories ⋮ Weak units, universal cells, and coherence via universality for bicategories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Presentations and algebraic colimits of enriched monads for a subcategory of arities ⋮ A CATEGORICAL APPROACH TO ALGEBRAS AND COALGEBRAS ⋮ A Topological Perspective on Interacting Algebraic Theories ⋮ Ambiguity and Incomplete Information in Categorical Models of Language ⋮ Hopf monads: a survey with new examples and applications ⋮ Unnamed Item ⋮ Differential 2-rigs ⋮ Distributive laws for relative monads ⋮ Derived homotopy algebras ⋮ Runners for interleaving algebraic effects ⋮ BRAIDED MIXED DATUMS AND THEIR APPLICATIONS ON HOM-QUANTUM GROUPS ⋮ The Power-Set Construction for Tree Algebras ⋮ Algebraic theories of power operations ⋮ Lax Liftings and Lax Distributive Laws ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unifying structured recursion schemes ⋮ Unnamed Item ⋮ Backtracking with cut via a distributive law and left-zero monoids ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Understanding the small object argument ⋮ Noncommutative fibrations ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A trustful monad for axiomatic reasoning with probability and nondeterminism ⋮ Comparing localizations across adjunctions ⋮ Unnamed Item ⋮ Coproducts of Ideal Monads ⋮ A graphical approach to monad compositions ⋮ Product Rules and Distributive Laws ⋮ Unnamed Item ⋮ Double quantum groups ⋮ A basic distributive law ⋮ Symmetric monoidal comonads and differential algebra ⋮ Weakest preconditions in fibrations ⋮ On the formal theory of pseudomonads and pseudodistributive laws ⋮ Jets and differential linear logic ⋮ Unnamed Item ⋮ Distributive laws between the Three Graces ⋮ Coalgebraic update lenses ⋮ The coinductive resumption monad ⋮ Semantics of weakening and contraction ⋮ Weakest preconditions in fibrations ⋮ Iterated covariant powerset is not a monad ⋮ Near distributive laws ⋮ Cartesian integral categories and contextual integral categories ⋮ ``Keep definition, change category -- a practical approach to state-based system calculi ⋮ Relation lifting, a survey ⋮ On quasi-Hopf smash products and twisted tensor products of quasialgebras. ⋮ Examples of para-cocyclic objects induced by \(BD\)-laws ⋮ Discrete random variables over domains ⋮ Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers ⋮ Resolutions of operads via Koszul (bi)algebras ⋮ Biwreaths: a self-contained system in a 2-category that encodes different known algebraic constructions and gives rise to new ones ⋮ Polyhedral monadicity of \(n\)-groupoids and standardized adjunction ⋮ Duality features of left Hopf algebroids ⋮ Monad interleaving: a construction of the operad for Leinster's weak \(\omega \)-categories ⋮ Extensions of operators, liftings of monads, and distributive laws ⋮ The double power monad is the composite power monad ⋮ Completing simple valuations in K-categories ⋮ The fundamental theorem for weak braided bimonads ⋮ Wreaths, mixed wreaths and twisted coactions ⋮ Determinisation of relational substitutions in ordered categories with domain ⋮ General twisting of algebras. ⋮ Representations of crossed modules and other generalized Yetter-Drinfel'd modules ⋮ Algebraic weak factorisation systems. I: Accessible AWFS. ⋮ Algebraic weak factorisation systems. II: Categories of weak maps. ⋮ Determinisation of Relational Substitutions in Ordered Categories with Domain ⋮ Semi-topological functors III: Lifting of monads and adjoint functors ⋮ Quantalic topological theories ⋮ Monadic extensions of institutions ⋮ Monads and distributive laws for Rota-Baxter and differential algebras ⋮ Factorizable enriched categories and applications ⋮ Factorisations of distributive laws ⋮ Quasi-bimonads and their representations ⋮ Adding fuzziness to terms and powerobjects using a monadic approach ⋮ Triples and compact sheaf representation ⋮ Lattices do not distribute over powerset ⋮ Coherence for product monoids and their actions ⋮ On the classification of twisting maps between \(K^n\) and \(K^m\). ⋮ Resource modalities in tensor logic ⋮ On quasi-monoidal comonads and their corepresentations ⋮ The Expression Lemma ⋮ No-iteration mixed distributive laws ⋮ Semientwining structures and their applications. ⋮ Divided power algebras and distributive laws ⋮ Azumaya algebras as Galois comodules. ⋮ A categorical approach to cyclic duality.
This page was built for publication:
