Learners are Almost Free Compact Closed
Category Theory
2025-09-26 v1
Abstract
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.
Cite
@article{arxiv.2509.20930,
title = {Learners are Almost Free Compact Closed},
author = {Mitchell Riley},
journal= {arXiv preprint arXiv:2509.20930},
year = {2025}
}
Comments
In Proceedings ACT 2024, arXiv:2509.18357