Generalized Płonka sums and products

DOI10.1007/S10485-013-9364-1MaRDI QIDQ2254602zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Marek Zawadowski

Publication date 5 February 2015

Published in Applied Categorical Structures (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1210.7514

zbMATH Keywords

analytic monad morphism of monads Płonka sum semi-analytic monad

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Structure theory of algebraic structures (08A05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Abstract: We give an abstract categorical treatment of Plonka sums and products using lax and oplax morphisms of monads. Plonka sums were originally defined as operations on algebras of regular theories. Their arities are sup-semilattices. It turns out that even more general operations are available on the categories of algebras of semi-analytic monads. Their arities are the categories of the regular polynomials over any sup-semilattice, i.e. any algebra for the terminal semi-analytic monad. We also show that similar operations can be defined on any category of algebras of any analytic monad. This time we can allow the arities to be the categories of linear polynomials over any commutative monoid, i.e. any algebra for the terminal analytic monad. There are also dual operations of Plonka products. They can be defined on Kleisli categories of commutative monads.

Review text

The paper gives an abstract categorical treatment of Płonka sums and products using lax and oplax morphisms of monads. Płonka sums with sup-semilattices as arities were originally defined as operations on algebras of regular theories. It turns out that even more general operations are available on the categories of algebras of semi-analytic monads. Their arities are the categories of the regular polynomials over any sup-semilattice, i.e. any algebra for the terminal semi-analytic monad. The author shows that similar operations can be defined on the category of algebras of any analytic monad by allowing the arities to be the categories of linear polynomials over any commutative monoid, i.e. any algebra for the terminal analytic monad. There are also dual operations of Płonka products that can be defined on Kleisli categories of commutative monads.

Recommendations

Cites work

Cited in

(4)

This page was built for publication: Generalized Płonka sums and products

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2254602)