CAT axioms CAT001-0.ax Category theory axioms defined(x, y) ⇒ x · y=x ◦ y cnf(closure of composition, axiom) x · y=z ⇒ defined(x, y) cnf(associative property1 , axiom) - Category theory - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2017-03-18 22:03:46		CAT axioms CAT001-0.ax Category theory axioms defined(x, y) ⇒ x · y=x ◦ y cnf(closure of composition, axiom) x · y=z ⇒ defined(x, y) cnf(associative property1 , axiom) Add to Reading List Source URL: math.chapman.edu Download Document from Source Website File Size: 62,35 KB Share Document on Facebook