胚化

胚化 (或横向范畴化) 是范畴论中的一种构造. 给定某种数学概念, 胚化的过程是将该概念看成只有一个对象的某种范畴 (常常是充实范畴或内部范畴), 然后再把有多个对象的这种范畴叫做该概念的胚化.

一个典型的例子是, 群的胚化是群胚, 因为群是只有一个对象的群胚.

1例子

•	幺半群 $\Rightarrow$ 范畴
•	群 $\Rightarrow$ 群胚
•	环 $\Rightarrow$ 环胚
•	Lie 群 $\Rightarrow$ Lie 群胚
•	Lie 代数 $\Rightarrow$ Lie 代数胚
•	$C^{\ast }$ 代数 $\Rightarrow$ $C^{\ast }$ 范畴

2相关概念

•

范畴化

术语翻译

胚化 • 英文 oidification

横向范畴化 • 英文 horizontal categorification