43 citations · 45 across the 8 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
math.CT2024
A computational method for left-adjointness
Simon Forest
In this work, we investigate an effective method for showing that functors between categories are left adjoints. The method applies to a large class of categories, namely locally f…
cs.LO2024
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…