I reflect on how I got here, some exciting recent developments, and what I hope is going to happen in applied category theory over the next few years. Particularly, I give my view on the importance of visualization software and gamifying category theory for education in the future. Here are links to a few things I mention:
www.appliedcat...
disi.org/
www.theguardia...
discopy.org/
arrowtheory.co...
planting.space/
dragonbox.com/
Негізгі бет My Perspective On Category Theory: Past and Future
Пікірлер: 22