2025/09/25 by Riley, Mitchell
#Category Theory (math.CT) #FOS: Mathematics
paper · doi:10.48550/arxiv.2509.20930
The category of learners has a pleasant symmetric formulation when the morphisms are considered up to a coarser equivalence than the one originally described in the paper "Backprop as Functor". A quotient of this modified category gives a new construction of the free compact closed category on a symmetric monoidal category.