Cartesian double theories

Earlier this week, I arXived my paper, coauthored with Michael Lambert, titled “Cartesian double theories: A double-categorical framework for categorical doctrines” (Lambert and Patterson 2023). This paper has been in the works for so long that I was becoming anxious that it would ever be released. Needless to say, I’m glad it’s finally out there!

This is a companion discussion topic for the original entry at