Commit 2022-04-29 03:48 8edb3d16View on Github →
feat(representation_theory/Rep): the category of representations (#13683)
Rep k G, the category of
k-linear representations of a monoid
Happily, by abstract nonsense we get that this has (co)limits and a monoidal structure for free.
This should play well with the new design for representations in #13573.