2 – Categorical System Theory