Home
Work
Team
Events
Blog
Get Involved
Cartesian double theories: A double-categorical framework for categorical doctrines
Authors
Michael Lambert
Evan Patterson
Doi
10.1016/j.aim.2024.109630