Equipments and separability

I will start by recalling the language of equipments (taglastused), an algebraic "paradise for modules". In particular, I will introduce their string diagrammatic syntax, a secret weapon for reasoning.

Then I will introduce the definition of separable tight morphism in an equipment and prove some simple lemmas about separability in an arbitrary equipment, using string diagrams.