Mario Román

❯

❯

Lawvere theories and universal models

Lawvere theories and universal models

Jul 24, 20251 min read

lawvere-theories-and-universal-models

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

Graph View

Backlinks

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

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

GitHub
ArXiv
OrcID