Metric monads

DOI10.1017/S0960129521000220MaRDI QIDQ5076388zbMATH OpenOpenAlexFDO

Authors Jiří Rosický

Publication date 17 May 2022

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

metric spacemonadenriched categoryequational theoryPoset

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Ordered structures (06F99) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Enriched categories (over closed or monoidal categories) (18D20) Equational categories (18C05) Varieties (08B99)

Abstract: We develop universal algebra over an enriched category $mathcalK$ and relate it to finitary enriched monads over $mathcalK$. Using it, we deduce recent results about ordered universal algebra where inequations are used instead of equations. Then we apply it to metric universal algebra where quantitative equations are used instead of equations. This contributes to understanding of finitary monads on the category of metric spaces.

Recommendations

• The monad on strong quasi-metric spaces
• scientific article; zbMATH DE number 4097364
• Modular monadic meta-theory
• Monads in topology
• Monads and theories
• scientific article; zbMATH DE number 4189993
• scientific article; zbMATH DE number 1863401
• Monads on projective spaces
• Monads on projective spaces

Cites work

• scientific article; zbMATH DE number 3855352 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 3779582 (Why is no real title available?)
• scientific article; zbMATH DE number 19478 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 1373521 (Why is no real title available?)
• scientific article; zbMATH DE number 7297850 (Why is no real title available?)
• scientific article; zbMATH DE number 3287759 (Why is no real title available?)
• scientific article; zbMATH DE number 3319584 (Why is no real title available?)
• scientific article; zbMATH DE number 3360360 (Why is no real title available?)
• A probability monad as the colimit of spaces of finite samples
• Accessible Categories: The Foundations of Categorical Model Theory
• Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere
• Approximate injectivity
• Approximate injectivity and smallness in metric-enriched categories
• Are Banach spaces monadic?
• Computational effects and operations: an overview
• Enriched algebraic theories and monads for a system of arities
• Enriched factorization systems
• Lawvere theories enriched over a general base
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Metric abstract elementary classes as accessible categories
• Monads and theories
• Notions of Lawvere theory
• Notions of computation and monads
• On Categories of Monoids, Comonoids, and Bimonoids
• On finitary functors and their presentations
• Quantitative Algebraic Reasoning
• Quasi-varieties of metric algebras
• The category theoretic understanding of universal algebra: Lawvere theories and monads
• Varieties of ordered algebras
• \(\mathfrak V\)-Cat is locally presentable or locally bounded if \(\mathfrak V\) is so

Cited in

(5)

• An internal language for categories enriched over generalised metric spaces
• The syntactic side of autonomous categories enriched over generalised metric spaces
• A categorical view of varieties of ordered algebras
• Metric cotype
• Varieties of quantitative algebras and their monads

This page was built for publication: Metric monads

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