Known but unset mathematical properties

[mohamed-barakat]

Is there a reason why IsIsomorphism is not automatically set by the corresponding Add-* for CAP operations like:

• IsomorphismFrom*
• LeftUnitor*
• RightUnitor*
• LeftDistributivityExpanding*
• LeftDistributivityFactoring*
• RightDistributivityExpanding*
• RightDistributivityFactoring*
• Braiding*
• BraidingInverse*

[sebastianpos]

Logic is usually delegated to the logic files, because otherwise, it would be impossible to switch it off.

So if you like to have these implications, you may add them to the logic files.

[mohamed-barakat]

Fair enough. If it is ok I will keep this PR open until I close it with a PR.

[sebastianpos]

Ok.

[heiderich]

Also there are variants of monoidal categories that do not require LeftUnitor and RightUnitor to be isomorphisms. Same goes for braidings.

[mohamed-barakat]

Also there are variants of monoidal categories that do not require LeftUnitor and RightUnitor to be isomorphisms. Same goes for braidings.

Yes, thanks, I was planning to add corresponding categorical properties.