John C. Baez's Blog, page 43
May 25, 2020
The Legendre Transform: a Category Theoretic Perspective
In the ninth talk of the ACT@UCR seminar, Simon Willerton will tell us about a categorical approach to the Legendre transform, and its connection to tropical algebra.
He will give his talk on Wednesday May 27th at 5 pm UTC, which is 10 am in California, or 1 pm on the east coast of the United States, or 6 pm in the UK. It will be held online via Zoom, here:
https://ucr.zoom.us/j/607160601
You can see his slides here:
Simon Willerton, The Legendre–Fenchel transform from a category theoretic pers...
May 18, 2020
A Complete Axiomatisation of Partial Differentiation
In the eighth talk of the ACT@UCR seminar, Gordon Plotkin will tell us about partial differentiation, viewed as a logical theory.
He will give his talk on Wednesday May 20th at 5 pm UTC, which is 10 am in California, or 1 pm on the east coast of the United States, or 6 pm in England. It will be held online via Zoom, here:
https://ucr.zoom.us/j/607160601
Afterwards we will discuss his talk at the Category Theory Community Server. You can see those discussions here if you become a member:
May 10, 2020
Logic Extremists
I apologize for this entry, which doesnt really belong here: its a piece of fan fiction, or actually fictional history, with only a slight bit of relevance to the problems this blog is about.
Like many scientists I have a grudging admiration for the Star Trek franchise: grudging because the science is so often silly, and could often have been improved easily without spoiling the stories; admiration because it has created a hopeful vision of the future, some fun stories, and some...
May 7, 2020
Formal Concepts vs Eigenvectors of Density Operators
In the seventh talk of the ACT@UCR seminar, Tai-Danae Bradley will tell us about applications of categorical quantum mechanics to formal concept analysis.
She will give her talk on Wednesday May 13th at 5 pm UTC, which is 10 am in California, or 1 pm on the east coast of the United States, or 6 pm in England. It will be held online via Zoom, here:
https://ucr.zoom.us/j/607160601
Afterwards we will discuss her talk at the Category Theory Community Server. You can see those discussions here if...
May 4, 2020
Separation Logic Through a New Lens
In the sixth talk of the ACT@UCR seminar, Sarah Rovner-Frydman will tell us about a new approach to separation logic, a way to reason about programs.
Shell give her talk on Wednesday May 5th at 5 pm UTC, which is 10 am in California, or 1 pm on the east coast of the United States, or 6 pm in England. It will be held online via Zoom, here:
https://ucr.zoom.us/j/607160601
Afterwards well discuss her talk at the Category Theory Community Server. You can see those discussions here if you become a...
April 27, 2020
A Localic Approach to Dependency, Conflict, and Concurrency
In the fifth talk of the ACT@UCR seminar, Gershom Bazerman will tell us about a localic approach to the semantics of dependency, conflict, and concurrency.
Hell give his talk on Wednesday April 29th at 5 pm UTC, which is 10 am in California, or 1 pm on the east coast of the United States, or 6 pm in England. It will be held online via Zoom, here:
https://ucr.zoom.us/j/607160601
Afterwards well discuss his talk at the Category Theory Community Server. You can see those discussions here if you...
April 23, 2020
The Monoidal Grothendieck Construction
My student Joe Moeller gave a talk at the MIT Categories Seminar today! People discussed his talk at the Category Theory Community Server, and if you join that you can see the discussion here:
You can see his slides here, and watch a video of his talk here:
The monoidal Grothendieck construction
Abstract. The Grothendieck construction gives an equivalence between...
April 21, 2020
Star-Autonomous Envelopes
In the fourth talk of the ACT@UCR seminar, Michael Shulman will tell us how to create nice string diagams for any closed symmetric monoidal category.
His talk will take place on Wednesday April 22nd at 5 pm UTC, which is 10 am in California, or 1 pm on the east coast of the United States, or 6 pm in England. It will be held online via Zoom, here:
https://ucr.zoom.us/j/607160601
Mike has to teach right after his talk, but he will rejoin us for discussions at 8 pm UTC, or 1 pm in California, or...
April 14, 2020
Bigness (Part 3)
Last time I talked about a 200-terabyte proof, completed in 2016, that the journal Nature called the largest ever. But Michael Nielsen pointed me to a vastly longer proof from 2012. This one required about 60,000,000 terabytesthat is, 60 exabytes! So, they were unable to store the whole proof.
Lets pause to contemplate what 60 exabytes amounts to. Its been estimated that all words ever spoken by human beings, if transcribed into text, would take just 5 exabytes to store. As of 2020, the...
April 13, 2020
Open Games: the Long Road to Practical Applications
The third talk in the ACT@UCR seminar will be Jules Hedges talking about open games! Hell talk on Wednesday April 15th at 5 pm UTC, which is 10 am in California, or 1 pm on the east coast of the United States, or 6 pm in England. You can see his talk live via Zoom, here:
https://ucr.zoom.us/j/607160601
Well have discussions during his talk and afterwards at the Category Theory Community Server. I recommend coming 15 minutes early for cookies and coffee.
You can already see the slides here....
John C. Baez's Blog
- John C. Baez's profile
- 29 followers
