There's a recent category-theoretic framework for them:

https://arxiv.org/abs/1909.04881