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

drwxr-xr-x		..
-rw-r--r--	1938	Adjoints_ch9.v	blob \| history \| raw
-rw-r--r--	11386	Algebras_ch4.v	blob \| history \| raw
-rw-r--r--	45211	Arrows.v	blob \| history \| raw
-rw-r--r--	3820	Categories_ch1_3.v	blob \| history \| raw
-rw-r--r--	335	CoEqualizers_ch3_4.v	blob \| history \| raw
-rw-r--r--	2208	Coherence_ch7_8.v	blob \| history \| raw
-rw-r--r--	17793	Enrichment_ch2_8.v	blob \| history \| raw
-rw-r--r--	1876	EpicMonic_ch2_1.v	blob \| history \| raw
-rw-r--r--	335	Equalizers_ch3_3.v	blob \| history \| raw
-rw-r--r--	767	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--	1588	FreydCategories.v	blob \| history \| raw
-rw-r--r--	3756	FunctorCategories_ch7_7.v	blob \| history \| raw
-rw-r--r--	5034	Functors_ch1_4.v	blob \| history \| raw
-rw-r--r--	17093	General.v-	blob \| history \| raw
-rw-r--r--	1096	InitialTerminal_ch2_2.v	blob \| history \| raw
-rw-r--r--	3864	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--	1439	Main.v	blob \| history \| raw
-rw-r--r--	280	Monads_ch10.v	blob \| history \| raw
-rw-r--r--	21811	MonoidalCategories_ch7_8.v	blob \| history \| raw
-rw-r--r--	10091	NaturalIsomorphisms_ch7_5.v	blob \| history \| raw
-rw-r--r--	280	NaturalNumbersObject_ch9_8.v	blob \| history \| raw
-rw-r--r--	1855	NaturalTransformations_ch7_4.v	blob \| history \| raw
-rw-r--r--	3265	OppositeCategories_ch1_6_2.v	blob \| history \| raw
-rw-r--r--	8389	Preamble.v-	blob \| history \| raw
-rw-r--r--	280	Presheaves_ch9_7.v	blob \| history \| raw
-rw-r--r--	8074	ProductCategories_ch1_6_1.v	blob \| history \| raw
-rw-r--r--	7562	RepresentableStructure_ch7_2.v	blob \| history \| raw
-rw-r--r--	2092	SectionRetract_ch2_4.v	blob \| history \| raw
-rw-r--r--	2360	SliceCategories_ch1_6_4.v	blob \| history \| raw
-rw-r--r--	12914	Subcategories_ch7_1.v	blob \| history \| raw
-rw-r--r--	373	Yoneda_ch8.v	blob \| history \| raw