Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Extra axioms for theory of SMCs #419

Merged
merged 2 commits into from
May 3, 2021

Conversation

0x0f0f0f
Copy link
Contributor

No description provided.

@epatters epatters changed the title some missing smc axioms Extra axioms for theory of SMCs May 3, 2021
@epatters
Copy link
Member

epatters commented May 3, 2021

Thanks for the PR.

As a general point, there is no policy that the axioms for the theories should be minimal, but I think we should strive to make the choice of axioms as canonical as possible, subject to the constraints imposed by the GAT formalism. (E.g., you cannot just say "this family of transformation is natural", you have to explicitly write down the equations.)

In this case, I included two of the unit equations because they are parallel with the two axioms for products and they require several steps to deduce, but I omitted the last one because it should be a trivial deduction from the other axioms.

@epatters epatters merged commit 41cf20e into AlgebraicJulia:master May 3, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants