git.megacz.com Git - coq-categories.git/commit - src/MonoidalCategories_ch7_8.v

projects / coq-categories.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 27ffdd2) | patch

author	Adam Megacz <megacz@cs.berkeley.edu>
	Mon, 4 Apr 2011 02:06:03 +0000 (02:06 +0000)
committer	Adam Megacz <megacz@cs.berkeley.edu>
	Mon, 4 Apr 2011 02:06:03 +0000 (02:06 +0000)
commit	e928451c4c45cdbdd975bbfb229e8cc2616b8194
tree	0aaf09547f2e3dfc77f596400b092da420210b73	tree \| snapshot
parent	27ffdd2265eb1c15acc62970f49d25a07bcadb05	commit \| diff

major revision: separate Subcategory into {Wide,Full}Subcategory

12 files changed:

README		diff \| blob \| history
src/Enrichment_ch2_8.v		diff \| blob \| history
src/FreydCategories.v		diff \| blob \| history
src/General.v-	[deleted file]	blob \| history
src/InitialTerminal_ch2_2.v		diff \| blob \| history
src/Isomorphisms_ch1_5.v		diff \| blob \| history
src/MonoidalCategories_ch7_8.v		diff \| blob \| history
src/NaturalIsomorphisms_ch7_5.v		diff \| blob \| history
src/PreMonoidalCategories.v		diff \| blob \| history
src/PreMonoidalCenter.v		diff \| blob \| history
src/Preamble.v-	[deleted file]	blob \| history
src/Subcategories_ch7_1.v		diff \| blob \| history

formalization of basic category theory in Coq