Partial Evaluations and the Compositional Structure of the Bar Construction

Carmen Constantin, Paolo Perrone, Tobias Fritz +1

The algebraic expression $3+2+6$ can be evaluated to $11$, but it can also be partially evaluated to $5+6$. In categorical algebra, such partial evaluations can be defined in…