Did you know that Lawvere did classified work on arms control in the 1960s, back when he was writing his thesis? You can read more here: Yes, that’s right. For technical reasons the n-Category Café ...

TrackBack URL for this Entry: https://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/3607 ...

It’s finally here: software that uses category theory to let you build models of dynamical systems! We’re going to train epidemiologists to use this to model the spread of disease. My first talk on ...

Why Mathematics is Boring I don’t really think mathematics is boring. I hope you don’t either. But I can’t count the number of times I’ve launched into reading a math paper, dewy-eyed and eager to ...

The discussion on Tom’s recent post about ETCS, and the subsequent followup blog post of Francois, have convinced me that it’s time to write a new introductory blog post about type theory. So if ...

One of the main things you can do with a measure is integrate with respect to it — or ‘against’ it, as they say. So: what happens if you try to integrate against the Euler characteristic? I don’t ...

Faster-than-light neutrinos? Boring… let’s see something really revolutionary. Edward Nelson, a math professor at Princeton, is writing a book called Elements in which he claims to prove the ...

Back to modal HoTT. If what was considered last time were all, one would wonder what the fuss was about. Now, there’s much that needs to be said about type dependency, types as propositions, sets, ...

These are some lecture notes for a 4 1 2 -hour minicourse I’m teaching at the Summer School on Algebra at the Zografou campus of the National Technical University of Athens. To save time, I am ...

The monoid of n × n matrices has an obvious n -dimensional representation, and you can get all its representations from this one by operations that you can apply to any representation. So its category ...

Example: suppose we have a data structure representing an abstract address. An address is, alternatively, an email address or a postal address like in the previous example. We can try to extract a ...