search

hemanth / functional-programming-jargon

Jargon from the functional programming world in simple terms!
http://git.io/fp-jargons
MIT License
18.58k stars 1.02k forks source link

"homomorphism" definition from simpleWikipedia #214

Closed josusanmartin closed 1 year ago

josusanmartin commented 2 years ago

The homomorphism definition was a bit confusing. This one seems better: https://simple.wikipedia.org/wiki/Homomorphism

jethrolarson commented 1 year ago

We can't steal that text without satisfying the license associated with the source.

hemanth commented 1 year ago

The current definition in our repo reads as:

A homomorphism is just a structure preserving map. In fact, a functor is just a homomorphism between categories as it preserves the original category's structure under the mapping.

Maybe we should hyperlink functor, categories?

Also instead of just defining morphism as: A transformation function. We can add few more lines of description?

jethrolarson commented 1 year ago

I think both the old definition of homomorphism and the simple wiki definition are unapproachable.

What's a structure-preserving map? And the example includes functions that aren't defined anywhere. I'm taking a whack at rewriting this. Problem is I don't really understand how a homomorphism is different from a natural transformation or isomorphism so time to study :)

jethrolarson commented 1 year ago

I think this PR is superceded by #228