ALGEBRALISED TEOORIAD KUI KATEGOORIAD

Algebraliseks teooriaks nimetatakse kategooriat T = {T^0, T^1, ...,T^n, ...} , mille objektid on nummerdatud, kusjuures objekt T^n on objekti T^1 n-es aste. Siinjuures teooria T mudeliks on funktor F: T -> SET, mis säilitab lőplikud korrutised, ning nende nn T-mudelite homomorfismiks on loomulikud teisendused. Juttu tuleb algebralistest funktoritest. Esitatakse tingimused selleks, et kategooria oleks esitatav mingi algebralise teooria mudelite kategooriana.