##Command to produce the output: "dot -Tpng thisfile > thisfile.png"

digraph Geroch {

TS    [label="Topological\nSpaces"]
S     [label="Sets"]
CUS   [label="Complete\nUniform\nSpaces"]
US    [label="Uniform\nSpaces"]
CTG   [label="Complete\nTopological\nGroups"]
TG    [label="Topological\nGroups"]
G     [label="Groups"]
CATG  [label="Complete\nAbelian\nTopological\nGroups"]
ATG   [label="Abelian\nTopological\nGroups"]
AG    [label="Abelian\nGroups"]
CRTVS [label="Complete\nReal\nTopological\nVector\nSpaces"]
RTVS  [label="Real\nTopological\nVector\nSpaces"]
RVS   [label="Real\nVector\nSpaces"]
RLA   [label="Real\nLie\nAlgebras"]
RAA   [label="Real\nAssociative\nAlgebras"]
CCTVS [label="Complete\nComplex\nTopological\nVector\nSpaces"]
CTVS  [label="Complex\nTopological\nVector\nSpaces"]
CVS   [label="Complex\nVector\nSpaces"]
CLA   [label="Complex\nLie\nAlgebras"]
CAA   [label="Complex\nAssociative\nAlgebras"]

TS    -> S

S     -> TS    [style="dashed"]
S     -> CVS   [style="dashed"]
S     -> RVS   [style="dashed"]
S     -> AG    [style="dashed"]
S     -> G     [style="dashed"]

CUS   -> US

US    -> TS
US    -> CUS   [style="dashed"]

CTG   -> CUS
CTG   -> TG

TG    -> US
TG    -> CTG   [style="dashed"]
TG    -> G

G     -> S

CATG  -> CTG
CATG  -> ATG

ATG   -> TG
ATG   -> CATG  [style="dashed"]
ATG   -> AG

CRTVS -> CATG
CRTVS -> RTVS

RTVS  -> CRTVS [style="dashed"]
RTVS  -> ATG
RTVS  -> RVS

RVS   -> AG
RVS   -> RAA  [style="dashed"]

RLA   -> RVS
RLA   -> RAA  [style="dashed"]

RAA   -> RLA

CCTVS -> CRTVS
CCTVS -> CTVS

CTVS  -> RTVS
CTVS  -> CVS
CTVS  -> CCTVS [style="dashed"]

CVS   -> RVS
CVS   -> CAA   [style="dashed"]

CLA   -> RLA
CLA   -> CVS
CLA   -> CAA  [style="dashed"]

CAA   -> CLA
CAA   -> RAA

overlap=false
label=""
fontsize=12;
}