Mario Román

Search

Search IconIcon to open search

Jens Seeber on Lawvere theories

Last updated Feb 3, 2024

jens-seeber-on-lawvere-theories

Tags: Cartesian multicategory, Cartesian bicategory.