The following pages link to Nominal Lawvere Theories (Q3003347):
Displaying 7 items.
- Nominal lambda calculus: an internal language for FM-Cartesian closed categories (Q265798) (← links)
- Unity in nominal equational reasoning: the algebra of equality on nominal sets (Q420858) (← links)
- Higher Lawvere theories (Q2173857) (← links)
- Nominal Lawvere theories: a category theoretic account of equational theories with names (Q2453579) (← links)
- Two cotensors in one: presentations of algebraic theories for local state and fresh names (Q2805171) (← links)
- Lawvere theories and C-systems (Q4959711) (← links)
- The nominal/FM Yoneda Lemma (Q4988443) (← links)