scientific article; zbMATH DE number 3296291

Publication date: 1969

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Related Items

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., Unnamed Item, Completely and totally distributive categories. I., Weighted models for higher-order computation, Operadic categories and décalage, BOCSES over Small Linear Categories and Corings, The universal Hopf-cyclic theory., Not every pseudoalgebra is equivalent to a strict one, Graphical combinatorics and a distributive law for modular operads, Algebra and local presentability: how algebraic are they? (A survey), Entwining structures in monoidal categories, (Co)cyclic (co)homology of bialgebroids: An approach via (co)monads, Anatomy of a domain of continuous random variables. I, Generalized Płonka sums and products, Combinatorial structure of type dependency, On the classification and properties of noncommutative duplicates., Hopf monads on monoidal categories, The construction of cofree coalgebras, Pre-torsors and Galois comodules over mixed distributive laws, Smash coproducts of monoidal comonads and Hom-entwining structures, Distributive laws via admissibility, Natural state transformations, Liftungen von Tripeln, Distributive laws for the coinductive solution of recursive equations, Homomorphisms of higher categories, The weak theory of monads, Galois functors and entwining structures, Comodules and Corings, A computer-verified monadic functional implementation of the integral, Change of base for toposes with generators, Monads and comonads on module categories, On the relationship between composite and tensor product triples, Categories of Timed Stochastic Relations, The Vietoris monad and weak distributive laws, Distributive laws and Koszulness, Unnamed Item, Cost functors and optimal realization, A 2-Categories Companion, Similarities between powersets of terms, \(\vartheta\)-localizations and \(\vartheta\)-monads, A categorical approach to unification of generalised terms1 1This work has been developed as a cooperation organised within COST 274., A monadic approach to polycategories, A coherent approach to pseudomonads, On the differential graded Eilenberg-Moore construction, Multiplicative infinite loop space theory, A factorization of regularity, An extension of the regular completion, The formal theory of monads. II, Generalised bialgebras and entwined monads and comonads, Algebraic presentation of semifree monads, Monads of regular theories, Azumaya monads and comonads