My student Kenny Courser’s thesis has hit the arXiv:

• Kenny Courser, *Open Systems: A Double Categorical Perspective*, Ph.D. thesis, U. C. Riverside, 2020.

He’s been the driving force behind a lot of work on open systems and networks at U. C. Riverside. By the way, he’s looking for a job, so if you think you know a position that’s good for someone who can teach all kinds of math and also strong on applied category theory, give him or me a shout.

But let me describe his thesis.

His thesis is *big!* It lays out a general approach to open systems—systems that can interact with their environment. In this approach, you can attach open systems in series to form larger open systems, so they act like morphisms in a category:

But you can also study 2-morphisms *between* open systems. These describe ways to include a little system in a bigger one, or simplify a big complicated system down to smaller one:

To handle all this, Courser uses ‘double categories’, which he explains.

His formalism also lets you set two open systems side by side ‘in parallel’ and get a new open system:

To handle this, he uses ‘symmetric monoidal double categories’. He explains what these are, and how to get them. And he illustrates his setup with examples:

• open Petri nets

• open electrical circuits

• open chemical reaction networks

• open Markov processes

At a more technical level, Courser explains the problems with Brendan Fong’s and my work on decorated cospans and shows how to fix in not just one but two ways: using structured cospans, and using a new improved version of decorated cospans. He also shows that these two approaches are equivalent under fairly general conditions.

His thesis unifies a number of papers:

• Kenny Courser, A bicategory of decorated cospans, *Theory and Applications of Categories* **32** (2017), 995–1027.

• John Baez and Kenny Courser, Coarse-graining open Markov processes, *Theory and Applications of Categories* **33** (2018), 1223–1268. (Blog article here.)

• John Baez and Kenny Courser, Structured cospans. (Blog article here.)

• John Baez, Kenny Courser and Christina Vasilakopoulou, Structured versus decorated cospans.

The last, still being written, introduces the new improved decorated cospans and proves their equivalence to structured cospans under some conditions. For now you’ll have to read Kenny’s thesis to see how this works!

Next time I’ll explain the problems with the original decorated cospan formalism. Another nice thing about Kenny’s thesis is that it goes over a bunch of papers that were afflicted by these problems, and shows how to fix them.

• Part 1: an overview of Courser’s thesis and related papers.

• Part 2: problems with decorated cospans.

Note that “open systems” also has a completely different meaning which might be mentioned in some job descriptions. :-)

I guess so! I mean this kind of open system:

• Wikipedia, Open system (systems theory).

Even here there are arguments about whether systems where only energy flows in and out, but not matter, count as “open”. I count them as open because I go about this stuff so abstractly that my open systems can have energy, matter, probability…

anythingflowing in or out.