Some of you have heard about category theory, maybe from me, maybe from Gioele Zardini’s talks on co-design, or maybe from the person at INCOSE who said that “all systems engineering is a footnote on category theory” (or something like that, I wasn’t there).