projects / coq-categories.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 57dfee5) | patch
FreydCategories: add strictness requirement for unit object
authorAdam Megacz <megacz@cs.berkeley.edu>
Sat, 9 Apr 2011 09:00:03 +0000 (09:00 +0000)
committerAdam Megacz <megacz@cs.berkeley.edu>
Sat, 9 Apr 2011 09:00:03 +0000 (09:00 +0000)
commit658181bed516646957267b055341d9d4b197ed0d
tree75590eb3039c61574b72c0736c138938ccc5f0f5tree | snapshot
parent57dfee583c84915cb6b3aadfa1dba692681499b3commit | diff
FreydCategories: add strictness requirement for unit object
src/FreydCategories.v diff | blob | history
formalization of basic category theory in Coq