git.megacz.com Git - coq-categories.git/search

2011-04-11	Adam Megacz	add MonoidalFullSubcategory_Monoidal	commit \| commitdiff \| tree
2011-04-11	Adam Megacz	FullSubcategoryInclusionFunctor for a monoidal subcategory...	commit \| commitdiff \| tree
2011-04-11	Adam Megacz	add FullSubcategoryInclusionFunctor	commit \| commitdiff \| tree
2011-04-11	Adam Megacz	make EBinoidalCat action-on-objects a parameter instead...	commit \| commitdiff \| tree
2011-04-10	Adam Megacz	add natural-iso form of RestrictToImage_splits	commit \| commitdiff \| tree
2011-04-09	Adam Megacz	FreydCategories: add strictness requirement for unit...	commit \| commitdiff \| tree
2011-04-09	Adam Megacz	Isomorphisms: add alternative forms, useful for rewriting	commit \| commitdiff \| tree
2011-04-09	Adam Megacz	add functor_comp_assoc	commit \| commitdiff \| tree
2011-04-09	Adam Megacz	add a notation for composition of isomorphisms	commit \| commitdiff \| tree
2011-04-09	Adam Megacz	finish implementation of PreMonoidalFullsubcategory	commit \| commitdiff \| tree
2011-04-09	Adam Megacz	add RestrictDomain	commit \| commitdiff \| tree
2011-04-09	Adam Megacz	add MonoidalNaturalIsomorphism, MonoidalEquivalence...	commit \| commitdiff \| tree
2011-04-06	Adam Megacz	uncomment FullImage development	commit \| commitdiff \| tree
2011-04-06	Adam Megacz	add Notations.v	commit \| commitdiff \| tree
2011-04-06	Adam Megacz	remove reliance on General.v	commit \| commitdiff \| tree
2011-04-06	Adam Megacz	make the Functor of {Pre}MonoidalFunctor a parameter...	commit \| commitdiff \| tree
2011-04-05	Adam Megacz	PreMonoidalCategories: remove the very last [[admit]]	commit \| commitdiff \| tree
2011-04-05	Adam Megacz	add special case of ni_respects where one side is exactly...	commit \| commitdiff \| tree
2011-04-05	Adam Megacz	rename Retraction to RetractionOfCategories	commit \| commitdiff \| tree
2011-04-05	Adam Megacz	formatting fixes	commit \| commitdiff \| tree
2011-04-05	Adam Megacz	remove Arrows.v	commit \| commitdiff \| tree
2011-04-05	Adam Megacz	fix miscompilation errors introduced by recent changes	commit \| commitdiff \| tree
2011-04-05	Adam Megacz	flip around the pentagon to the opposite of Mac Lane...	commit \| commitdiff \| tree
2011-04-05	Adam Megacz	add proof of MacLane_ex_VII_1_1	commit \| commitdiff \| tree
2011-04-04	Adam Megacz	major revision: separate Subcategory into {Wide,Full...	commit \| commitdiff \| tree
2011-04-03	Adam Megacz	major revision: MonoidalCat is now a subclass of PreMonoidalCat	commit \| commitdiff \| tree
2011-04-03	Adam Megacz	Makefile: insist on native-compiled Coq	commit \| commitdiff \| tree
2011-04-03	Adam Megacz	add README	commit \| commitdiff \| tree
2011-03-11	Adam Megacz	initial checkin of coq-categories library	commit \| commitdiff \| tree

formalization of basic category theory in Coq

RSS Atom