Index of /xml/Rocq/ALGEBRA/CATEGORY_THEORY/LIMITS/CoLimit

	Name	Last modified	Size	Description
	Parent Directory		-
	colimit_def/	2005-07-05 08:14	-
	def_cocone/	2005-07-05 08:14	-
	Colim.con.types.xml.gz	2004-04-08 14:41	213
	Colimit.ind.types.xml.gz	2004-04-08 14:41	214
	CoCone.con.types.xml.gz	2004-04-08 14:41	215
	CoLimit_eq.con.types.xml.gz	2004-04-08 14:41	219
	IsColimit.ind.types.xml.gz	2004-04-08 14:41	219
	Cocomplete.con.types.xml.gz	2004-04-08 14:41	221
	CoCone_law.con.types.xml.gz	2004-04-08 14:41	222
	Colimit_rec.con.types.xml.gz	2004-04-08 14:41	222
	CoLimit_law1.con.types.xml.gz	2004-04-08 14:41	223
	CoLimit_law2.con.types.xml.gz	2004-04-08 14:41	223
	Colim_diese.con.types.xml.gz	2004-04-08 14:41	224
	Colimit_rect.con.types.xml.gz	2004-04-08 14:41	224
	Id_CoCone_NT.con.types.xml.gz	2004-04-08 14:41	225
	IsColimit_rec.con.types.xml.gz	2004-04-08 14:41	226
	Prf_IsColimit.con.types.xml.gz	2004-04-08 14:41	226
	IsColimit_rect.con.types.xml.gz	2004-04-08 14:41	228
	Limiting_cocone.con.types.xml.gz	2004-04-08 14:41	229
	CoCone.con.xml.gz	2004-04-08 14:41	267
	CoCone_law.con.xml.gz	2004-04-08 14:41	284
	Co_EqC.con.body.xml.gz	2004-04-08 14:41	292
	CoLimit_law1.con.xml.gz	2004-04-08 14:41	301
	Build_CoCone.con.xml.gz	2004-04-08 14:41	302
	CoLimit_law2.con.xml.gz	2004-04-08 14:41	302
	Cocomplete.con.xml.gz	2004-04-08 14:41	314
	Colim.con.xml.gz	2004-04-08 14:41	385
	Colimit_rec.con.body.xml.gz	2004-04-08 14:41	454
	Colimit_ind.con.body.xml.gz	2004-04-08 14:41	455
	CoCone.con.body.xml.gz	2004-04-08 14:41	461
	IsColimit_rec.con.body.xml.gz	2004-04-08 14:41	472
	IsColimit_ind.con.body.xml.gz	2004-04-08 14:41	474
	Prf_colimit1.con.xml.gz	2004-04-08 14:41	491
	Prf_colimit2.con.xml.gz	2004-04-08 14:41	491
	Prf_IsColimit.con.xml.gz	2004-04-08 14:41	497
	Build_CoCone.con.types.xml.gz	2004-04-08 14:41	505
	Limiting_cocone.con.xml.gz	2004-04-08 14:41	508
	Id_CoCone_NT.con.xml.gz	2004-04-08 14:41	529
	Cocomplete.con.body.xml.gz	2004-04-08 14:41	556
	Prf_CoCone_nt_law.con.xml.gz	2004-04-08 14:41	562
	Build_CoCone.con.body.xml.gz	2004-04-08 14:41	578
	CoLimit_law1.con.body.xml.gz	2004-04-08 14:41	605
	CoLimit_eq.con.xml.gz	2004-04-08 14:41	606
	Eq_coCone.con.xml.gz	2004-04-08 14:41	612
	Colim_diese.con.xml.gz	2004-04-08 14:41	622
	Id_CoCone_NT.con.body.xml.gz	2004-04-08 14:41	629
	Colimit.ind.xml.gz	2004-04-08 14:41	670
	Colim.con.body.xml.gz	2004-04-08 14:41	762
	CoLimit_law2.con.body.xml.gz	2004-04-08 14:41	763
	Colimit_rec.con.xml.gz	2004-04-08 14:41	791
	Colimit_rect.con.xml.gz	2004-04-08 14:41	791
	Colimit_ind.con.xml.gz	2004-04-08 14:41	796
	IsColimit.ind.xml.gz	2004-04-08 14:41	826
	Limiting_cocone.con.body.xml.gz	2004-04-08 14:41	831
	Prf_IsColimit.con.body.xml.gz	2004-04-08 14:41	844
	CoCone_law.con.body.xml.gz	2004-04-08 14:41	884
	Colimit_rect.con.body.xml.gz	2004-04-08 14:41	923
	Cldiese_map.con.xml.gz	2004-04-08 14:41	942
	IsColimit_rec.con.xml.gz	2004-04-08 14:41	962
	IsColimit_rect.con.xml.gz	2004-04-08 14:41	962
	IsColimit_ind.con.xml.gz	2004-04-08 14:41	964
	Prf_colimit1.con.body.xml.gz	2004-04-08 14:41	1.0K
	Prf_colimit2.con.body.xml.gz	2004-04-08 14:41	1.0K
	Colimit_ind.con.types.xml.gz	2004-04-08 14:41	1.0K
	Colim_diese.con.body.xml.gz	2004-04-08 14:41	1.0K
	IsColimit_rect.con.body.xml.gz	2004-04-08 14:41	1.1K
	Prf_colimit1.con.types.xml.gz	2004-04-08 14:41	1.1K
	Prf_colimit2.con.types.xml.gz	2004-04-08 14:41	1.1K
	IsColimit_ind.con.types.xml.gz	2004-04-08 14:41	1.2K
	Co_EqC.con.xml.gz	2004-04-08 14:41	1.3K
	CoLimit_eq.con.body.xml.gz	2004-04-08 14:41	1.3K
	Co_EqC1.con.xml.gz	2004-04-08 14:41	1.3K
	INDEX	2005-07-05 08:14	1.3K
	Co_EqC1.con.body.xml.gz	2004-04-08 14:41	1.4K
	Prf_CoCone_nt_law.con.body.xml.gz	2004-04-08 14:41	1.4K
	Co_EqC.con.types.xml.gz	2004-04-08 14:41	1.4K
	Eq_coCone.con.body.xml.gz	2004-04-08 14:41	1.7K
	Cldiese_map.con.body.xml.gz	2004-04-08 14:41	1.8K
	Co_EqC1.con.types.xml.gz	2004-04-08 14:41	2.8K
	Cldiese_map.con.types.xml.gz	2004-04-08 14:41	3.6K
	Eq_coCone.con.types.xml.gz	2004-04-08 14:41	3.8K
	Prf_CoCone_nt_law.con.types.xml.gz	2004-04-08 14:41	4.2K