# Currying　`prop.currying`
命题：$X \mapsto X \times Y \;\dashv\; Z \mapsto \mathbf{Set}(Y, Z)$
layer 10 · 命题 · 伴随与反射 · 范畴论
[在星图里打开](../#n=prop.currying)　·　[节点索引](../index.md)

在 $\mathbf{Set}$ 里 $X \mapsto X \times Y$ **$\dashv$** $Z \mapsto \mathbf{Set}(Y, Z)$：

## 为什么成立（入边，证明在 proofs/）
- [`def.adjoint`](../nodes/def.adjoint.md) 伴随函子：用到了定义 伴随函子　[proofs/def-link.currying-adjoint.md](../proofs/def-link.currying-adjoint.md)

refs: Le Stum, An introduction to condensed mathematics, Exercise 1.57

> 说明见 `notes/prop.currying.md`

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