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.

Sign up for GitHub

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

Jump to bottom

Improving "Given a type A, all endomorphisms defined on A are a monoid" sentence? #37

Open

SHND opened this issue Aug 6, 2022 · 1 comment

Contributor

SHND commented Aug 6, 2022

Instead of sentence:

Given a type A, all endomorphisms defined on A are a monoid

isn't it more correct to say:

Given a type A, all endomorphisms defined on A under function composition operation are a monoid

Because semigroups are defined on pair of type A and operation on type A.

Owner

enricopolanski commented Jan 14, 2023

@SHND I think this is correct.

You've got:

a type A
a function A => A, our endomorphism
the identity function as the empty element

Maybe a better phrasing would be:

"Given a type A, all endomorphims defined on A form (define?) a monoid.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment