Tagged Questions

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 …