✦ LIBER ✦

Freyd categories are Enriched Lawvere Theories

✍ Scribed by Staton, Sam

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Lawvere's Basic Theory of the Category o

✍ Georges Blanc and Anne Preller 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 166 KB

Algebraic Theories, Algebraic Categories

✍ Review by: Anne Preller 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 338 KB

Nominal Lawvere Theories: A category the

✍ Clouston, Ranald 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 411 KB

An Elementary Theory of the Category of

✍ Review by: Calvin C. Elgot 📂 Article 📅 1972 🏛 Association for Symbolic Logic 🌐 English ⚖ 355 KB

Lindenbaum algebras of intuitionistic th

✍ Peter Freyd; Harvey Friedman; Andre Scedrov 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 462 KB

Applications of Sup-Lattice Enriched Cat

✍ Pitts, A. M. 📂 Article 📅 1988 🏛 Oxford University Press 🌐 English ⚖ 844 KB