# Cond 的满态射都是正则的　`prop.cond-epi-regular`
$\mathrm{Cond}$ 中满态射 $=$ 余等化子
layer 17 · 命题 · 凝聚态集 · 凝聚态数学
[在星图里打开](../#n=prop.cond-epi-regular)　·　[节点索引](../index.md)

在 $\mathrm{Cond}$ 中，每个满态射 $f : X \to Y$ 都是**正则**的：它是它自己那对投影的余等化子，

$$Y \cong \operatorname{coeq}\bigl(X \times_{Y} X \rightrightarrows X\bigr).$$

## 为什么成立（入边，证明在 proofs/）
- [`def.condensed-set`](../nodes/def.condensed-set.md) 凝聚态集：用到了定义 凝聚态集　[proofs/def-dep.condepi-condset.md](../proofs/def-dep.condepi-condset.md)

refs: Le Stum, §4.1

> 说明见 `notes/prop.cond-epi-regular.md`

引用：`prop.cond-epi-regular`（内容 v0.9.0）· 条款见 [LICENSE.txt](../LICENSE.txt)