# 切片范畴是拉回　`prop.slice-cartesian`
切片范畴的方块是笛卡尔的
layer 13 · 命题 · 预层与米田 · 范畴论
[在星图里打开](../#n=prop.slice-cartesian)　·　[节点索引](../index.md)

对任取的一个预层，下面这个方块

$$\begin{array}{ccc} \mathcal{C}/T & \hookrightarrow & \widehat{\mathcal{C}}/T \\ \big\downarrow{\scriptstyle{j_{T}}} & & \big\downarrow \\ \mathcal{C} & \xrightarrow{\ h\ } & \widehat{\mathcal{C}} \end{array}$$
> 陈述续见 [nodes/prop.slice-cartesian.2.md](./prop.slice-cartesian.2.md)


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

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

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

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