Curriculum - Githubissues

BrandonHowe / CategoryBox

2 stars 0 forks source link

Curriculum #3

Open BrandonHowe opened 3 years ago

BrandonHowe commented 3 years ago

Write out curriculum for CategoryBox

Curriculum should include:

[ ] Objects, morphisms (maybe call these arrows or something idk)
[ ] Category laws (associativity)
[ ] Functors, natural transformations
[ ] Relations to groups and rings
[ ] Monoids
[ ] Adjunctions
[ ] Topology stuff?
[ ] Limits, tensors?
[ ] Programming language semantics

Talk to:

[ ] Identity
[ ] Other declarative coders
[ ] Subreddit
[ ] Slack maybe?

MarinMario commented 3 years ago

hi