@nad Sorry to send you up the garden of the forking paths*

ACT = Applied Category theory.

Schneider's work is interesting, isn't it?

* (Borgesian p-value fishing)