在数学里的范畴论中，极限的概念融贯了多种构造，包括（）等等;范畴论中许多泛性质也可从 极限来理解。