finite limit

1. Definition

A finite colimit is a limit for a finite diagram

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 18:42