cls: fix \Cat{} alignment in tikz
top: various changes around homotopy
eopt: various changes