# 全忠实与单位　`prop.adjoint-full-faithful`
全忠实 $\iff$ 单位（余单位）是同构
layer 11 · 命题 · 伴随与反射 · 范畴论
[在星图里打开](../#n=prop.adjoint-full-faithful)　·　[节点索引](../index.md)

设
> 陈述续见 [nodes/prop.adjoint-full-faithful.2.md](./prop.adjoint-full-faithful.2.md)


## 为什么成立（入边，证明在 proofs/）
- …另有入边，续页见 [nodes/prop.adjoint-full-faithful.4.md](./prop.adjoint-full-faithful.4.md)

## English abstract · **draft** · machine-drafted, pending author review; Chinese is authoritative
> English abstract 续见 [nodes/prop.adjoint-full-faithful.3.md](./prop.adjoint-full-faithful.3.md)

refs: Le Stum, An introduction to condensed mathematics, §1.5

外部：Wikipedia https://en.wikipedia.org/wiki/Full_and_faithful_functors · nLab https://ncatlab.org/nlab/show/full+and+faithful+functor

> 说明见 `notes/prop.adjoint-full-faithful.md`

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