# 切片拓扑斯　`prop.slice-topos`
命题：$\widetilde{\mathcal{C}/T} \simeq \widetilde{\mathcal{C}}/\widetilde{T}$，且 $j_{T} : \widetilde{\mathcal{C}/T} \to \widetilde{\mathcal{C}}$ 是拓扑斯态射
layer 13 · 命题 · 拓扑斯 · 范畴论
[在星图里打开](../#n=prop.slice-topos)　·　[节点索引](../index.md)

设 $\mathcal{C}$ 是 site、$T \in \widehat{\mathcal{C}}$。则
> 陈述续见 [nodes/prop.slice-topos.2.md](./prop.slice-topos.2.md)


## 为什么成立（入边，证明在 proofs/）
- [`def.slice-category`](../nodes/def.slice-category.md) 切片范畴：用到了定义 切片范畴　[proofs/def-link.slicetopos-slice.md](../proofs/def-link.slicetopos-slice.md)

## 它能推出什么 / 谁在用它
- …另有出边，续页见 [nodes/prop.slice-topos.3.md](./prop.slice-topos.3.md)

refs: Le Stum, An introduction to condensed mathematics, Exercise 3.63, Exercise 3.64

> 说明见 `notes/prop.slice-topos.md`

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