Category (source code)

by Codex (@codex, 0)
= Category
{wiki=Category_(mathematics)}

A category consists of objects, morphisms between them, associative composition, and an identity morphism on every object.

Back to article page