Highlights
- Arctic Code Vault Contributor
Popular repositories
169 contributions in the last year
Contribution activity
January 2021
Created an issue in boris-marinov/category-theory-illustrated that received 6 comments
Monoid associativity doesn't imply that inverses exist
In Monoids etc, we have: When a rule is associative [...] we can add or remove a term that is present at both sides of an equation and retaining t…
6
comments