A review of categorical algebra and Lawvere theories

Bu tezde evrensel cebirin kategori teorik temellerini gözden geçiriyoruz. Evrensel cebir, cebirsel yapıları kümeler, işlemler ve denklemsel aksiyomlara dayalı teoriler olarak inceler. Kategori teorisi ise matematiksel kavramların hepsinin soyut çalışmasıdır, bu yüzden sıklıkla "matematiğin kuşbakışı görünümü" olarak kabul edilir. Lawvere teorileri cebirsel yapıların toplucaa kategori teorik anlayışını sağlar. Bu tezde öncelikle Lawvere teorilerinin bazı temel özelliklerini inceleyeceğiz. Bu amaçla önce kategori teorisinin temellerinden bahsedeceğiz. Ardından Lawvere teorilerinin tanımını ve özelliklerini vereceğiz. Son olarak bilinen bazı cebirsel yapılarla ilişkili Lawvere teorileri örneklerini listeleyeceğiz.