I'm not sure who to tag, but my ML/Visiaon colleague Vikas Singh while on sabbatical decided to learn category theory and now wrote an ICLR ML paper that uses it
https://openreview.net/forum?id=2Mo7v69otj
Maybe this paper could energize that community into putting their work to practice
TL;DR description of paper
"Use Category Theory to provide a general harmonization tool that can handle multi-equivariance and multi-invariance with respect to the images' covariates."