scientific article; zbMATH DE number 7523908

MaRDI QIDQ5074667zbMATH OpenFDO

Authors Adriana Balan, Alexander Kurz

Publication date 9 May 2022

Full work available at URL https://arxiv.org/abs/2112.13290, http://imar.ro/journals/Revue_Mathematique/pdfs/2021/3-4/4.pdf

zbMATH Keywords

(co)complete enriched categorycompletely distributive quantale-enriched categoryenriched categoryquantaleweighted (co)limit

Mathematics Subject Classification ID

Complete distributivity (06D10) Quantales (06F07) Infinitary algebras (08A65) Preorders, orders, domains and lattices (viewed as categories) (18B35) Equational categories (18C05) Enriched categories (over closed or monoidal categories) (18D20)

Recommendations

• scientific article; zbMATH DE number 3939399
• Equational theories as congruences of enriched monoids
• Distributing equational theorem proving
• Equational Reasoning with Applicative Functors
• scientific article; zbMATH DE number 4089518
• An equational axiomatization of Post Almost Distributive Lattices
• A note on equational theories
• Equationally compact distributive lattices
• Equational axiomatization of algebras with structure
• scientific article; zbMATH DE number 67036

Cited in

(8)

• Metagories
• Approximation, solution operators and quantale-valued metrics
• scientific article; zbMATH DE number 55902 (Why is no real title available?)
• On Distributive Fixed-Point Expressions
• Boundedness and complete distributivity
• An internal language for categories enriched over generalised metric spaces
• An equational approach to enriched distributivity
• Equational theories as congruences of enriched monoids

This page was built for publication:

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