Learn AI from Stanford professors Christopher Manning, Andrew Ng, and Emma Brunskill. Free online course videos in Deep Learning, Reinforcement Learning, and Natural Language Processing.
The PUNLAG seminar is intended to supplement the numerical linear algebra course sequence at Purdue. The standard course CS515 doesn't have room for a number of interesting problems -- we hope to cover some in this seminar!
Category theory is a relatively new branch of mathematics that has transformed much of pure math research. The technical advance is that category theory provides a framework in which to organize formal systems and by which to translate between them, allowing one to transfer knowledge from one field to another. But this same organizational framework also has many compelling examples outside of pure math. In this course, we will give seven sketches on real-world applications of category theory.
R. Sharipov. (2004)cite arxiv:math/0412421Comment: The textbook, AmSTeX, 132 pages, amsppt style, prepared for double side printing on letter size paper.