Jens Seeber on Lawvere theories

Last updated Mar 7, 2023

Tags: Lawvere theory, Cartesian bicategory.