projects / coq-categories.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5f3bdb7) | patch
make the Functor of {Pre}MonoidalFunctor a parameter rather than a field
authorAdam Megacz <megacz@cs.berkeley.edu>
Wed, 6 Apr 2011 04:26:37 +0000 (04:26 +0000)
committerAdam Megacz <megacz@cs.berkeley.edu>
Wed, 6 Apr 2011 04:26:37 +0000 (04:26 +0000)
commit9acb9b7b4ed12543e54c39c82d7b0f34d04d0207
treecc0aedc093975d8163c410d69aa9e8dba0fb9ba4tree | snapshot
parent5f3bdb7947de02d8d60f1af77c999a3c80f7dbbacommit | diff
make the Functor of {Pre}MonoidalFunctor a parameter rather than a field
src/MonoidalCategories_ch7_8.v diff | blob | history
src/PreMonoidalCategories.v diff | blob | history
formalization of basic category theory in Coq