Recently, I've been into learning about CRDTs a class of data structures which can be edited independently and merged without conflicts. They can be used to build experiences similar to Google Docs (although Gdocs uses a different approach called OT).

I'm interested in learning Category/Set Theory to better understand the underlying math of how they work.

I have very little experience with ML/Robotics, but CRDTs might be useful for distributed learning, or coordination between independent robots.