Write to one of organizers to be added to the Zulip chat with discussions and Zoom links.
Applied Category Theory Seminar
Wondering what this means? Modern applications have to cope with numerous, interrelated systems. Today, categories are being used to organize systems and insert theory where it is otherwise hard to find. Examples include data structures for cloud computing, data analysis, formal verification, causality, and more.
All levels of experience are welcome. We are a friendly group happy to answer questions and just as happy to learn something from you.
Freyd-Scedrov Categories, Allegories, North-Holland Mathematical Library
Pareigis Categories and Functors, Academic Press.
Riehl Category Theory in Context, Aurora: Dover Modern Math Originals.
Milewski Category Theory for Programmers -- learn to some categories and a modern programming language at the same time.
We read extensively from
Functional Programming in Scala by Paul Chiusano and Runar Bjarnason
This thin book features some of the most surprising applications that will reshape how you think of applied mathematics. From the use of mundane axioms in abstract algebra to prove programs are bug free to application of complex constructions in category theory to remove side-effects and make code that works in smoothly in parallel. When you finish be sure to look also at the
companion solution manual packed with many more gems.
As a perk, this book is inexpensive and comes with a digital copy as well so you can have it as quick guide wherever you go.
What programming language to learn?
You do not have to program a thing...but even the best theoretical physicist wants to play with a laser sometimes, and as mathematician should likewise want to play with a computer.
C/C++, Java, and Python are safe comfortable choices with lots of tutorials, but to discover the mathematics of programming you might prefer to pick up modern language such as Scala, Haskell, Swift, C#, or OCaml. Maybe even a proof assistant like Agda or Coq, or something in between like Idris and Lean.
This seminar began as an excuse to let two professors brush up on things on the state of programming that had changed since they had spent their time in the trenches. To save on embarrassement it would be done in secret. And as to not waste the opportunity the students of the professors would be dragged along as well. They focussed on a functional language called Scala because it had the right balance of use and good deal of math in the mix. Since it was in private they would meet in the stairwell -- the Scalawell.
Scalawell quickly became the worst-kept secret. New students and postdocs showed each week. We met to learn theory and applications of modern mathematics to modern programming. You didn't have to program to participate, just come with a curiosity to puzzle about hard problems disguised as easy questions. Some even wrote a paper. Since the meetings were in "secret", no question was too embarrassing to ask.
That is the ethos of the seminar today. Came, ask, and make abstraction useful to your goals.