Signup and stay tuned, more info coming soon.
Category Theory and Applications
Category Theory is an incredibly powerful tool traditionally employed within the domain of modern pure mathematics. However, in addition to its extraordinary utility as a tool unifying and connecting diverse areas of mathematics, it has found exciting applications in areas outside of mathematics. Those areas include theoretical physics, quantum mechanics, theoretical and applied computer science, biology, neuroscience, and the list goes on. The power and beauty of category theory is its ability to zoom out and reveal the essential structure of an entity under examination.
This course serves to introduce category theory from the ground up, using applications to illuminate traditionally difficult mathematical concepts. We offer this course primarily to those interested in how this powerful theory can open up access to many deep branches of knowledge, unifying and making clear seemingly disparate and unconnected concepts. Additionally, for those with a CS background or an interest in functional programming, category theory serves as the underlying structure of langagues like Haskell and Maude. Knowledge of category theory will surely aid those wishing to gain a deeper understanding of functional or logic programming.
For a more thorough discussion of why learning category theory is great, we strongly recommend reading:
- What is applied Category Theory? An introduction to the course on Applied Category Theory taught by John Baez, which was the inspiration for us to try doing this class.
- The preface of the book we'll be using in the class (and used in the class referenced above), written by David Spivak and Brendan Fong.
- The prefaces and introductions in two forthcoming books (here, and here) by Noson Yanofsky (whose other book on Quantum Computing for Computer Scientists we highly recommend if you're into that sort of thing).
|Start||Wednesday January 13 2021 — Tuesday May 04 2021|
|Meeting Info||Mondays 1 p.m. — 3 p.m., 19 meetings, 38 hours in class instruction|
A first look at generative effects and Ordering systems
Review of sets, relations, functions. Preorders and monotone maps
Definition and basic examples, observations and generative effects
Definition and basic examples, closure operators, and level shifting
Methods of transition
Definition and first examples, applied and abstract examples
V-categories, Pre-orders as Bool-categories, Lawvere metric spaces
Changing the base of enrichment, enriched functors, Product V-categories
Monoidal closed, Quantales, Matrix multiplication in a quantale
First look at data structure
Free categories, presenting categories via path equations, important categories in mathematics
Sets and functions as databases. Functors, natural transformations, and the category of instances on a schema
Pulling back data along a functor. Adjunctions, left and right pushforward functors
Terminal objects and products. Limits, finite limits in Set, and colimits
What we can do
Feasibility relationships as Bool-profunctors, V-profunctors, and back to co-design diagrams
Composing profunctors, the categories V-prof and Feas
Basic idea of categorification, reflection on wiring diagrams, and monoidal categories
Compact closed categories. Feas as a compact closed category
He teaches poker and chess to small classes which always fill up early. Since he was young, Duncan has had two major passions in his life: games and puzzles. He has always enjoyed the challenge of an intelligent brainteaser, or the inherent complexity of games like chess and poker — which is why he got involved with math and math Olympiads at a very young age.
Duncan attributes his love of teaching to his parents. “My parents were the best and most efficient educators I have encountered in my entire life, and for that I will be eternally grateful! Their influence was so tremendous that I found joy in helping my own classmates with their homework while I was still in elementary school. Second, teaching helps me learn, because it pushes my cognitive limits to the next level. I am a big believer that if you can’t explain something in very simple terms then you don’t truly understand it yourself. As a result, I love the challenge of decomposing complicated ideas to their bare essentials. That’s because it really does affect my own perception of the world. I guess it’s a complex quest to conquer simplicity. And I love every minute of it!”
The intersection of algorithms, mathematics, computer science, and biology has always been a passion for him, and he now considers himself lucky to be working on NUPACK in the Pierce Lab at Caltech, a software suite for the analysis and design of nucleic acid structures, devices, and systems.
Grant is passionate about teaching anyone who will listen about all kinds of different topics in CS, math, etc, believing that everyone should have the opportunity to learn at the highest levels, where community and scientific knowledge are available for those who wish to pursue it.