denotational-hardware icon indicating copy to clipboard operation
denotational-hardware copied to clipboard

Published 20 hours ago • verified publisher icon conal

Refinement

Open conal opened this issue 3 years ago • 0 comments

Can commutative diagrams (and thus comma categories) somehow capture refinement, in which the implementation is more specific than (and thus entails) the specification? If not, is there another category-theoretic notion that does subsume refinement?

conal avatar Jul 23 '21 14:07 conal