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 https://topos.site/blog/2023-10-13-cartesian-double-theories/