Algebra

A Category is a Partial Algebra

Authors: Shao-Dan Lee
Comments: 7 Pages.

A category consists of arrows and objects. We may define a language L B {dom, cod, ◦}. Then a category is a partial algebra of the language L. Hence a functor is a homomorphism of partial algebras. And a natural transformation of functors is a natural transformation of homomorphisms. And we may define a limit of a homomorphism like a limit of functor. Then a limit of a homomorphism forms a homomorphism of partial algebras.
Category: Algebra