Reply to A (very) gentle comment on Algebraic Geometry for the faint-hearted | Ilyas Khan

Replied to A (very) gentle comment on Algebraic Geometry for the faint-hearted by Ilyas KhanIlyas Khan (LinkedIn)
This short article is the result of various conversations over the course of the past year or so that arose on the back of two articles/blog pieces that I have previously written about Category Theory (here and here). One of my objectives with such articles, whether they be on aspects of quantum computing or about aspects of maths, is to try and de-mystify as much of the associated jargon as possible, and bring some of the stunning beauty and wonder of the subject to as wide an audience as possible. Whilst it is clearly not possible to become an expert overnight, and it is certainly not my objective to try and provide more than an introduction (hopefully stimulating further research and study), I remain convinced that with a little effort, non-specialists and even self confessed math-phobes can grasp some of the core concepts. In the case of my articles on Category Theory, I felt that even if I could generate one small gasp of excited comprehension where there was previously only confusion, then the articles were worth writing.

I just finished a course on Algebraic Geometry through UCLA Extension, which was geared toward non-traditional math students and professionals, and wish I had known about Smith’s textbook when I’d started. I did spend some time with Cox, Little, and O’Shea’s Ideals, Varieties, and Algorithms which is a pretty good introduction to the area, but written a bit more for computer scientists and engineers in mind rather than the pure mathematician, which might recommend it more toward your audience here as well. It’s certainly more accessible than Hartshorne for the faint-of-heart.

I’ve enjoyed your prior articles on category theory which have spurred me to delve deeper into the area. For others who are interested, I thought I’d also mention that physicist and information theorist John Carlos Baez at UCR has recently started an applied category theory online course which I suspect is a bit more accessible than most of the higher graduate level texts and courses currently out. For more details, I’d suggest starting here: https://johncarlosbaez.wordpress.com/2018/03/26/seven-sketches-in-compositionality/

Syndicated copies to:

🔖 [1803.05316] Seven Sketches in Compositionality: An Invitation to Applied Category Theory

Bookmarked Seven Sketches in Compositionality: An Invitation to Applied Category Theory by Brendan Fong, David I. Spivak (arxiv.org)
This book is an invitation to discover advanced topics in category theory through concrete, real-world examples. It aims to give a tour: a gentle, quick introduction to guide later exploration. The tour takes place over seven sketches, each pairing an evocative application, such as databases, electric circuits, or dynamical systems, with the exploration of a categorical structure, such as adjoint functors, enriched categories, or toposes. No prior knowledge of category theory is assumed. [.pdf]

This is the textbook that John Carlos Baez is going to use for his online course in Applied Category Theory.

Syndicated copies to:

👓 Applied Category Theory – Online Course | John Carlos Baez

Read Applied Category Theory – Online Course by John Carlos BaezJohn Carlos Baez (Azimuth)
It just became a lot easier to learn about applied category theory, thanks to this free book:
• Brendan Fong and David Spivak, Seven Sketches in Compositionality: An Invitation to Applied Category Theory.

I’ve started an informal online course based on this book on the Azimuth Forum. I’m getting pretty sick of the superficial quality of my interactions on social media. This could be a way to do something more interesting.

The idea is that you can read chapters of this book, discuss them, try the exercises in the book, ask and answer questions, and maybe team up to create software that implements some of the ideas. I’ll try to keep things moving forward. For example, I’ll explain some stuff and try to help answer questions that people are stuck on. I may also give some talks or run discussions on Google Hangouts or similar software—but only when I have time: I’m more of a text-based guy. I may get really busy some times, and leave the rest of you alone for a while. But I like writing about math for at least 15 minutes a day, and more when I have time. Furthermore, I’m obsessed with applied category theory and plan to stay that way for at least a few more years.

If this sounds interesting, let me know here—and please visit the Azimuth Forum and register!

Some awesome news just as I’ve wrapped up a class on Algebraic Geometry and was actively looking to delve into some category theory over the summer. John Carlos Baez announced that he’s going to offer an online course in applied category theory. He’s also already posted some videos and details!

Syndicated copies to: