Tai-Danae Bradley has a new free “booklet” on applied category theory. It was inspired by the workshop Applied Category Theory 2018, which she attended, and I think it makes a great com…
Tag: math.CT
🔖 Categorical informatics
"Category theory is a universal modeling language."
Background.
Success is founded on information. A tight connection between success (in anything) and information. It follows that we should (if we want to be more successful) study what information is.
Grant proposals. These are several grant proposals, some funded, some in the pipeline, others not funded, that explain various facets of my research project.
Introductory talk (video, slides).
Blog post, on John Baez's blog Azimuth, about my motivations for studying this subject. (Here's a .pdf version.)
🔖 [1809.05923] What is Applied Category Theory? by Tai-Danae Bradley
This is a collection of introductory, expository notes on applied category theory, inspired by the 2018 Applied Category Theory Workshop, and in these notes we take a leisurely stroll through two themes (functorial semantics and compositionality), two constructions (monoidal categories and decorated cospans) and two examples (chemical reaction networks and natural language processing) within the field. [PDF]
Friends! I am so happy to share that my little booklet “What is Applied Category Theory?” is now available on the arXiv. It’s a collection of introductory, expository notes inspired by the ACT workshop that took place earlier this year. Enjoy! https://t.co/EPYP19z14x pic.twitter.com/O4uVhj401s
— Tai-Danae Bradley (@math3ma) September 18, 2018
See also Notes on Applied Category Theory
🔖 Temporal Type Theory: A topos-theoretic approach to systems and behavior | ArXiv
This book introduces a temporal type theory, the first of its kind as far as we know. It is based on a standard core, and as such it can be formalized in a proof assistant such as Coq or Lean by adding a number of axioms. Well-known temporal logics---such as Linear and Metric Temporal Logic (LTL and MTL)---embed within the logic of temporal type theory. The types in this theory represent "behavior types". The language is rich enough to allow one to define arbitrary hybrid dynamical systems, which are mixtures of continuous dynamics---e.g. as described by a differential equation---and discrete jumps. In particular, the derivative of a continuous real-valued function is internally defined. We construct a semantics for the temporal type theory in the topos of sheaves on a translation-invariant quotient of the standard interval domain. In fact, domain theory plays a recurring role in both the semantics and the type theory.
hat tip:
This morning at ACT2018, David Spivak gave a VERY cool talk on using topos theory to model how airplanes can maintain a safe distance from each other in flight. You can watch the talk here! https://t.co/pUXZhj6SXA Also check out “Temporal Type Theory” at https://t.co/6LWNOQWtqw pic.twitter.com/7x9yjBwVIA
— Tai-Danae Bradley (@math3ma) May 2, 2018
Reply to A (very) gentle comment on Algebraic Geometry for the faint-hearted | Ilyas Khan
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/
🔖 [1803.05316] Seven Sketches in Compositionality: An Invitation to Applied Category Theory
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]
👓 Applied Category Theory – Online Course | John Carlos Baez
📺 Proving Brouwer’s Fixed Point Theorem | PBS Infinite Series on YouTube
There is a proof for Brouwer's Fixed Point Theorem that uses a bridge - or portal - between geometry and algebra. Analogous to the relationship between geometry and algebra, there is a mathematical “portal” from a looser version of geometry -- topology -- to a more “sophisticated” version of algebra. This portal can take problems that are very difficult to solve topologically, and recast them in an algebraic light, where the answers may become easier. Written and Hosted by Tai-Danae Bradley; Produced by Rusty Ward; Graphics by Ray Lux; Assistant Editing and Sound Design by Mike Petrow and Meah Denee Barrington; Made by Kornhaber Brown (www.kornhaberbrown.com)
I had originally started following Tai-Danae Bradley on Instagram having found her account via the #math tag. Turns out she’s burning up the world explaining some incredibly deep and complex mathematics in relatively simple terms. If you’re into math and not following her work already, get with the program. She’s awesome!
Personal Website: http://www.math3ma.com/
Twitter: @math3ma
Instagram: @math3ma
YouTube series: PBS Infinite Series
While this particular video leaves out a masters degree’s worth of detail, it does show some incredibly powerful mathematics by analogy. The overall presentation and descriptions are quite solid for leaving out as much as they do. This may be some of the best math-based science communication I’ve seen in quite a while.
I must say that I have to love and laugh at the depth and breadth of the comments on the video too. At best, this particular video, which seems to me to be geared toward high school or early college viewers and math generalists, aims to introduce come general topics and outline an incredibly complex proof in under 9 minutes. People are taking it to task for omitting “too much”! To completely understand and encapsulate the entirety of the topics at hand one would need coursework including a year’s worth of algebra, a year’s worth of topology including some algebraic topology, and a minimum of a few months worth of category theory. Even with all of these, to fill in all the particular details, I could easily see a professor spending an hour at the chalkboard filling in the remainder without any significant handwaving. The beauty of what she’s done is to give a very motivating high level perspective on the topic to get people more interested in these areas and what can be done with them. For the spirit of the piece, one might take her to task a bit for not giving more credit to the role Category Theory is playing in the picture, but then anyone interested is going to spend some time on her blog to fill in a lot of those holes. I’d challenge any of the comments out there to attempt to do what she’s done in under 9 minutes and do it better.
📺 Introduction to Category Theory 1 by Steven Roman | YouTube
Lecture one of six in an introductory set of lectures on category theory.
Take Away from the lecture: Morphisms are just as important as the objects that they morph. Many different types of mathematical constructions are best described using morphisms instead of elements. (This isn’t how things are typically taught however.)
Would have been nice to have some more discussion of the required background for those new to the broader concept. There were a tremendous number of examples from many areas of higher math that many viewers wouldn’t have previously had. I think it’s important for them to know that if they don’t understand a particular example, they can move on without much loss as long as they can attempt to apply the ideas to an area of math they are familiar with. Having at least a background in linear algebra and/or group theory are a reasonable start here.
In some of the intro examples it would have been nice to have seen at least one more fully fleshed out to better demonstrate the point before heading on to the multiple others which encourage the viewer to prove some of the others on their own.
Thanks for these Steven, I hope you keep making more! There’s such a dearth of good advanced math lectures on the web, I hope these encourage others to make some of their own as well.
Reply to Jeremy Kun on Twitter
This one has a little car. Say, what a lot of categories there are!
👓 Limits and Colimits, Part 1 (Introduction) | Math3ma
I'd like to embark on yet another mini-series here on the blog. The topic this time? Limits and colimits in category theory! But even if you're not familiar with category theory, I do hope you'll keep reading. Today's post is just an informal, non-technical introduction. And regardless of your categorical background, you've certainly come across many examples of limits and colimits, perhaps without knowing it! They appear everywhere - in topology, set theory, group theory, ring theory, linear algebra, differential geometry, number theory, algebraic geometry. The list goes on. But before diving in, I'd like to start off by answering a few basic questions.
Interestingly I came across this on Instagram. It may be one of the first times I’ve seen math at this level explained in pictorial form via Instagram.
https://www.instagram.com/p/Bdd8vmfBQvG/
🔖 Adjoint School, ACT 2018 (Applied Category Theory)
The Workshop on Applied Category Theory 2018 takes place in May 2018. A principal goal of this workshop is to bring early career researchers into the applied category theory community. Towards this goal, we are organising the Adjoint School. The Adjoint School will run from January to April 2018.
h/t John Carlos Baez
Basic Category Theory by Tom Leinster | Free Ebook Download
This short introduction to category theory is for readers with relatively little mathematical background. At its heart is the concept of a universal property, important throughout mathematics. After a chapter introducing the basic definitions, separate chapters present three ways of expressing universal properties: via adjoint functors, representable functors, and limits. A final chapter ties the three together. For each new categorical concept, a generous supply of examples is provided, taken from different parts of mathematics. At points where the leap in abstraction is particularly great (such as the Yoneda lemma), the reader will find careful and extensive explanations.
h/t to John Carlos Baez for the notice:
My friend Tom Leinster has written a great introduction to that wonderful branch of math called category theory! It’s free:
https://arxiv.org/abs/1612.09375
It starts with the basics and it leads up to a trio of related concepts, which are all ways of talking about universal properties.
Huh? What’s a ‘universal property’?
In category theory, we try to describe things by saying what they do, not what they’re made of. The reason is that you can often make things out of different ingredients that still do the same thing! And then, even though they will not be strictly the same, they will be isomorphic: the same in what they do.
A universal property amounts to a precise description of what an object does.
Universal properties show up in three closely connected ways in category theory, and Tom’s book explains these in detail:
through representable functors (which are how you actually hand someone a universal property),
through limits (which are ways of building a new object out of a bunch of old ones),
through adjoint functors (which give ways to ‘freely’ build an object in one category starting from an object in another).
If you want to see this vague wordy mush here transformed into precise, crystalline beauty, read Tom’s book! It’s not easy to learn this stuff – but it’s good for your brain. It literally rewires your neurons.
Here’s what he wrote, over on the category theory mailing list:
…………………………………………………………………..
Dear all,
My introductory textbook “Basic Category Theory” was published by Cambridge University Press in 2014. By arrangement with them, it’s now also free online:
https://arxiv.org/abs/1612.09375
It’s also freely editable, under a Creative Commons licence. For instance, if you want to teach a class from it but some of the examples aren’t suitable, you can delete them or add your own. Or if you don’t like the notation (and when have two category theorists ever agreed on that?), you can easily change the Latex macros. Just go the arXiv, download, and edit to your heart’s content.
There are lots of good introductions to category theory out there. The particular features of this one are:
• It’s short.
• It doesn’t assume much.
• It sticks to the basics.
References
How to Bake Pi: An Edible Exploration of the Mathematics of Mathematics | Category Theory
It just came out in the U.S. market on May 5, 2015, so it’s very new in the market. My guess is that even those who aren’t intimidated will get a lot out of it as well. A brief description of the book follows:
“What is math? How exactly does it work? And what do three siblings trying to share a cake have to do with it? In How to Bake Pi, math professor Eugenia Cheng provides an accessible introduction to the logic and beauty of mathematics, powered, unexpectedly, by insights from the kitchen: we learn, for example, how the béchamel in a lasagna can be a lot like the number 5, and why making a good custard proves that math is easy but life is hard. Of course, it’s not all cooking; we’ll also run the New York and Chicago marathons, pay visits to Cinderella and Lewis Carroll, and even get to the bottom of a tomato’s identity as a vegetable. This is not the math of our high school classes: mathematics, Cheng shows us, is less about numbers and formulas and more about how we know, believe, and understand anything, including whether our brother took too much cake.
At the heart of How to Bake Pi is Cheng’s work on category theory—a cutting-edge “mathematics of mathematics.” Cheng combines her theory work with her enthusiasm for cooking both to shed new light on the fundamentals of mathematics and to give readers a tour of a vast territory no popular book on math has explored before. Lively, funny, and clear, How to Bake Pi will dazzle the initiated while amusing and enlightening even the most hardened math-phobe.”
Dr. Cheng recently appeared on NPR’s Science Friday with Ira Flatow to discuss her book. You can listen to the interview below. Most of the interview is about her new book. Specific discussion of category theory begins about 14 minutes into the conversation.
Dr. Eugenia Cheng can be followed on Twitter @DrEugeniaCheng. References to her new book as well as some of her syllabi and writings on category theory have been added to our Category Theory resources pages for download/reading.