infotheo
infotheo copied to clipboard
rebase infotheo over (concrete) categories
This draft PR moves category theory from monae to infotheo, rebasing all algebraic structures (eg convex spaces) in infotheo over it.
Suggestion by @CohenCyril