Conversation

Prathyush
@prathyvsh
Put together a repository to catalogue all the cool category theory resources I’m coming across: twitter.com/patternatlas/s Thanks to
@eduardoochs
@mimblewabe
@comandingo
and all the cool people on Twitter for helping me with it. There’s a great wealth of material out there!
Quote Tweet
Pattern Atlas
@patternatlas
·
Starting a thread cataloguing resources for learning Category Theory. To get all of the resources in this thread at one place, check out: patternatlas.com/v0/category-th
Show this thread
Cover art for category theory resources
1
7
Prathyush
@prathyvsh
A good talk on the history and philosophy of types by
@tomaspetricek
: youtube.com/watch?v=ITIsxW He describes the epistemological aspects of science drawing on the works of Lakatos and Feyeraband and talks about how it can help with understanding programming concepts.
youtube.com
Tomas Petricek - History and Philosophy of types (Lambda Days 2016)
Slides and more info: http://www.lambdadays.org/lambdadays2016/tomas-petricekWhat are types? We can try to answer this question with a formal definition. But...
1
6
Prathyush
@prathyvsh
I might piece this together eventually, but just wish someone unified the hierarchy of algebraic structures. There seems to be a regular pattern lurking in here. Sources: 1/ researchgate.net/figure/Taxonom 2/ arxiv.org/pdf/1908.09308 3/ arxiv.org/pdf/gr-qc/9704 4/
Taxonomy of monadic structures
Relation between posets
Ensemble theory diagram by Tegmark
Connection between algebraic structures by @wrengr
Quote Tweet
Prathyush
@prathyvsh
·
Schema of binary relations
Schema of topology
Schema of group theory
Schema of ring theory
Creating maps to understand the lay of the land of Maths is immensely helpful. It shows you how your current knowledge figures in a larger scheme. For this purpose, @wrengr’s Cartography of Maths posters are tremendously helpful! Check them out! winterkoninkje.dreamwidth.org/tag/columbicub
Show this thread
3
21