finitely cocomplete category的意思|示意

美 / / 英 / /

有限共完全范畴

有限共完全范畴 ... 有限归纳法：finite induction 有限共完全范畴：finitely cocomplete category 有限方程：finite equation ...