Fuyumiya Yuhlli

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

Mar 22 at 11:19amWeb
Show threadAtif3d ago
@Fuyumiya I’ve heard bad things about Sheaves in Geometry in logic. CWM has a good reputation. Personally, I read Conceptual Mathematics by Lawvere and Schanuel and I think it’s a good first book for categories. If it’s too vanilla for you perhaps CWM or the book by Emily Riehl are a good choice (haven’t read, heard good things). Also worth mentioning are Basic Category Theory by Leinster and Goldblatt’s Topoi. Some people recommend Aluffi and his chapter 0 book, I personally didn’t like his style and tone, but that’s just me, myb you would like it. Good luck
Show threadAtif2d ago
@Fuyumiya Also, people have warned me that in order to really understand “geometry” in context of “geometry and logic” one needs to understand Riemannian and differential geometry first.
Show threadFuyumiya Yuhlli2d ago
@atif Thank you so much for the advice~!!! I knew Lawvere’s name, but I didn’t know he wrote a textbook on category theory! I’ll check out ‘Conceptual Mathematics’ right away📖 Thank you again for being so helpful🌷 Are you also interested in mathematical logic?
Show threadAtif2d ago
@Fuyumiya I’m more interested in the interplay between geometry and logic than I’m interested in logic in itself. But I’m at the final semester of my undergrad, so geometry & logic will have to wait a bit more 🙃
Show threadFuyumiya Yuhlli2d ago
@atif Oh I see… it’s rough that you can’t do what you want. But it sounds so fascinating to study the interplay between geometry and logic! There is JP word “Gambatte” that means “Good luck”or “Do your best” so I want to say you Gambatte!
Show threadAtif2d ago
@Fuyumiya Arigato gozaimasu 🙏 Gambatte to you as well !
Show threadakesi Alo2d 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 threadFuyumiya Yuhlli2d ago
@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~!
Show threadJencel Panic2d ago
@Fuyumiya hi
Show threadFuyumiya Yuhlli2d ago
@abuseofnotation hi~!