I extend ideas from optimal transport to structured data by probabilistically relaxing the notion of a homomorphism. As an application, I construct Wasserstein-style metrics on graphs, simplicial sets, and other structures.

I talked about this project at the 2019 AMS Special Session on Applied Category Theory (slides).