集合と写像の話をします。集合圏のごく基本的な用語・記法は使います（最初の節に説明あり）。写像のセクションと集合族のタプルを定義して、その関係を述べます。$`\newcommand{\In}{\text{ in }} \newcommand{\id}{\mathrm{id}} \newcommand{\Iff}{\Leftri…