Mastodawn

Hi #Mathstodon!
I’m a 2nd-year math student from Japan.

Interests:
Mathematical Logic / Foundations
Model Theory

Currently reading:
Ebbinghaus, "Mathematical Logic" 📖

I really want to read "Sheaves in Geometry and Logic" (SGL), but I’m still struggling with Category Theory. Any advice on where to start?

I'm also challenging myself to study math in English! Please feel free to correct my English or math anytime - I’d love to learn from you. 🐏

#Math #Logic #CategoryTheory #Introduction

Show thread

akesi Alo 2d ago

@Fuyumiya I had a good experience with this series of informal lectures by Richard South: https://www.youtube.com/watch?v=US4Zr1WKD-8&list=PLCTMeyjMKRkoS699U0OJ3ymr3r01sI08l

I haven't gotten to more advanced parts of CT yet, since I basically learned just enough stuff to start doing my subject of interest and will learn more details as time goes on.

Category Theory For Beginners: Introduction

YouTube

Show thread

Fuyumiya Yuhlli

@equisite_enoting Thank you~! I’m going to watch it tomorrow immediately🍿(since it’s midnight in JP) And feel free to contact me when you want to learn category theory 𓃩₎₎⁾⁾ Let’s study CT together~!