with semicartesian double categories, of course: https://mroman42.github.io/notes/pieces/Timing-crema-di-mascarpone/ https://mroman42.github.io/notes/pieces/Tim

with semicartesian double categories, of course: https://mroman42.github.io/notes/pieces/Timing-crema-di-mascarpone/ https://mroman42.github.io/notes/pieces/Timing-crema-di-masc...