Category theory cleanup

JasonShin / fp-core.rs

A library for functional programming in Rust

MIT License

1.34k stars 66 forks source link

Category theory cleanup #28

Closed hemangandhi closed 5 years ago

hemangandhi commented 5 years ago

Some more examples/description on the category theory.

I do intend to move some stuff around if possible. Particularly, a discussion of these might help:

initial and terminal objects
products
duality
adjunctions

I have a branch with some of those that I can try to merge in later.

I'm not sure if my mention of monoidal categories would close #9 Also, I think #14 can be closed?

JasonShin commented 5 years ago

Congratulations @hemangandhi on your first PR to PureRust / Functional Programming Jargon in Rust! Hope to see more contributions like this! this is really cool