alper, 28 days ago @fasterthanlime A course on maths probably. Topos Institute’s seven sketches in compositionality is very nice (Slovak and Fong are so chill): https://youtube.com/playlist?list=PLhgq-BqyZ7i5ZZd6wGv4WE9JNtAbUDNAp&si=VLsb6-x4T6Octwt7
@fasterthanlime A course on maths probably. Topos Institute’s seven sketches in compositionality is very nice (Slovak and Fong are so chill): https://youtube.com/playlist?list=PLhgq-BqyZ7i5ZZd6wGv4WE9JNtAbUDNAp&si=VLsb6-x4T6Octwt7