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

	Name	Last modified	Size	Description
	Parent Directory		-
	functor_prop/	2005-07-05 08:14	-
	comp_functor_prop/	2005-07-05 08:14	-
	Prf_isFull.con.xml.gz	2004-04-08 14:40	458
	Prf_isFull.con.types.xml.gz	2004-04-08 14:40	1.3K
	Prf_isFull.con.body.xml.gz	2004-04-08 14:40	1.1K
	Prf_isFaithful.con.xml.gz	2004-04-08 14:40	441
	Prf_isFaithful.con.types.xml.gz	2004-04-08 14:40	823
	Prf_isFaithful.con.body.xml.gz	2004-04-08 14:40	721
	IsFull_comp.con.xml.gz	2004-04-08 14:40	1.3K
	IsFull_comp.con.types.xml.gz	2004-04-08 14:40	6.0K
	IsFull_comp.con.body.xml.gz	2004-04-08 14:40	2.5K
	IsFaithful_comp.con.xml.gz	2004-04-08 14:40	596
	IsFaithful_comp.con.types.xml.gz	2004-04-08 14:40	4.8K
	IsFaithful_comp.con.body.xml.gz	2004-04-08 14:40	1.6K
	INDEX	2005-07-05 08:14	947
	Functor_preserves_iso.con.xml.gz	2004-04-08 14:40	757
	Functor_preserves_iso.con.types.xml.gz	2004-04-08 14:40	6.2K
	Functor_preserves_iso.con.body.xml.gz	2004-04-08 14:40	4.8K
	Full_rect.con.xml.gz	2004-04-08 14:40	1.0K
	Full_rect.con.types.xml.gz	2004-04-08 14:40	228
	Full_rect.con.body.xml.gz	2004-04-08 14:40	1.2K
	Full_rec.con.xml.gz	2004-04-08 14:40	1.0K
	Full_rec.con.types.xml.gz	2004-04-08 14:40	226
	Full_rec.con.body.xml.gz	2004-04-08 14:40	459
	Full_mor.con.xml.gz	2004-04-08 14:40	756
	Full_mor.con.types.xml.gz	2004-04-08 14:40	226
	Full_mor.con.body.xml.gz	2004-04-08 14:40	1.2K
	Full_law.con.xml.gz	2004-04-08 14:40	783
	Full_law.con.types.xml.gz	2004-04-08 14:40	230
	Full_law.con.body.xml.gz	2004-04-08 14:40	1.2K
	Full_ind.con.xml.gz	2004-04-08 14:40	1.0K
	Full_ind.con.types.xml.gz	2004-04-08 14:40	1.4K
	Full_ind.con.body.xml.gz	2004-04-08 14:40	459
	Full_functor.con.xml.gz	2004-04-08 14:40	418
	Full_functor.con.types.xml.gz	2004-04-08 14:40	231
	Full_functor.con.body.xml.gz	2004-04-08 14:40	1.0K
	Full.ind.xml.gz	2004-04-08 14:40	931
	Full.ind.types.xml.gz	2004-04-08 14:40	218
	Faithful_rect.con.xml.gz	2004-04-08 14:40	695
	Faithful_rect.con.types.xml.gz	2004-04-08 14:40	238
	Faithful_rect.con.body.xml.gz	2004-04-08 14:40	831
	Faithful_rec.con.xml.gz	2004-04-08 14:40	695
	Faithful_rec.con.types.xml.gz	2004-04-08 14:40	234
	Faithful_rec.con.body.xml.gz	2004-04-08 14:40	466
	Faithful_law.con.xml.gz	2004-04-08 14:40	429
	Faithful_law.con.types.xml.gz	2004-04-08 14:40	235
	Faithful_law.con.body.xml.gz	2004-04-08 14:40	1.0K
	Faithful_ind.con.xml.gz	2004-04-08 14:40	697
	Faithful_ind.con.types.xml.gz	2004-04-08 14:40	852
	Faithful_ind.con.body.xml.gz	2004-04-08 14:40	464
	Faithful_functor.con.xml.gz	2004-04-08 14:40	425
	Faithful_functor.con.types.xml.gz	2004-04-08 14:40	242
	Faithful_functor.con.body.xml.gz	2004-04-08 14:40	690
	Faithful.ind.xml.gz	2004-04-08 14:40	589
	Faithful.ind.types.xml.gz	2004-04-08 14:40	226