small limit

1. Definition

Let \(\mathcal{C}\) be a category and \(F: \mathcal{D} \rightarrow \mathcal{C}\) be functor and \(A \in \mathrm{Ob}(\mathcal{C})\) a limit of \(F\). Then \(A\) is said to be a small limit, if \(\mathcal{D}\) is a small category

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 15:52