Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

July 30, 2023

ACT 2023 — Network Theory Talks

Posted by John Baez

It’s not too late to register to join talks on Zoom at Applied Category Theory 2023. It starts on Monday July 31, 2023! But if you miss out, you should be able to watch everything later on YouTube.

Here’s where you can register:

and here’s the program of talks:

Besides talks there will also be tutorials:

Monday (simultaneously):

  • David Jaz Myers, Lenses

  • Paolo Perrone, Markov categories

Tuesday (simultaneously):

  • Dorette Pronk, Double categories

  • Evan Patterson and Owen Lynch, AlgebraicJulia

The conference is big, so let me just point out a few talks connected to network theory.

Posted at 12:04 PM UTC | Permalink | Followups (2)

July 9, 2023

Who Invented Monoidal Categories?

Posted by John Baez

Most people would say Mac Lane invented monoidal categories. But the history is more complicated — as usual.

Posted at 1:44 AM UTC | Permalink | Followups (24)

July 8, 2023

Profinite Group Actions

Posted by John Baez

I have three questions. I have some guesses about the answers, so don’t think I’m completely clueless. But I’m clueless enough that I’d prefer to just give the questions, not my guesses.

Posted at 4:19 PM UTC | Permalink | Followups (14)

July 6, 2023

Agent-Based Models (Part 1)

Posted by John Baez

I’m working with Nate Osgood and other folks to develop better modeling tools for epidemiologists. Right now we’re trying to develop a category-based framework for agent-based models. It’s a bit tough since many different techniques are used in such models, without yet an overarching discipline — Nate likened it to the ‘wild West’. I have a lot to learn, but I thought I should start keeping notes on our conversations.

I may or may not post future installments here: I mainly talk about applied category theory on the Azimuth blog. But I thought some of you here might like to know this is going on.

So, what’s the deal with agent-based models?

Posted at 11:34 AM UTC | Permalink | Followups (2)