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

drwxr-xr-x		..
-rw-r--r--	1938	Adjoints_ch9.v	blob \| history \| raw
-rw-r--r--	11366	Algebras_ch4.v	blob \| history \| raw
-rw-r--r--	1798	BinoidalCategories.v	blob \| history \| raw
-rw-r--r--	3796	Categories_ch1_3.v	blob \| history \| raw
-rw-r--r--	311	CoEqualizers_ch3_4.v	blob \| history \| raw
-rw-r--r--	2184	Coherence_ch7_8.v	blob \| history \| raw
-rw-r--r--	17291	Enrichment_ch2_8.v	blob \| history \| raw
-rw-r--r--	1852	EpicMonic_ch2_1.v	blob \| history \| raw
-rw-r--r--	311	Equalizers_ch3_3.v	blob \| history \| raw
-rw-r--r--	785	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--	1774	FreydCategories.v	blob \| history \| raw
-rw-r--r--	3756	FunctorCategories_ch7_7.v	blob \| history \| raw
-rw-r--r--	5010	Functors_ch1_4.v	blob \| history \| raw
-rw-r--r--	2106	InitialTerminal_ch2_2.v	blob \| history \| raw
-rw-r--r--	4307	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--	1504	Main.v	blob \| history \| raw
-rw-r--r--	280	Monads_ch10.v	blob \| history \| raw
-rw-r--r--	6871	MonoidalCategories_ch7_8.v	blob \| history \| raw
-rw-r--r--	10453	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--	30483	PreMonoidalCategories.v	blob \| history \| raw
-rw-r--r--	12139	PreMonoidalCenter.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--	5852	RepresentableStructure_ch7_2.v	blob \| history \| raw
-rw-r--r--	2661	SectionRetract_ch2_4.v	blob \| history \| raw
-rw-r--r--	2360	SliceCategories_ch1_6_4.v	blob \| history \| raw
-rw-r--r--	16687	Subcategories_ch7_1.v	blob \| history \| raw
-rw-r--r--	373	Yoneda_ch8.v	blob \| history \| raw