CatGloss

An affine space is an algebra for the affine linear combination monad $\textup{fun}_\mathbbe{k}(-) \colon \textup{\textsf{cat}} \to \textup{\textsf{cat}}$.