 Finite limit

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