The Net of Structures in the Mizar Mathematical Library


   /----- MetrStruct ----------------------------------\
   |                                                    \
   |                                                  RLSMetrStruct
   |                                                    /
   |                                 /--- UNITSTR      /
   |          /-- TernaryFieldStr   |                 /
   |         |                      |---- NORMSTR    /
   |         |                      |               /
   |----- ZeroStr -- LoopStr -- RLSStruct ---------/-------------- AlgebraStr
   |         |          |                                               |
   |         |          |----- RightModStr over FS                      |
   |         |          |                   \                           |
   |         |          |               BiModStr over FS1,FS2           |
   |         |          |                   /                           |
   |         |          |----- VectSpStr over F --- SymStr over F       |
 1-sorted    |          |                \                              |
   |         |          |               AlgebraStr over F               |
   |         |          |                /                              |
   |         |          `--- doubleLoopStr -----------------------------/
   |         |                  /
   |         `--------- multLoopStr_0
   |                        /
   |         /---- multLoopStr --------\
   |         |                         |
   |----- HGrStr ------------\      QuasiNetStr -- Girard-QuantaleStr
   |                         |         |
   |                         |----------------------\
   |                         |         |            |
   |                     QuantaleStr --/            |
   |                          /                     |
   |----- /\-SemiLattStr     /                   TopGrStr
   |               \        /                       |
   |               LattStr-/------\                 |
   |               /               \                |
   |              /             OrthoLattStr        |
   |             /                 /                |
   |----- \/-SemiLattStr --- ComplLattStr           |
   |                                                |
   |----- TopStruct --------------------------------/
   |          \
   |         TopRelStr
   |          /
   |----- RelStr -- NetStr over L
   |
   |----- MidStr -- ReperAlgebraStr over n
   |          \
   |         AfMidStruct
   |          /
   |----- AffinStruct --- ParOrtStr
   |
   |----- typealg -- typestr
   |
   |----- DTConstrStr -- GrammarStr
   |
   |----- CatStr -- ProdCatStr
   |           `--- CoprodCatStr
   |
   |----- CollStr
   |----- ParStr
   |----- FT_Space_Str
   |----- UAStr
   |----- ManySortedSign
   |----- AMI-Struct over N
   |----- AltGraph -- AltCatStr
   |
   |----- FSM over I -- Mealy-FSM over I, O
   |            |------ Moore-FSM over I, O -----\
   |            `------ SM_Final over I ----- Moore-SM_Final over I, O
   |
   |----- G_Net
   `----- FMT_Space_Str

 2-sorted ---- ContextStr
 ConceptStr over C
 TuringStr
 SimpleGraphStruct
 Net
 PT_net_Str
 IncProjStr -- IncStruct
 QM_Str
 POI_Str over X
 AtlasStr over M
 MultiGraphStruct
 GroupMorphismStr
 LModMorphismStr over R
 RingMorphismStr
 TriangStr
 many-sorted over S -- MSAlgebra over S
                  \ -- MSClosureStr over S
                   `-- ClosureStr over S
 BimapStr over C1,C2 -- FunctorStr over C1,C2

mml@mizar.uwb.edu.pl.
[ Home | Project | Language | System | People | MML | FM | SUM ]

Last modified: April 20, 2002