Infinitary addition, real numbers, and taut monads

DOI10.1007/S10485-018-9524-4MaRDI QIDQ1794282zbMATH OpenOpenAlexWikidataFDO

Authors George Janelidze, Ross H. Street

Publication date 15 October 2018

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

Full work available at URL https://doi.org/10.1007/s10485-018-9524-4

cardinal algebra commutative monoid infinitary addition lextensive category monoidal category positive reals series monoid summation taut monad

Mathematics Subject Classification ID

Infinitary algebras (08A65) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Commutative semigroups (20M14) Connections of semigroups with homological algebra and category theory (20M50) General summability methods (40C99)

Review text

A \textit{series monoid} is a triple \((A,0,\Sigma)\) in which \(A\) is a set, \(0\) an element in \(A\), and \(\Sigma\colon A^{\mathbb{N}}\to A\) a map written as \((a_i)_{i\in \mathbb{N}}\mapsto \Sigma_{i\in \mathbb{N}}a_i\) satifying certain identities. A series monoid satisfying certain conditions is called a \textit{cardinal algebra}. An \textit{analytic monoid} is a system \((A, 0, \Sigma, \preceq)\) in which 1) \((A, 0, \Sigma)\) is a series monoid and \((A,\preceq)\) is an ordered set with the smallest element \(0\) and 2) \((\forall_{n\in \mathbb{N}}\Sigma_{i<n}a_i\preceq b)\Rightarrow \Sigma_{n\in \mathbb{N}}a_i\preceq b\) holds for every \((a_i)_{i\in \mathbb{N}}\). A number of properties of series monoids and analytic monoids are derived. A morphism \(f\colon A\to C\) in a category \(\mathcal{X}\) is called an \textit{injection} when there exists a morphism \(g\colon B\to C\) such that \(A\xrightarrow{f} C\xleftarrow{g} B\) is a coproduct diagram. A monad \((T,\eta,\mu)\) on a category \(\mathcal{X}\) with finite coproducts satisfying certain conditions is called an \textit{injection taut monad}. A general construction for algebras over an injection taut monad on a lextensive category is presented. Studying of series monoids of isomorphism classes of objects in a series monoidal category is suggested. The authors also provide a number of examples.

Recommendations

Cites work

Cited in

(1)

Real sets

This page was built for publication: Infinitary addition, real numbers, and taut monads

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