Cartesian double theories: a double-categorical framework for categorical doctrines
From MaRDI portal
Publication:6492255
DOI10.1016/j.aim.2024.109630MaRDI QIDQ6492255
Evan Patterson, Michael Lambert
Publication date: 24 April 2024
Published in: Advances in Mathematics (Search for Journal in Brave)
This page was built for publication: Cartesian double theories: a double-categorical framework for categorical doctrines