An algebraic formulation for data refinement

DOI10.1007/BFb0040270OpenAlexW2128285030MaRDI QIDQ5887529

A. John Power

Publication date: 12 April 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0040270

zbMATH Keywords

natural transformationalgebraic formulationleft adjointfinite productnatural isomorphism

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

Enrichment through variation ⋮ Lax naturality through enrichment ⋮ Logic programming: laxness and saturation ⋮ Category Theoretic Models of Data Refinement ⋮ Algebraic structure for bicategory enriched categories ⋮ Gabriel-Ulmer duality for categories enriched in bicategories

Cites Work

• A presentation of topoi as algebraic relative to categories or graphs
• Two-dimensional monad theory
• Formal category theory: Adjointness for 2-categories
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Unnamed Item
• Unnamed Item

This page was built for publication: An algebraic formulation for data refinement