projects / coq-categories.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d490aac) | patch
make the codomain of the FreydCategory functor a parameter rather than a field
authorAdam Megacz <adam@megacz.com>
Tue, 22 Mar 2011 00:45:46 +0000 (17:45 -0700)
committerAdam Megacz <adam@megacz.com>
Tue, 22 Mar 2011 00:45:46 +0000 (17:45 -0700)
commitf4d377789a2265a19ff3d1dd65e87f570aef49c3
tree98fff851092479c9f3df847eb956d324e119b161tree | snapshot
parentd490aac37c55dcdaaf3fca152846f13acbb447c6commit | diff
make the codomain of the FreydCategory functor a parameter rather than a field
src/FreydCategories.v diff | blob | history
formalization of basic category theory in Coq