Understand F-Algebra's - Githubissues

typedefs / pm

project management

GNU Affero General Public License v3.0

0 stars 0 forks source link

Understand F-Algebra's #7

Open wires opened 6 years ago

wires commented 6 years ago

We should have some resources on F-algebras.

We have

[ ] lecture by Neil @ 1st stbx summit
[ ] Category Theory 5.2: Algebraic data types
[ ] Category Theory II 8.1: F-Algebras, Lambek's lemma
[ ] F-algebras or: How I Learned to Stop Worrying and Love the Type System