Index of /xml/Sophia-Antipolis/Algebra/Sets

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]Sets1/2006-03-28 19:04 -  
[ ]Ap.con.types.xml.gz2006-03-28 19:04 194  
[ ]Map.ind.types.xml.gz2006-03-28 19:04 196  
[ ]MAP.con.types.xml.gz2006-03-28 19:04 197  
[ ]Equal.con.types.xml.gz2006-03-28 19:04 201  
[ ]Setoid.ind.types.xml.gz2006-03-28 19:04 201  
[ ]Carrier.con.types.xml.gz2006-03-28 19:04 204  
[ ]Map_eq.con.types.xml.gz2006-03-28 19:04 204  
[ ]Map_rec.con.types.xml.gz2006-03-28 19:04 205  
[ ]Rel_fun.con.types.xml.gz2006-03-28 19:04 205  
[ ]Relation.ind.types.xml.gz2006-03-28 19:04 205  
[ ]app_rel.con.types.xml.gz2006-03-28 19:04 205  
[ ]quotient.con.types.xml.gz2006-03-28 19:04 205  
[ ]relation.con.types.xml.gz2006-03-28 19:04 206  
[ ]Map_rect.con.types.xml.gz2006-03-28 19:04 207  
[ ]bijective.con.types.xml.gz2006-03-28 19:04 207  
[ ]injective.con.types.xml.gz2006-03-28 19:04 207  
[ ]reflexive.con.types.xml.gz2006-03-28 19:04 207  
[ ]symmetric.con.types.xml.gz2006-03-28 19:04 207  
[ ]transitive.con.types.xml.gz2006-03-28 19:04 208  
[ ]Setoid_rec.con.types.xml.gz2006-03-28 19:04 209  
[ ]surjective.con.types.xml.gz2006-03-28 19:04 209  
[ ]Setoid_rect.con.types.xml.gz2006-03-28 19:04 211  
[ ]equivalence.con.types.xml.gz2006-03-28 19:04 212  
[ ]comp_map_map.con.types.xml.gz2006-03-28 19:04 213  
[ ]Relation_rec.con.types.xml.gz2006-03-28 19:04 214  
[ ]comp_map_fun.con.types.xml.gz2006-03-28 19:04 214  
[ ]Relation_rect.con.types.xml.gz2006-03-28 19:04 216  
[ ]rel_compatible.con.types.xml.gz2006-03-28 19:04 216  
[ ]fun_compatible.con.types.xml.gz2006-03-28 19:04 217  
[ ]partial_equivalence.con.types.xml.gz2006-03-28 19:04 226  
[ ]relation.con.xml.gz2006-03-28 19:04 253  
[ ]MAP.con.xml.gz2006-03-28 19:04 269  
[ ]quotient.con.xml.gz2006-03-28 19:04 271  
[ ]Carrier.con.xml.gz2006-03-28 19:04 299  
[ ]Leibnitz_set.con.xml.gz2006-03-28 19:04 323  
[ ]Map_eq.con.xml.gz2006-03-28 19:04 334  
[ ]symmetric.con.xml.gz2006-03-28 19:04 348  
[ ]reflexive.con.xml.gz2006-03-28 19:04 351  
[ ]transitive.con.xml.gz2006-03-28 19:04 353  
[ ]equivalence.con.xml.gz2006-03-28 19:04 354  
[ ]MAP.con.body.xml.gz2006-03-28 19:04 363  
[ ]partial_equivalence.con.xml.gz2006-03-28 19:04 368  
[ ]relation.con.body.xml.gz2006-03-28 19:04 368  
[ ]app_rel.con.xml.gz2006-03-28 19:04 373  
[ ]Ap.con.xml.gz2006-03-28 19:04 382  
[ ]Rel_fun.con.xml.gz2006-03-28 19:04 384  
[ ]comp_map_fun.con.xml.gz2006-03-28 19:04 384  
[ ]comp_map_map.con.xml.gz2006-03-28 19:04 384  
[ ]Equal.con.xml.gz2006-03-28 19:04 385  
[ ]rel_compatible.con.xml.gz2006-03-28 19:04 390  
[ ]comp_map_fun_compatible.con.xml.gz2006-03-28 19:04 401  
[ ]quotient.con.body.xml.gz2006-03-28 19:04 402  
[ ]Rel_comp.con.body.xml.gz2006-03-28 19:04 405  
[ ]fun_compatible.con.xml.gz2006-03-28 19:04 409  
[ ]Refl.con.xml.gz2006-03-28 19:04 412  
[ ]Setoid_rec.con.body.xml.gz2006-03-28 19:04 416  
[ ]Setoid_ind.con.body.xml.gz2006-03-28 19:04 417  
[ ]Id.con.xml.gz2006-03-28 19:04 422  
[ ]Leibnitz_set.con.types.xml.gz2006-03-28 19:04 426  
[ ]bijective.con.xml.gz2006-03-28 19:04 426  
[ ]equiv_refl.con.xml.gz2006-03-28 19:04 426  
[ ]equiv_sym.con.xml.gz2006-03-28 19:04 427  
[ ]equiv_trans.con.xml.gz2006-03-28 19:04 427  
[ ]injective.con.xml.gz2006-03-28 19:04 427  
[ ]Rel_compatible_prf.con.xml.gz2006-03-28 19:04 428  
[ ]comp_map_map.con.body.xml.gz2006-03-28 19:04 429  
[ ]surjective.con.xml.gz2006-03-28 19:04 429  
[ ]Map_rec.con.body.xml.gz2006-03-28 19:04 431  
[ ]Map_ind.con.body.xml.gz2006-03-28 19:04 432  
[ ]app_rel.con.body.xml.gz2006-03-28 19:04 435  
[ ]Relation_rec.con.body.xml.gz2006-03-28 19:04 436  
[ ]Relation_ind.con.body.xml.gz2006-03-28 19:04 439  
[ ]reflexive.con.body.xml.gz2006-03-28 19:04 457  
[ ]Id_is_bijective.con.xml.gz2006-03-28 19:04 463  
[ ]Leibnitz_set.con.body.xml.gz2006-03-28 19:04 470  
[ ]equivalence.con.body.xml.gz2006-03-28 19:04 474  
[ ]Map_compatible_prf.con.xml.gz2006-03-28 19:04 475  
[ ]Prf_equiv.con.xml.gz2006-03-28 19:04 475  
[ ]Sym.con.xml.gz2006-03-28 19:04 477  
[ ]partial_equivalence.con.body.xml.gz2006-03-28 19:04 489  
[ ]symmetric.con.body.xml.gz2006-03-28 19:04 525  
[ ]Relation.ind.xml.gz2006-03-28 19:04 535  
[ ]bijective.con.body.xml.gz2006-03-28 19:04 539  
[ ]Map_eq.con.body.xml.gz2006-03-28 19:04 540  
[ ]Trans.con.xml.gz2006-03-28 19:04 540  
[ ]comp_map_fun.con.body.xml.gz2006-03-28 19:04 542  
[ ]Leibnitz_set_prop.con.body.xml.gz2006-03-28 19:04 558  
[ ]Setoid.ind.xml.gz2006-03-28 19:04 561  
[ ]transitive.con.body.xml.gz2006-03-28 19:04 575  
[ ]bijective_injective.con.xml.gz2006-03-28 19:04 586  
[ ]bijective_surjective.con.xml.gz2006-03-28 19:04 588  
[ ]Map.ind.xml.gz2006-03-28 19:04 596  
[ ]Id_unit_r.con.body.xml.gz2006-03-28 19:04 610  
[ ]Leibnitz_set_prop_rev.con.body.xml.gz2006-03-28 19:04 610  
[ ]fun_compatible.con.body.xml.gz2006-03-28 19:04 610  
[ ]Id_unit_l.con.body.xml.gz2006-03-28 19:04 611  
[ ]Leibnitz_set_prop.con.xml.gz2006-03-28 19:04 620  
[ ]Id_unit_l.con.xml.gz2006-03-28 19:04 622  
[ ]Id_unit_r.con.xml.gz2006-03-28 19:04 625  
[ ]Id.con.types.xml.gz2006-03-28 19:04 629  
[ ]Leibnitz_set_prop_rev.con.xml.gz2006-03-28 19:04 629  
[ ]Id.con.body.xml.gz2006-03-28 19:04 630  
[ ]Rel_fun.con.body.xml.gz2006-03-28 19:04 632  
[ ]Carrier.con.body.xml.gz2006-03-28 19:04 636  
[ ]Relation_rec.con.xml.gz2006-03-28 19:04 642  
[ ]Relation_ind.con.xml.gz2006-03-28 19:04 646  
[ ]Relation_rect.con.xml.gz2006-03-28 19:04 649  
[ ]Rel_compatible_prf.con.body.xml.gz2006-03-28 19:04 678  
[ ]Equal.con.body.xml.gz2006-03-28 19:04 684  
[ ]surjective_comp.con.xml.gz2006-03-28 19:04 686  
[ ]injective_comp.con.xml.gz2006-03-28 19:04 687  
[ ]bijective_comp.con.xml.gz2006-03-28 19:04 689  
[ ]Setoid_rec.con.xml.gz2006-03-28 19:04 690  
[ ]Setoid_rect.con.xml.gz2006-03-28 19:04 690  
[ ]Setoid_ind.con.xml.gz2006-03-28 19:04 693  
[ ]surj_set_quo.con.xml.gz2006-03-28 19:04 695  
[ ]Map_ind.con.xml.gz2006-03-28 19:04 701  
[ ]Map_rec.con.xml.gz2006-03-28 19:04 702  
[ ]Refl.con.body.xml.gz2006-03-28 19:04 704  
[ ]Sym.con.body.xml.gz2006-03-28 19:04 705  
[ ]Trans.con.body.xml.gz2006-03-28 19:04 706  
[ ]injective.con.body.xml.gz2006-03-28 19:04 707  
[ ]Map_rect.con.xml.gz2006-03-28 19:04 708  
[ ]Ap.con.body.xml.gz2006-03-28 19:04 709  
[ ]comp_injective.con.xml.gz2006-03-28 19:04 718  
[ ]comp_surjective.con.xml.gz2006-03-28 19:04 718  
[ ]surjective.con.body.xml.gz2006-03-28 19:04 745  
[ ]Prf_equiv.con.body.xml.gz2006-03-28 19:04 750  
[ ]surj_set_quo_surjective.con.xml.gz2006-03-28 19:04 750  
[ ]map_ext.con.body.xml.gz2006-03-28 19:04 751  
[ ]Leibnitz_set_prop.con.types.xml.gz2006-03-28 19:04 752  
[ ]Rel_comp.con.xml.gz2006-03-28 19:04 760  
[ ]Leibnitz_set_prop_rev.con.types.xml.gz2006-03-28 19:04 761  
[ ]comp_is_id_then_injective.con.xml.gz2006-03-28 19:04 767  
[ ]comp_is_id_then_surjective.con.xml.gz2006-03-28 19:04 771  
[ ]map_ext.con.xml.gz2006-03-28 19:04 774  
[ ]Map_compatible_prf.con.body.xml.gz2006-03-28 19:04 778  
[ ]Rel_compatible_prf.con.types.xml.gz2006-03-28 19:04 778  
[ ]Relation_rect.con.body.xml.gz2006-03-28 19:04 783  
[ ]rel_compatible.con.body.xml.gz2006-03-28 19:04 793  
[ ]Map_compatible_prf.con.types.xml.gz2006-03-28 19:04 810  
[ ]Relation_ind.con.types.xml.gz2006-03-28 19:04 813  
[ ]Ap_comp.con.xml.gz2006-03-28 19:04 819  
[ ]Setoid_rect.con.body.xml.gz2006-03-28 19:04 820  
[ ]Map_rect.con.body.xml.gz2006-03-28 19:04 829  
[ ]comp_map_assoc.con.body.xml.gz2006-03-28 19:04 842  
[ ]Map_ind.con.types.xml.gz2006-03-28 19:04 853  
[ ]Setoid_ind.con.types.xml.gz2006-03-28 19:04 878  
[ ]bijective_surjective.con.body.xml.gz2006-03-28 19:04 887  
[ ]comp_map_fun_compatible.con.body.xml.gz2006-03-28 19:04 887  
[ ]bijective_injective.con.body.xml.gz2006-03-28 19:04 889  
[ ]comp_is_id_then_bijective.con.xml.gz2006-03-28 19:04 897  
[ ]comp_map_assoc.con.xml.gz2006-03-28 19:04 919  
[ ]comp_map_comp.con.xml.gz2006-03-28 19:04 929  
[ ]Refl.con.types.xml.gz2006-03-28 19:04 935  
[ ]bijective_injective.con.types.xml.gz2006-03-28 19:04 950  
[ ]bijective_surjective.con.types.xml.gz2006-03-28 19:04 952  
[ ]Ap_comp.con.body.xml.gz2006-03-28 19:04 1.0K 
[ ]Prf_equiv.con.types.xml.gz2006-03-28 19:04 1.0K 
[ ]Sym.con.types.xml.gz2006-03-28 19:04 1.0K 
[ ]Rel_comp.con.types.xml.gz2006-03-28 19:04 1.1K 
[ ]Id_is_bijective.con.body.xml.gz2006-03-28 19:04 1.1K 
[ ]comp_map_fun_compatible.con.types.xml.gz2006-03-28 19:04 1.1K 
[ ]Trans.con.types.xml.gz2006-03-28 19:04 1.1K 
[ ]comp_map_comp.con.body.xml.gz2006-03-28 19:04 1.2K 
[ ]Ap_comp.con.types.xml.gz2006-03-28 19:04 1.4K 
[ ]comp_injective.con.body.xml.gz2006-03-28 19:04 1.4K 
[ ]comp_is_id_then_injective.con.body.xml.gz2006-03-28 19:04 1.5K 
[ ]comp_is_id_then_surjective.con.body.xml.gz2006-03-28 19:04 1.5K 
[ ]bijective_comp.con.body.xml.gz2006-03-28 19:04 1.5K 
[ ]surj_set_quo_surjective.con.body.xml.gz2006-03-28 19:04 1.5K 
[ ]injective_comp.con.body.xml.gz2006-03-28 19:04 1.6K 
[ ]Id_unit_l.con.types.xml.gz2006-03-28 19:04 1.6K 
[ ]bijective_comp.con.types.xml.gz2006-03-28 19:04 1.6K 
[ ]Id_unit_r.con.types.xml.gz2006-03-28 19:04 1.6K 
[ ]equiv_refl.con.types.xml.gz2006-03-28 19:04 1.7K 
[ ]surjective_comp.con.body.xml.gz2006-03-28 19:04 1.8K 
[ ]comp_surjective.con.body.xml.gz2006-03-28 19:04 1.9K 
[ ]Id_is_bijective.con.types.xml.gz2006-03-28 19:04 1.9K 
[ ]equiv_sym.con.types.xml.gz2006-03-28 19:04 1.9K 
[ ]map_ext.con.types.xml.gz2006-03-28 19:04 2.0K 
[ ]comp_is_id_then_injective.con.types.xml.gz2006-03-28 19:04 2.1K 
[ ]equiv_trans.con.types.xml.gz2006-03-28 19:04 2.1K 
[ ]comp_is_id_then_surjective.con.types.xml.gz2006-03-28 19:04 2.1K 
[ ]comp_injective.con.types.xml.gz2006-03-28 19:04 2.1K 
[ ]equiv_refl.con.body.xml.gz2006-03-28 19:04 2.1K 
[ ]equiv_sym.con.body.xml.gz2006-03-28 19:04 2.2K 
[ ]equiv_trans.con.body.xml.gz2006-03-28 19:04 2.3K 
[ ]comp_is_id_then_bijective.con.body.xml.gz2006-03-28 19:04 2.3K 
[ ]surj_set_quo.con.body.xml.gz2006-03-28 19:04 2.4K 
[ ]injective_comp.con.types.xml.gz2006-03-28 19:04 2.4K 
[ ]surjective_comp.con.types.xml.gz2006-03-28 19:04 2.6K 
[ ]surj_set_quo_surjective.con.types.xml.gz2006-03-28 19:04 2.6K 
[ ]comp_surjective.con.types.xml.gz2006-03-28 19:04 2.7K 
[ ]surj_set_quo.con.types.xml.gz2006-03-28 19:04 3.4K 
[ ]comp_is_id_then_bijective.con.types.xml.gz2006-03-28 19:04 3.6K 
[ ]comp_map_assoc.con.types.xml.gz2006-03-28 19:04 4.1K 
[ ]comp_map_comp.con.types.xml.gz2006-03-28 19:04 5.8K 
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80