Index of /xml/Rocq/ALGEBRA/CATEGORY_THEORY/ADJUNCTION/Adjunction1

	Name	Last modified	Size	Description
	Parent Directory		-
	adj1_def/	2005-07-05 08:14	-
	adj1_to_adj/	2005-07-05 08:14	-
	adj_equiv/	2005-07-05 08:14	-
	adj_to_adj1/	2005-07-05 08:14	-
	Adj1.ind.types.xml.gz	2004-04-08 14:42	218
	Teta.con.types.xml.gz	2004-04-08 14:42	220
	A_eps.con.types.xml.gz	2004-04-08 14:42	222
	A_eta.con.types.xml.gz	2004-04-08 14:42	222
	Eq_Adj.con.types.xml.gz	2004-04-08 14:42	222
	Eq_Adj1.con.types.xml.gz	2004-04-08 14:42	224
	Teta_1.con.types.xml.gz	2004-04-08 14:42	224
	Adj1_rec.con.types.xml.gz	2004-04-08 14:42	225
	Unit_NT.con.types.xml.gz	2004-04-08 14:42	225
	Adj1_law1.con.types.xml.gz	2004-04-08 14:42	227
	Adj1_rect.con.types.xml.gz	2004-04-08 14:42	227
	Unit_tau.con.types.xml.gz	2004-04-08 14:42	227
	Adj1_law2.con.types.xml.gz	2004-04-08 14:42	228
	Teta_tau.con.types.xml.gz	2004-04-08 14:42	228
	Adj_to_Adj1.con.types.xml.gz	2004-04-08 14:42	229
	CoUnit_NT.con.types.xml.gz	2004-04-08 14:42	229
	CoUnit_tau.con.types.xml.gz	2004-04-08 14:42	231
	Teta_1_tau.con.types.xml.gz	2004-04-08 14:42	231
	Teta_arrow.con.types.xml.gz	2004-04-08 14:42	231
	Teta_1_arrow.con.types.xml.gz	2004-04-08 14:42	234
	Adj1_law1.con.xml.gz	2004-04-08 14:42	295
	Adj1_law2.con.xml.gz	2004-04-08 14:42	295
	Adj1_to_Adj.con.xml.gz	2004-04-08 14:42	390
	Adj_to_Adj1.con.xml.gz	2004-04-08 14:42	396
	Unit_and_CoUnit_law2.con.xml.gz	2004-04-08 14:42	448
	Unit_and_CoUnit_law1.con.xml.gz	2004-04-08 14:42	450
	Adj1_rec.con.body.xml.gz	2004-04-08 14:42	462
	Adj1_ind.con.body.xml.gz	2004-04-08 14:42	464
	Adj_to_Adj1.con.body.xml.gz	2004-04-08 14:42	484
	Eq_Adj.con.xml.gz	2004-04-08 14:42	486
	Eq_Adj1.con.xml.gz	2004-04-08 14:42	498
	Prf_Adj1_law1.con.xml.gz	2004-04-08 14:42	507
	Prf_Adj1_law2.con.xml.gz	2004-04-08 14:42	508
	Unit_NT.con.xml.gz	2004-04-08 14:42	522
	CoUnit_NT.con.xml.gz	2004-04-08 14:42	524
	Unit_nt_law.con.xml.gz	2004-04-08 14:42	563
	CoUnit_nt_law.con.xml.gz	2004-04-08 14:42	564
	A_eps.con.xml.gz	2004-04-08 14:42	572
	A_eta.con.xml.gz	2004-04-08 14:42	575
	Unit_NT.con.body.xml.gz	2004-04-08 14:42	596
	CoUnit_NT.con.body.xml.gz	2004-04-08 14:42	597
	Teta.con.xml.gz	2004-04-08 14:42	603
	Teta_1.con.xml.gz	2004-04-08 14:42	606
	Unit_tau.con.body.xml.gz	2004-04-08 14:42	629
	CoUnit_tau.con.body.xml.gz	2004-04-08 14:42	630
	CoUnit_tau.con.xml.gz	2004-04-08 14:42	781
	Unit_tau.con.xml.gz	2004-04-08 14:42	785
	Teta_tau_NT_law.con.xml.gz	2004-04-08 14:42	800
	Teta_1_tau_NT_law.con.xml.gz	2004-04-08 14:42	801
	Teta.con.body.xml.gz	2004-04-08 14:42	822
	Teta_1.con.body.xml.gz	2004-04-08 14:42	824
	Teta_1_tau.con.xml.gz	2004-04-08 14:42	904
	Adj1.ind.xml.gz	2004-04-08 14:42	914
	Teta_1_arrow_Map_law.con.xml.gz	2004-04-08 14:42	936
	Teta_tau.con.xml.gz	2004-04-08 14:42	936
	Teta_1_arrow.con.xml.gz	2004-04-08 14:42	966
	Teta_arrow_map_law.con.xml.gz	2004-04-08 14:42	967
	Teta_1_tau.con.body.xml.gz	2004-04-08 14:42	968
	Teta_arrow.con.xml.gz	2004-04-08 14:42	968
	Teta_tau.con.body.xml.gz	2004-04-08 14:42	1.0K
	Adj1_rect.con.xml.gz	2004-04-08 14:42	1.0K
	Adj1_rec.con.xml.gz	2004-04-08 14:42	1.0K
	Adj1_ind.con.xml.gz	2004-04-08 14:42	1.0K
	A_eta.con.body.xml.gz	2004-04-08 14:42	1.1K
	A_eps.con.body.xml.gz	2004-04-08 14:42	1.1K
	Prf_Adj1_law1.con.body.xml.gz	2004-04-08 14:42	1.1K
	Prf_Adj1_law2.con.body.xml.gz	2004-04-08 14:42	1.1K
	Teta_1_o_Teta.con.xml.gz	2004-04-08 14:42	1.1K
	Eq_Adj1.con.body.xml.gz	2004-04-08 14:42	1.1K
	Eq_Adj.con.body.xml.gz	2004-04-08 14:42	1.1K
	Adj1_rect.con.body.xml.gz	2004-04-08 14:42	1.2K
	Prf_Adj1_law1.con.types.xml.gz	2004-04-08 14:42	1.4K
	Prf_Adj1_law2.con.types.xml.gz	2004-04-08 14:42	1.4K
	Adj1_ind.con.types.xml.gz	2004-04-08 14:42	1.4K
	Teta_arrow.con.body.xml.gz	2004-04-08 14:42	1.5K
	Teta_1_arrow.con.body.xml.gz	2004-04-08 14:42	1.6K
	INDEX	2005-07-05 08:14	1.7K
	Adj1_law2.con.body.xml.gz	2004-04-08 14:42	1.7K
	Adj1_law1.con.body.xml.gz	2004-04-08 14:42	1.7K
	Teta_arrow_map_law.con.body.xml.gz	2004-04-08 14:42	2.2K
	Teta_1_arrow_Map_law.con.body.xml.gz	2004-04-08 14:42	2.3K
	Adj1_to_Adj.con.body.xml.gz	2004-04-08 14:42	2.4K
	Teta_1_arrow_Map_law.con.types.xml.gz	2004-04-08 14:42	4.1K
	Teta_arrow_map_law.con.types.xml.gz	2004-04-08 14:42	4.3K
	CoUnit_nt_law.con.body.xml.gz	2004-04-08 14:42	5.5K
	Unit_nt_law.con.body.xml.gz	2004-04-08 14:42	5.5K
	Adj1_to_Adj.con.types.xml.gz	2004-04-08 14:42	5.6K
	Unit_nt_law.con.types.xml.gz	2004-04-08 14:42	8.8K
	CoUnit_nt_law.con.types.xml.gz	2004-04-08 14:42	8.9K
	Unit_and_CoUnit_law1.con.body.xml.gz	2004-04-08 14:42	9.2K
	Unit_and_CoUnit_law2.con.body.xml.gz	2004-04-08 14:42	9.2K
	Unit_and_CoUnit_law1.con.types.xml.gz	2004-04-08 14:42	19K
	Unit_and_CoUnit_law2.con.types.xml.gz	2004-04-08 14:42	19K
	Teta_tau_NT_law.con.body.xml.gz	2004-04-08 14:42	38K
	Teta_1_tau_NT_law.con.body.xml.gz	2004-04-08 14:42	49K
	Teta_1_o_Teta.con.body.xml.gz	2004-04-08 14:42	63K
	Teta_tau_NT_law.con.types.xml.gz	2004-04-08 14:42	77K
	Teta_1_tau_NT_law.con.types.xml.gz	2004-04-08 14:42	91K
	Teta_1_o_Teta.con.types.xml.gz	2004-04-08 14:42	121K