范畴论概念
积,是范畴论的一个概念,如:两个整数相乘、向量空间中两个向量内积等。
定义
给定范畴C与对角函子Δ:C→C×C,为C×C的对象,则从Δ到泛态射称为余积图表。
积图表的对象为C中对象,称为积对象,态射为C×C中态射
故积图表可表示为。
推广
当J为离散范畴{1,2}时,对应的投射极限为积图表。即余积可以视为一种特殊的投射极限。
例子
集范畴Set的积为集合的笛卡尔积
拓扑空间范畴Top的积为拓扑空间的笛卡儿积。
相关词汇
~数。乘~。体~。容~。
就代数对象而言有
就代数结构而言有:
参考资料
最新修订时间:2024-05-21 13:29
目录
概述
定义
推广
例子
参考资料