Cartesian double theories: a double-categorical framework for categorical doctrines

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)

zbMATH Keywords

double categoriescategorical logicdoctrinesdouble theories

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) 2-categories, bicategories, double categories (18N10)

This page was built for publication: Cartesian double theories: a double-categorical framework for categorical doctrines