0
votes
0answers
36 views
Reduction algorithm for non-(semi-)free bocses
A bocs (also box) is a pair $(A,V)$, where $A$ is a $k$-algebra (or a (skeletally) small $k$-category) and $V$ is an $A$-coalgebra.
The category of representations of bocses is g …

