An algebraic formulation for data refinement
- 17 August 2006
- book chapter
- Published by Springer Nature
- p. 390-401
- https://doi.org/10.1007/bfb0040270
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Two-dimensional monad theoryJournal of Pure and Applied Algebra, 1989
- A presentation of topoi as algebraic relative to categories or graphsJournal of Algebra, 1983
- Formal Category Theory: Adjointness for 2-CategoriesLecture Notes in Mathematics, 1974
- Lokal präsentierbare KategorienLecture Notes in Mathematics, 1971