Index of /xml/Rocq/ALGEBRA/CATEGORY_THEORY/FUNCTOR/Functor

	Name	Last modified	Size	Description
	Parent Directory		-
	Comp_F/	2005-07-05 08:14	-
	funct_def/	2005-07-05 08:14	-
	funct_setoid/	2005-07-05 08:14	-
	FOb.con.types.xml.gz	2004-04-08 14:40	212
	FMap.con.types.xml.gz	2004-04-08 14:40	214
	FMor.con.types.xml.gz	2004-04-08 14:40	214
	Functor.ind.types.xml.gz	2004-04-08 14:40	215
	Fid_law.con.types.xml.gz	2004-04-08 14:40	219
	Comp_FOb.con.types.xml.gz	2004-04-08 14:40	221
	Fcomp_law.con.types.xml.gz	2004-04-08 14:40	222
	Functor_rec.con.types.xml.gz	2004-04-08 14:40	222
	Comp_FMor.con.types.xml.gz	2004-04-08 14:40	223
	Functor_rect.con.types.xml.gz	2004-04-08 14:40	224
	Comp_Functor.con.types.xml.gz	2004-04-08 14:40	225
	Equal_Functor.con.types.xml.gz	2004-04-08 14:40	228
	Functor_setoid.con.types.xml.gz	2004-04-08 14:40	228
	Fid_law.con.xml.gz	2004-04-08 14:40	283
	FId.con.body.xml.gz	2004-04-08 14:40	284
	Fcomp_law.con.xml.gz	2004-04-08 14:40	285
	FComp.con.body.xml.gz	2004-04-08 14:40	289
	Functor_setoid.con.xml.gz	2004-04-08 14:40	293
	Comp_Functor.con.xml.gz	2004-04-08 14:40	363
	Comp_FOb.con.xml.gz	2004-04-08 14:40	387
	FOb.con.xml.gz	2004-04-08 14:40	402
	Equal_Functor.con.xml.gz	2004-04-08 14:40	450
	Functor_rec.con.body.xml.gz	2004-04-08 14:40	450
	Functor_ind.con.body.xml.gz	2004-04-08 14:40	451
	Equal_Functor_equiv.con.xml.gz	2004-04-08 14:40	458
	Functor_setoid.con.body.xml.gz	2004-04-08 14:40	466
	Prf_Fid_law.con.xml.gz	2004-04-08 14:40	491
	Prf_Fcomp_law.con.xml.gz	2004-04-08 14:40	495
	Comp_FMap.con.xml.gz	2004-04-08 14:40	512
	Comp_FOb.con.body.xml.gz	2004-04-08 14:40	554
	Comp_FMap.con.body.xml.gz	2004-04-08 14:40	563
	FMor.con.xml.gz	2004-04-08 14:40	608
	Comp_Functor_id_law.con.xml.gz	2004-04-08 14:40	611
	Comp_Functor_comp_law.con.xml.gz	2004-04-08 14:40	615
	FMap.con.xml.gz	2004-04-08 14:40	635
	Comp_Functor.con.body.xml.gz	2004-04-08 14:40	642
	FId.con.xml.gz	2004-04-08 14:40	646
	FId1.con.xml.gz	2004-04-08 14:40	646
	Comp_FMap_law.con.xml.gz	2004-04-08 14:40	700
	FId1.con.body.xml.gz	2004-04-08 14:40	704
	Comp_FMor.con.xml.gz	2004-04-08 14:40	705
	FPres.con.body.xml.gz	2004-04-08 14:40	705
	Comp_FMor.con.body.xml.gz	2004-04-08 14:40	708
	FId.con.types.xml.gz	2004-04-08 14:40	773
	Fid_law.con.body.xml.gz	2004-04-08 14:40	773
	FMor.con.body.xml.gz	2004-04-08 14:40	777
	Comp_FMap.con.types.xml.gz	2004-04-08 14:40	803
	FPres.con.xml.gz	2004-04-08 14:40	838
	Functor.ind.xml.gz	2004-04-08 14:40	905
	FComp1.con.xml.gz	2004-04-08 14:40	1.0K
	FComp.con.xml.gz	2004-04-08 14:40	1.0K
	Equal_Functor.con.body.xml.gz	2004-04-08 14:40	1.0K
	Functor_rect.con.xml.gz	2004-04-08 14:40	1.0K
	FOb.con.body.xml.gz	2004-04-08 14:40	1.0K
	Functor_rec.con.xml.gz	2004-04-08 14:40	1.0K
	Functor_ind.con.xml.gz	2004-04-08 14:40	1.0K
	FComp1.con.body.xml.gz	2004-04-08 14:40	1.1K
	Prf_Fcomp_law.con.body.xml.gz	2004-04-08 14:40	1.1K
	Prf_Fid_law.con.body.xml.gz	2004-04-08 14:40	1.1K
	FComp.con.types.xml.gz	2004-04-08 14:40	1.1K
	Functor_rect.con.body.xml.gz	2004-04-08 14:40	1.1K
	FMap.con.body.xml.gz	2004-04-08 14:40	1.2K
	INDEX	2005-07-05 08:14	1.3K
	FId1.con.types.xml.gz	2004-04-08 14:40	1.3K
	Fcomp_law.con.body.xml.gz	2004-04-08 14:40	1.3K
	Prf_Fcomp_law.con.types.xml.gz	2004-04-08 14:40	1.3K
	Prf_Fid_law.con.types.xml.gz	2004-04-08 14:40	1.3K
	Functor_ind.con.types.xml.gz	2004-04-08 14:40	1.4K
	FPres.con.types.xml.gz	2004-04-08 14:40	1.5K
	Comp_Functor_id_law.con.body.xml.gz	2004-04-08 14:40	1.5K
	Comp_FMap_law.con.body.xml.gz	2004-04-08 14:40	1.8K
	FComp1.con.types.xml.gz	2004-04-08 14:40	2.3K
	Comp_Functor_comp_law.con.body.xml.gz	2004-04-08 14:40	2.8K
	Comp_Functor_id_law.con.types.xml.gz	2004-04-08 14:40	2.9K
	Comp_FMap_law.con.types.xml.gz	2004-04-08 14:40	3.2K
	Equal_Functor_equiv.con.body.xml.gz	2004-04-08 14:40	4.3K
	Comp_Functor_comp_law.con.types.xml.gz	2004-04-08 14:40	5.2K
	Equal_Functor_equiv.con.types.xml.gz	2004-04-08 14:40	6.7K