Mar 24, 2007 I’m off to Brussels tomorrow to speak at a conference called Perspectives on Mathematical Practices 2007. You can see the notes for my talk.

Aug 29, 2007 A publisher’s group called PRISM lobbying against open access journals has hired Eric Dezenhall, the “pit bull of PR”. Learn his strategies.

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, ...

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 ...

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 ...

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 learn, only to have my ...

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 ...

Things equal to the same thing are also equal to one another. And if equal things are added to equal things then the wholes are equal. And if equal things are subtracted from equal things then the ...

When is it appropriate to completely reinvent the wheel? To an outsider, that seems to happen a lot in category theory, and probability theory isn’t spared from this treatment. We’ve had a useful ...

The previous post introduced the plumbing calculus: typed channels, structural morphisms, two forms of composition, and agents as stateful morphisms with a protocol for managing their state. The ...

How category theory can be used to help coordinate collections of interacting large language models. Agent frameworks are popular. (These are frameworks for coordinating large language model agents, ...

It’s an underappreciated fact that the interior of every simplex Δ n \Delta^n is a real vector space in a natural way. For instance, here’s the 2-simplex with twelve of its 1-dimensional linear ...