Metric monads

DOI10.1017/S0960129521000220zbMath1497.18003arXiv2012.14641OpenAlexW4212778977MaRDI QIDQ5076388

Jiří Rosický

Publication date: 17 May 2022

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

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

zbMATH Keywords

metric spaceequational theoryenriched categorymonadPoset

Mathematics Subject Classification ID

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

Related Items

A categorical view of varieties of ordered algebras ⋮ The syntactic side of autonomous categories enriched over generalised metric spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notions of Lawvere theory
• Notions of computation and monads
• Varieties of ordered algebras
• Quasi-varieties of metric algebras
• Approximate injectivity
• Monads and theories
• Approximate injectivity and smallness in metric-enriched categories
• On finitary functors and their presentations
• Lawvere theories enriched over a general base
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Enriched algebraic theories and monads for a system of arities
• The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
• Enriched factorization systems
• On Categories of Monoids, Comonoids, and Bimonoids
• Accessible Categories: The Foundations of Categorical Model Theory
• A Probability Monad as the Colimit of Spaces of Finite Samples
• Quantitative Algebraic Reasoning
• Are Banach spaces monadic?
• METRIC ABSTRACT ELEMENTARY CLASSES AS ACCESSIBLE CATEGORIES