ISetoids is complete
SubCategory
fix compilation
Categories.Normalise: simplifier for equations involving coproducts
Categories.Monad.Coproduct
Add a .mailmap file

This makes both `git shortlog -nse` and
https://github.com/copumpkin/categories/graphs/contributors more
accurate.
Merge pull request #6 from JasonGross/mailmap

Add a .mailmap file
Fixes #1

Not sure why though. Morphisms is parametrized explicitly by the category in question, but for some reason Agda seems to treat it as an implicit parameter to the iso* family of functions. Either an Agda bug or behavior change?
Create LICENSE