Pruim, Jorian (2025) Finite Lawvere Theory. Bachelor's Thesis, Mathematics.
|
Text
main.pdf Download (449kB) | Preview |
|
![[img]](https://fse.studenttheses.ub.rug.nl/style/images/fileicons/text.png) |
Text
Toestemming.pdf Restricted to Registered users only Download (166kB) |
Abstract
In this paper we construct a framework to study algebraic structures through the lens of a tweaked version of Lawvere Theory. We do this by encoding operations and properties of the structures in suitable templates in the language of categories. Furthermore we exhibit some examples and note some of the limitations of this construction. In the first section we go over the established background definitions used in the language of categories, and in the second we provide a step-by-step motivation of the construction and properly define it.
| Item Type: | Thesis (Bachelor's Thesis) |
|---|---|
| Supervisor name: | Lorscheid, O. |
| Degree programme: | Mathematics |
| Thesis type: | Bachelor's Thesis |
| Language: | English |
| Date Deposited: | 01 May 2025 06:22 |
| Last Modified: | 01 May 2025 06:22 |
| URI: | https://fse.studenttheses.ub.rug.nl/id/eprint/35128 |
Actions (login required)
 |
View Item |