CatGloss
An
affine space
is an
algebra
for the affine linear combination monad
\[\textup{fun}_{\mathbbe{k}}(-): \textup{\textsf{cat}} \to \textup{\textsf{cat}}\]