An Analysis of Symmetry in Quantitative Semantics

Pierre Clairambault, Simon Forest

In this paper, we build on a recent bicategorical model called thin spans of groupoids, introduced by Clairambault and Forest. Notably, thin spans feature a decomposition of symmet…