coq-categories.git
10 years agoIsomorphicCategories: make the components fields, not methods
Adam Megacz [Sun, 27 Mar 2011 19:22:28 +0000 (12:22 -0700)]
IsomorphicCategories: make the components fields, not methods

10 years agoadd SurjectiveEnrichment to SMME
Adam Megacz [Sun, 27 Mar 2011 19:22:12 +0000 (12:22 -0700)]
add SurjectiveEnrichment to SMME

10 years agopartial implementation of MonoidalFunctorsCompose
Adam Megacz [Sun, 27 Mar 2011 02:13:15 +0000 (19:13 -0700)]
partial implementation of MonoidalFunctorsCompose

10 years agofix typo
Adam Megacz [Sat, 26 Mar 2011 08:39:02 +0000 (01:39 -0700)]
fix typo

10 years agoadd Retraction, SMME, make Enrichment a parameter
Adam Megacz [Sat, 26 Mar 2011 07:06:26 +0000 (00:06 -0700)]
add Retraction, SMME, make Enrichment a parameter

10 years agoadd func_diagonal, fix naturality for DiagonalCat
Adam Megacz [Fri, 25 Mar 2011 23:41:07 +0000 (16:41 -0700)]
add func_diagonal, fix naturality for DiagonalCat

10 years agofix Freyd Categories
Adam Megacz [Fri, 25 Mar 2011 23:16:27 +0000 (16:16 -0700)]
fix Freyd Categories

10 years agofix naturality conditions on braided and diagonal categories, add CenterMonoidal
Adam Megacz [Fri, 25 Mar 2011 23:16:19 +0000 (16:16 -0700)]
fix naturality conditions on braided and diagonal categories, add CenterMonoidal

10 years agobase CartesianCat on MonoidalCat, not PreMonoidalCat
Adam Megacz [Fri, 25 Mar 2011 18:18:51 +0000 (11:18 -0700)]
base CartesianCat on MonoidalCat, not PreMonoidalCat

10 years agoupdate imports in EquivalentCategories
Adam Megacz [Fri, 25 Mar 2011 16:59:25 +0000 (09:59 -0700)]
update imports in EquivalentCategories

10 years agoremove CategoryOfCategories, which isnt ready yet
Adam Megacz [Fri, 25 Mar 2011 16:58:55 +0000 (09:58 -0700)]
remove CategoryOfCategories, which isnt ready yet

10 years agomake the codomain of the FreydCategory functor a parameter rather than a field
Adam Megacz [Tue, 22 Mar 2011 00:45:46 +0000 (17:45 -0700)]
make the codomain of the FreydCategory functor a parameter rather than a field

10 years agoadd formalization of Arrows and Freyd Categories
Adam Megacz [Mon, 21 Mar 2011 01:53:23 +0000 (18:53 -0700)]
add formalization of Arrows and Freyd Categories

10 years agorename General/Preamble to avoid conflict with ghc-hetmet
Adam Megacz [Mon, 21 Mar 2011 01:53:02 +0000 (18:53 -0700)]
rename General/Preamble to avoid conflict with ghc-hetmet

10 years agoinitial checkin of coq-categories library
Adam Megacz [Fri, 11 Mar 2011 07:59:30 +0000 (23:59 -0800)]
initial checkin of coq-categories library