Similar repositories to mjendrusch/monoidal-categories-reboot: