Metric monads

DOI10.1017/S0960129521000220zbMATH Open1497.18003arXiv2012.14641OpenAlexW4212778977MaRDI QIDQ5076388FDOQ5076388

Authors: Jiří Rosický 

Publication date: 17 May 2022

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

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.

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

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

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)

Cites Work

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

Cited In (5)

• An internal language for categories enriched over generalised metric spaces
• The syntactic side of autonomous categories enriched over generalised metric spaces
• Metric cotype
• A categorical view of varieties of ordered algebras
• 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)