scientific article; zbMATH DE number 3296291

zbMATH Open0186.02902MaRDI QIDQ5579535FDOQ5579535

Authors: Jon M. Beck 

Publication date: 1969

Title of this publication is not available (Why is that?)

zbMATH Keywords

general algebraic structures

Cited In (only showing first 100 items - show all)

• Backtracking with cut via a distributive law and left-zero monoids
• Polyhedral monadicity of \(n\)-groupoids and standardized adjunction
• Algebraic presentation of semifree monads
• Iterated covariant powerset is not a monad
• A monadic approach to polycategories
• On the relationship between composite and tensor product triples
• Natural state transformations
• The Vietoris monad and weak distributive laws
• On the differential graded Eilenberg-Moore construction
• Graphical combinatorics and a distributive law for modular operads
• Braided mixed datums and their applications on Hom-quantum groups
• Generalized Płonka sums and products
• Distributive laws via admissibility
• Galois functors and entwining structures
• An extension of the regular completion
• Smash coproducts of monoidal comonads and Hom-entwining structures
• Biwreaths: a self-contained system in a 2-category that encodes different known algebraic constructions and gives rise to new ones
• Azumaya monads and comonads
• Weakest preconditions in fibrations
• Cartesian integral categories and contextual integral categories
• Near distributive laws
• Semi-topological functors III: Lifting of monads and adjoint functors
• Weak units, universal cells, and coherence via universality for bicategories
• Discrete random variables over domains
• Distributive laws between the Three Graces
• Resolutions of operads via Koszul (bi)algebras
• Monads of regular theories
• Anatomy of a domain of continuous random variables. I
• Understanding the small object argument
• Ambiguity and incomplete information in categorical models of language
• Categories of timed stochastic relations
• Liftungen von Tripeln
• Wreaths, mixed wreaths and twisted coactions
• No-iteration mixed distributive laws
• Title not available (Why is that?)
• Completing simple valuations in K-categories
• Title not available (Why is that?)
• Unifying structured recursion schemes. An extended study
• Representations of crossed modules and other generalized Yetter-Drinfel'd modules
• Divided power algebras and distributive laws
• Quantalic topological theories
• Semientwining structures and their applications.
• A basic distributive law
• Cost functors and optimal realization
• Quasi-bimonads and their representations
• Weighted models for higher-order computation
• Title not available (Why is that?)
• Combinatorial structure of type dependency
• Lattices do not distribute over powerset
• Presentations and algebraic colimits of enriched monads for a subcategory of arities
• Coherence for product monoids and their actions
• A factorization of regularity
• A topological perspective on interacting algebraic theories
• Azumaya algebras as Galois comodules.
• On the formal theory of pseudomonads and pseudodistributive laws
• A coalgebraic take on regular and \(\omega\)-regular behaviour for systems with internal moves
• Differential 2-rigs
• Runners for interleaving algebraic effects
• Weakest preconditions in fibrations
• Jets and differential linear logic
• Weak vertical composition. II: Totalities
• Pivotality, twisted centres, and the anti-double of a Hopf monad
• The Power-Set Construction for Tree Algebras
• Monadic monadic second order logic
• The Expression Lemma
• Eilenberg-Moore monoids and backtracking monad transformers
• Lax Liftings and Lax Distributive Laws
• Algebraic theories of power operations
• Comodules and Corings
• A trustful monad for axiomatic reasoning with probability and nondeterminism
• Title not available (Why is that?)
• Sum and tensor of quantitative effects
• Lifting coalgebra modalities and \textsf{MELL} model structure to Eilenberg-Moore categories
• Lifting coalgebra modalities and IMELL model structure to Eilenberg-Moore categories
• Adding a constant and an axiom to a doctrine
• On functors preserving projective resolutions
• Canonical automata via distributive law homomorphisms
• Monads for measurable queries in probabilistic databases
• Semialgebras and weak distributive laws
• On Amitsur cohomology of monads
• Title not available (Why is that?)
• Convexity via Weak Distributive Laws
• Correspondence between composite theories and distributive laws
• On quasi-monoidal comonads and their corepresentations
• A monad for probabilistic point processes
• Product rules and distributive laws
• BOCSES over small linear categories and corings
• Noncommutative fibrations
• Strictification tensor product of 2-categories
• Determinisation of Relational Substitutions in Ordered Categories with Domain
• Distributive laws and Koszulness
• Distributive laws for the coinductive solution of recursive equations
• Title not available (Why is that?)
• Examples of para-cocyclic objects induced by \(BD\)-laws
• On quasi-Hopf smash products and twisted tensor products of quasialgebras.
• Hopf monads: a survey with new examples and applications
• Pre-torsors and Galois comodules over mixed distributive laws
• Resource modalities in tensor logic
• Entwining structures in monoidal categories
• Monad interleaving: a construction of the operad for Leinster's weak \(\omega \)-categories

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)