Laws on product
Improved library structure
Fix isomorphism definition
Export Morphism
Use canonical structure for category instances
Fix spelling
Fix strong monoidal definition
WIP : Product in context