Mario Román

❯

❯

❯

Lawvere theories and universal models

Lawvere theories and universal models

Apr 29, 20251 min read

lawvere-theories-and-universal-models

Tags: Cartesian multicategory, Categorical Logic (Shulman, 2016).

Graph View

Backlinks

Monoidal Context Theory, PhD Thesis (Román, 2023)
Lawvere theory
Categorical Logic (Shulman, 2016)

Mario Román, CC-BY-SA. Built with Quartz © 2025.

GitHub
ArXiv
OrcID