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

drwxr-xr-x		..
-rw-r--r--	1939	Adjoints_ch9.v	blob \| history \| raw
-rw-r--r--	11367	Algebras_ch4.v	blob \| history \| raw
-rw-r--r--	1799	BinoidalCategories.v	blob \| history \| raw
-rw-r--r--	3797	Categories_ch1_3.v	blob \| history \| raw
-rw-r--r--	312	CoEqualizers_ch3_4.v	blob \| history \| raw
-rw-r--r--	2185	Coherence_ch7_8.v	blob \| history \| raw
-rw-r--r--	17292	Enrichment_ch2_8.v	blob \| history \| raw
-rw-r--r--	1853	EpicMonic_ch2_1.v	blob \| history \| raw
-rw-r--r--	312	Equalizers_ch3_3.v	blob \| history \| raw
-rw-r--r--	786	EquivalentCategories_ch7_8.v	blob \| history \| raw
-rw-r--r--	218	Exponentials_ch6.v	blob \| history \| raw
-rw-r--r--	280	FreydAFT_ch9_8.v	blob \| history \| raw
-rw-r--r--	1775	FreydCategories.v	blob \| history \| raw
-rw-r--r--	3757	FunctorCategories_ch7_7.v	blob \| history \| raw
-rw-r--r--	5011	Functors_ch1_4.v	blob \| history \| raw
-rw-r--r--	2107	InitialTerminal_ch2_2.v	blob \| history \| raw
-rw-r--r--	4308	Isomorphisms_ch1_5.v	blob \| history \| raw
-rw-r--r--	276	KanExtension_ch9_6.v	blob \| history \| raw
-rw-r--r--	378	LCCCs_ch9_7.v	blob \| history \| raw
-rw-r--r--	1505	Main.v	blob \| history \| raw
-rw-r--r--	280	Monads_ch10.v	blob \| history \| raw
-rw-r--r--	6872	MonoidalCategories_ch7_8.v	blob \| history \| raw
-rw-r--r--	10454	NaturalIsomorphisms_ch7_5.v	blob \| history \| raw
-rw-r--r--	280	NaturalNumbersObject_ch9_8.v	blob \| history \| raw
-rw-r--r--	1856	NaturalTransformations_ch7_4.v	blob \| history \| raw
-rw-r--r--	5348	Notations.v	blob \| history \| raw
-rw-r--r--	3266	OppositeCategories_ch1_6_2.v	blob \| history \| raw
-rw-r--r--	30484	PreMonoidalCategories.v	blob \| history \| raw
-rw-r--r--	12140	PreMonoidalCenter.v	blob \| history \| raw
-rw-r--r--	280	Presheaves_ch9_7.v	blob \| history \| raw
-rw-r--r--	8075	ProductCategories_ch1_6_1.v	blob \| history \| raw
-rw-r--r--	5853	RepresentableStructure_ch7_2.v	blob \| history \| raw
-rw-r--r--	2662	SectionRetract_ch2_4.v	blob \| history \| raw
-rw-r--r--	2361	SliceCategories_ch1_6_4.v	blob \| history \| raw
-rw-r--r--	15201	Subcategories_ch7_1.v	blob \| history \| raw
-rw-r--r--	373	Yoneda_ch8.v	blob \| history \| raw