恒等态射 (identity morphism)

按作者与版本查阅

以下按已登记位置排列。出现顺序、原文引用与已登记依赖分别展示；最早位置不代表全书首次定义。

Szekeres · source-snapshot-bc3404156f6e

已登记出处中的最早位置：§1.7 · zh-CN。

位置	语言	登记角色
§1.7	zh-CN · 英文上下文	术语出现；位于定义入口环境中

来源短摘录与定位

§1.7 · zh-CN · translation · unreviewed

范畴

一个范畴包含：

1. 一类称为对象的成员。这里使用“类”而不是“集合”，因为“全部集合”这样的汇集太大，不能直接作为集合而避免基础矛盾。
2. 对每对对象 $A,B$，有态射(morphism)集 $\mathrm{Mor}(A,B)$，其中的成员记为 $\varphi :A\to B$。
3. 对 $\varphi :A\to B$ 与 $\psi :B\to C$，有复合态射 $\psi \circ \varphi :A\to C$，并满足结合律

$$(\rho \circ \psi )\circ \varphi =\rho \circ (\psi \circ \varphi ).$$

每个对象 $A$ 还有恒等态射(identity morphism) ${\iota }_A:A\to A$，满足 $\varphi \circ {\iota }_A=\varphi$ 与 ${\iota }_A\circ \psi =\psi$，只要复合的定义域、陪域相匹配。

来源覆盖、定位与记录

索引保留所有已登记出处，不受模型材料包八小节限额影响。中英上下文按已登记的书、版次与小节配对，不冒充另一语言的概念定义。没有穷尽全书未标记的术语；程序校验不提升原著或译文审阅资格。

登记位置 1；当前可定位出现 1。

永久身份：urn:uuid:bf12827c-4e18-4a4b-b0cd-beaf17f4c035。

身份历史 · 结构化来源索引