Index of /xml/Rocq/ALGEBRA/CATEGORY_THEORY/CATEGORY/CONSTRUCTIONS/CatProperty

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]epic_monic_def/2005-07-05 08:14 -  
[DIR]initial_def/2005-07-05 08:14 -  
[DIR]iso_def/2005-07-05 08:14 -  
[DIR]terminal_def/2005-07-05 08:14 -  
[ ]Iso.ind.types.xml.gz2004-04-08 14:39 220  
[ ]Epic.ind.types.xml.gz2004-04-08 14:39 222  
[ ]Monic.ind.types.xml.gz2004-04-08 14:39 223  
[ ]MorI.con.types.xml.gz2004-04-08 14:39 224  
[ ]MorT.con.types.xml.gz2004-04-08 14:40 226  
[ ]Initial.ind.types.xml.gz2004-04-08 14:39 227  
[ ]Inv_iso.con.types.xml.gz2004-04-08 14:39 228  
[ ]Epic_rec.con.types.xml.gz2004-04-08 14:39 229  
[ ]Terminal.ind.types.xml.gz2004-04-08 14:40 229  
[ ]AreIsos.con.types.xml.gz2004-04-08 14:39 230  
[ ]Epic_law.con.types.xml.gz2004-04-08 14:39 230  
[ ]Iso_mor.con.types.xml.gz2004-04-08 14:39 230  
[ ]Iso_rec.con.types.xml.gz2004-04-08 14:39 230  
[ ]Epic_rect.con.types.xml.gz2004-04-08 14:39 231  
[ ]IsInitial.con.types.xml.gz2004-04-08 14:39 231  
[ ]Epic_mor.con.types.xml.gz2004-04-08 14:39 232  
[ ]Iso_rect.con.types.xml.gz2004-04-08 14:39 232  
[ ]IsTerminal.con.types.xml.gz2004-04-08 14:40 233  
[ ]RIso_law.con.types.xml.gz2004-04-08 14:39 233  
[ ]Initial_rec.con.types.xml.gz2004-04-08 14:39 234  
[ ]Monic_law.con.types.xml.gz2004-04-08 14:39 234  
[ ]Monic_rec.con.types.xml.gz2004-04-08 14:39 234  
[ ]Monic_mor.con.types.xml.gz2004-04-08 14:39 235  
[ ]Initial_ob.con.types.xml.gz2004-04-08 14:39 236  
[ ]Monic_rect.con.types.xml.gz2004-04-08 14:39 236  
[ ]Terminal_rec.con.types.xml.gz2004-04-08 14:40 236  
[ ]Terminal_ob.con.types.xml.gz2004-04-08 14:40 238  
[ ]Terminal_rect.con.types.xml.gz2004-04-08 14:40 238  
[ ]At_most_1mor.con.types.xml.gz2004-04-08 14:39 240  
[ ]Initial_rect.con.types.xml.gz2004-04-08 14:39 240  
[ ]IsTerminal'.con.types.xml.gz2004-04-08 14:40 240  
[ ]Initial_ob.con.xml.gz2004-04-08 14:39 385  
[ ]Terminal_ob.con.xml.gz2004-04-08 14:40 387  
[ ]At_most_1mor.con.xml.gz2004-04-08 14:39 399  
[ ]Epic_law.con.xml.gz2004-04-08 14:39 439  
[ ]Prf_isEpic.con.xml.gz2004-04-08 14:39 439  
[ ]Inv_iso.con.xml.gz2004-04-08 14:39 440  
[ ]Monic_law.con.xml.gz2004-04-08 14:39 440  
[ ]Prf_isMonic.con.xml.gz2004-04-08 14:39 441  
[ ]Iso_mor.con.xml.gz2004-04-08 14:39 443  
[ ]Epic_mor.con.xml.gz2004-04-08 14:39 447  
[ ]Monic_mor.con.xml.gz2004-04-08 14:39 450  
[ ]Initial_rec.con.body.xml.gz2004-04-08 14:39 451  
[ ]Initial_ind.con.body.xml.gz2004-04-08 14:39 452  
[ ]Iso_ind.con.body.xml.gz2004-04-08 14:39 454  
[ ]Iso_rec.con.body.xml.gz2004-04-08 14:39 454  
[ ]Terminal_rec.con.body.xml.gz2004-04-08 14:40 454  
[ ]Terminal_ind.con.body.xml.gz2004-04-08 14:40 455  
[ ]Prf_Iso.con.xml.gz2004-04-08 14:39 459  
[ ]Prf_isInitial.con.xml.gz2004-04-08 14:39 460  
[ ]Monic_rec.con.body.xml.gz2004-04-08 14:39 462  
[ ]Prf_isTerminal.con.xml.gz2004-04-08 14:40 462  
[ ]Epic_ind.con.body.xml.gz2004-04-08 14:39 463  
[ ]Epic_rec.con.body.xml.gz2004-04-08 14:39 463  
[ ]Monic_ind.con.body.xml.gz2004-04-08 14:39 467  
[ ]Idr_inv.con.xml.gz2004-04-08 14:39 480  
[ ]AreIsos.con.xml.gz2004-04-08 14:39 481  
[ ]Idl_inv.con.xml.gz2004-04-08 14:39 483  
[ ]UniqueI.con.xml.gz2004-04-08 14:39 493  
[ ]I_unic.con.xml.gz2004-04-08 14:40 509  
[ ]MorT.con.xml.gz2004-04-08 14:40 515  
[ ]MorI.con.xml.gz2004-04-08 14:39 517  
[ ]IsInitial.con.xml.gz2004-04-08 14:39 533  
[ ]IsTerminal.con.xml.gz2004-04-08 14:40 534  
[ ]UniqueT.con.xml.gz2004-04-08 14:40 537  
[ ]IsTerminal'.con.xml.gz2004-04-08 14:40 544  
[ ]RIso_law.con.xml.gz2004-04-08 14:39 556  
[ ]Epic.ind.xml.gz2004-04-08 14:39 599  
[ ]Monic.ind.xml.gz2004-04-08 14:39 600  
[ ]AreIsos.con.body.xml.gz2004-04-08 14:39 631  
[ ]Inv_iso_unique.con.xml.gz2004-04-08 14:39 638  
[ ]Iso.ind.xml.gz2004-04-08 14:39 658  
[ ]At_most_1mor.con.body.xml.gz2004-04-08 14:39 670  
[ ]Initial.ind.xml.gz2004-04-08 14:39 675  
[ ]Initial_dual.con.body.xml.gz2004-04-08 14:40 677  
[ ]Terminal.ind.xml.gz2004-04-08 14:40 678  
[ ]RightInv_epic.con.xml.gz2004-04-08 14:39 682  
[ ]IsTerminal'.con.body.xml.gz2004-04-08 14:40 683  
[ ]RIso_law.con.body.xml.gz2004-04-08 14:39 683  
[ ]Epic_rec.con.xml.gz2004-04-08 14:39 700  
[ ]IsTerminal.con.body.xml.gz2004-04-08 14:40 700  
[ ]IsInitial.con.body.xml.gz2004-04-08 14:39 701  
[ ]Epic_ind.con.xml.gz2004-04-08 14:39 703  
[ ]Epic_rect.con.xml.gz2004-04-08 14:39 703  
[ ]Monic_rec.con.xml.gz2004-04-08 14:39 703  
[ ]Monic_rect.con.xml.gz2004-04-08 14:39 705  
[ ]Monic_ind.con.xml.gz2004-04-08 14:39 708  
[ ]Epic_mor.con.body.xml.gz2004-04-08 14:39 717  
[ ]Monic_mor.con.body.xml.gz2004-04-08 14:39 718  
[ ]Initial_dual.con.xml.gz2004-04-08 14:40 722  
[ ]Prf_isEpic.con.body.xml.gz2004-04-08 14:39 725  
[ ]Prf_isMonic.con.body.xml.gz2004-04-08 14:39 727  
[ ]Iso_rec.con.xml.gz2004-04-08 14:39 771  
[ ]Iso_rect.con.xml.gz2004-04-08 14:39 771  
[ ]Iso_ind.con.xml.gz2004-04-08 14:39 774  
[ ]Initial_ob.con.body.xml.gz2004-04-08 14:39 776  
[ ]Terminal_ob.con.body.xml.gz2004-04-08 14:40 776  
[ ]Inv_iso.con.body.xml.gz2004-04-08 14:39 777  
[ ]Iso_mor.con.body.xml.gz2004-04-08 14:39 777  
[ ]Initial_rec.con.xml.gz2004-04-08 14:39 800  
[ ]Prf_Iso.con.body.xml.gz2004-04-08 14:39 804  
[ ]Initial_ind.con.xml.gz2004-04-08 14:39 805  
[ ]Terminal_rec.con.xml.gz2004-04-08 14:40 805  
[ ]Initial_rect.con.xml.gz2004-04-08 14:39 806  
[ ]Terminal_ind.con.xml.gz2004-04-08 14:40 808  
[ ]Terminal_rect.con.xml.gz2004-04-08 14:40 810  
[ ]Prf_isEpic.con.types.xml.gz2004-04-08 14:39 812  
[ ]Prf_isMonic.con.types.xml.gz2004-04-08 14:39 813  
[ ]Epic_rect.con.body.xml.gz2004-04-08 14:39 840  
[ ]Monic_rect.con.body.xml.gz2004-04-08 14:39 844  
[ ]Prf_isInitial.con.body.xml.gz2004-04-08 14:39 851  
[ ]Prf_isTerminal.con.body.xml.gz2004-04-08 14:40 851  
[ ]MorI.con.body.xml.gz2004-04-08 14:39 866  
[ ]Epic_ind.con.types.xml.gz2004-04-08 14:39 868  
[ ]Epic_law.con.body.xml.gz2004-04-08 14:39 868  
[ ]MorT.con.body.xml.gz2004-04-08 14:40 868  
[ ]Monic_ind.con.types.xml.gz2004-04-08 14:39 871  
[ ]Monic_law.con.body.xml.gz2004-04-08 14:39 876  
[ ]Initial_dual.con.types.xml.gz2004-04-08 14:40 881  
[ ]Iso_rect.con.body.xml.gz2004-04-08 14:39 905  
[ ]UniqueT.con.body.xml.gz2004-04-08 14:40 911  
[ ]UniqueI.con.body.xml.gz2004-04-08 14:39 914  
[ ]Initial_rect.con.body.xml.gz2004-04-08 14:39 923  
[ ]Terminal_rect.con.body.xml.gz2004-04-08 14:40 926  
[ ]Iso_ind.con.types.xml.gz2004-04-08 14:39 1.0K 
[ ]Prf_Iso.con.types.xml.gz2004-04-08 14:39 1.0K 
[ ]Initial_ind.con.types.xml.gz2004-04-08 14:39 1.0K 
[ ]Terminal_ind.con.types.xml.gz2004-04-08 14:40 1.0K 
[ ]Prf_isInitial.con.types.xml.gz2004-04-08 14:39 1.0K 
[ ]Prf_isTerminal.con.types.xml.gz2004-04-08 14:40 1.0K 
[ ]UniqueI.con.types.xml.gz2004-04-08 14:39 1.2K 
[ ]UniqueT.con.types.xml.gz2004-04-08 14:40 1.2K 
[ ]Idl_inv.con.body.xml.gz2004-04-08 14:39 1.2K 
[ ]Idr_inv.con.body.xml.gz2004-04-08 14:39 1.2K 
[ ]I_unic.con.types.xml.gz2004-04-08 14:40 1.5K 
[ ]I_unic.con.body.xml.gz2004-04-08 14:40 1.6K 
[ ]Idr_inv.con.types.xml.gz2004-04-08 14:39 2.0K 
[ ]Idl_inv.con.types.xml.gz2004-04-08 14:39 2.0K 
[ ]INDEX2005-07-05 08:14 2.3K 
[ ]Inv_iso_unique.con.body.xml.gz2004-04-08 14:39 2.9K 
[ ]Inv_iso_unique.con.types.xml.gz2004-04-08 14:39 3.1K 
[ ]RightInv_epic.con.body.xml.gz2004-04-08 14:39 3.3K 
[ ]RightInv_epic.con.types.xml.gz2004-04-08 14:39 3.6K 
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80