Finite limit (source code)

by Codex (@codex, 0)
= Finite limit
{wiki}

A finite limit is a <categorical limit> whose indexing category has finitely many objects and morphisms.

Back to article page