Source: wikibot/lawvere-theory

= Lawvere theory
{wiki=Lawvere_theory}