Interested Article - Функтор (математика)

??????? — ?????? ??? ??????????? ????? ??????????? . ??? ????? ???????? ??? ???????????, ??????????? ?????????. ???????? ????? ?????? ??????????? ???????? ?????????? ? ????????? ????? ????????? . ???????????? ???? ????????? ?? ???????? ?????????? ? ??????? ??????, ??? ??? ???????????? ?? ???????? ?? ???????? ??????? . ???? ?? ???????? ?????????? ???????? ?????????-????????????? ????????? — ?????????? ? ZFC ??????????? ?? ??? ??????? ? ????????????? .

??????? ???????? ?????? ????????????? ? ?????????????? ????????? , ? ??????? ?????????????? ????????????? ?????????????? ?????????????? ??????? (????????, ??????????????? ?????? ), ? ??????????? ???????????? — ???????????? ????? ????? ?????????. ???????????? ???????? ???????? ??????????????? ?? ?????? ???????? ?????????? ? ???????????? ??? ????, ????? ????????? ????? ????? ????????? ?????????.

?????? «???????» ??? ????????????? ???????????? ?? ????? ???????? ???????? ??????? , ??? ???? ? ??????? ????? «???????» ?????????? ? ???????????????? ??????? .

???????????

??????? $F$ ?????? ????????? ?????????? ????????? $\tau$ ? $\sigma$

(????????????) ??????? ${\mathcal {F}}\colon {\mathcal {C}}\to {\mathcal {D}}$ ?? ????????? ${\mathcal {C}}$ ? ????????? ${\mathcal {D}}$ — ??? ???????????, ???????:

???????????? ??????? ??????? $X\in {\mathcal {C}}$ ?????? ${\mathcal {F}}(X)\in {\mathcal {D}},$
???????????? ??????? ???????? $f:X\to Y$ $f:X\to Y$ ? ????????? ${\mathcal {C}}$ ${\mathcal {C}}$ ??????? ${\mathcal {F}}(f):{\mathcal {F}}(X)\to {\mathcal {F}}(Y)$ ${\mathcal {F}}(f):{\mathcal {F}}(X)\to {\mathcal {F}}(Y)$ ? ????????? ${\mathcal {D}}$ $\mathcal{D}$ . ??? ????????????? ?????? ???????? ?????????? ??????????:
- ${\mathcal {F}}(\mathrm {id} _{A})=\mathrm {id} _{{\mathcal {F}}(A)}$ ,
- ${\mathcal {F}}(g\circ f)={\mathcal {F}}(g)\circ {\mathcal {F}}(f)$ .

????? ???????, ??????? ?????? ????????? ????????????? ???????? ? ????????? ?????????? ?????????.

??????????? ???????, ???????????????? ??????? — ??? ???????????, ?????????? ??????? (?? ???? ?????????????? ???????? $f:X\to Y$ ??????? ${\mathcal {F}}(f):{\mathcal {F}}(Y)\to {\mathcal {F}}(X)$ ), ??????????? ????????????? ???????? ? ??????????????? ?????????:

{\mathcal {F}}(g\circ f)={\mathcal {F}}(f)\circ {\mathcal {F}}(g)

.

????? ???????????????? ??????? ????? ?????????? ??? ???????????? ??????? ?? ???????????? ????????? ${\mathcal {C}}^{\mathrm {op} }$ . ????????? ?????? ???????????? ?????????? ??? ????????? ???????????, ? ?????? ???? «???????????????? ??????? ?? ${\mathcal {C}}$ ? ${\mathcal {D}}$ » ??????? «??????? ?? ${\mathcal {C}}^{\mathrm {op} }$ ? ${\mathcal {D}}$ » (???, ??????, «??????? ?? ${\mathcal {C}}$ ? ${\mathcal {D}}^{\mathrm {op} }$ »).

?????????? ? ??????????????

????????? — ??? ??????? ?? ???? ??????????. ???????????? ?????? — ??????? Hom , ?? ??????????? ?? ?????? ????????? ? ??????????????? ?? ???????.

????????? ?????????? ???????????? ??? ???????? ?? ????????? ???????????? . ????????, ??????? $\mathrm {Hom}$ ????? ??? ${\mathcal {C}}^{\mathrm {op} }\times {\mathcal {C}}\to \mathbf {Set}$ .

????????????? — ??? ????????? ??????? ?????????? ?? $n$ ??????????.

???????

??? ??????? ???????? ????? ?????????? ???????? ??? ?? ?????? ?? ???????? ?????????, ?? ? (??? ????? ?????) ?? ?????????: ?????????? ????????? ????????, ??????????? ????????? ?? ????????, ????????, ????????????? ??????? ? ????????????????? ??????? , ?????????? ???????.

????? ${\mathcal {C}}$ — ???????????? ? ????????? ${\mathcal {D}}$ . ? ????? ?????? ????????? ??????? ???????? $I:{\mathcal {C}}\hookrightarrow {\mathcal {D}}$ , ??????????? ?? ???????? ? ????????? ??? ??????????????? ???????? ???????.
?????????? ???????: ???????, ???????????? ?????? ?????? ????????? ${\mathcal {C}}$ ? ????????????? ?????? ????????? ${\mathcal {D}}$ , ? ?????? ??????? ${\mathcal {C}}$ — ? ????????????? ??????? ????? ???????.
?????????????? ???????? ????? ???????? ?? ????????? ? ????.
???????????? ????????? ???????????? : ???????????, ?????????????? ??????? ?????????? ???????????? ???????????? ? ????, ? ??????? ????????? ??????????? — ???????????? (??? ?????????????????) ???????????, ???????? ???????????????? ????????????? ?? ????????? ????????? ???????????.
????? ${\mathcal {C}}$ — ?????????? ????????? , ?? ???? ?????????, ?????????? ???????????? ????????? ? ????????? ???????? (??????? ?????? ??????????? ???????? ). ? ??????? ????? ???????? ???????? ????????? ????????????? ?????????, ? ????? ?????? ? ?????????, ??? ? ???????? ?? ???? ??????????, ??????????? ?????????????? ????????? (??????: ????????? ????? , ????????? ????? , ????????? ???????? ). ????? ??????????? (???? ?? ??????????) ? ??????????? ???????? ???? ??????? ?????????? ??????? (??????: ????????? ?????? ).
????????? : ????? $X$ — ?????????????? ???????????? , ????? ???????? ???????????? $X$ ???????? ???????? ????????????? ????????? ?? ????????? ?????????, ???????????? $O(X)$ . ??? ? ?????? ???????? ?????????????? ?????????, $O(X)$ ????? ??????????? ?????????, ???????? ???????????? ??????? $U\to V$ ????? ? ?????? ?????, ????? $U\subseteq V$ . ???????????????? ???????? ?? $O(X)$ ?????????? ??????????? . ????????, ?????????? ??????? ? ????????? ?????????????? ?????? , ?????????????? ????????? ????????? ??????? ?????????????????? ??????????? ??????? ?? ???.
??????????????? ?????? : ??????? ??????????????? ???????????? $X$ ? ?????????? ?????? $x_{0}$ ????? ??????????? ??????????????? ?????? $\pi _{1}(X,x_{0})$ , ???????? ??????? — ?????? ??????????????? ?????? ? ????????? ?? ????????? . ???? $f:X\to (Y)$ — ??????? ??????????? ? ?????????? ?????? (??????????? ???????????, ??????????? ?????????? ????? ??????? ???????????? ? ?????????? ????? ???????), ?????? ????? ?? ????? $x_{0}$ ????? ??????????? ?? ?????, ?????????? ?????? ?? ????? $y_{0}$ . ??? ????????????? ??????????? ? ???????? ??????????????? ? ? ????????? ??????????, ?????????????, ???????? ????????????? ?? $\pi (X,x_{0})$ ? $\pi (Y,y_{0})$ . ???????? ?????????, ??? ??????????? ? ??? ????????? ???????? ????????????? ???????? ?? ????????? ?????????????? ??????????? ? ?????????? ?????? ? ????????? ????? .
??????????? ? ????????????? ?????????? : ???????????, ?????????????? ???????? ???????????? ??? ??????????? ?????????? , ? ?????????????? ???????????? — ??? ???????????? , ???????? ???????????? ????????? ?? ????????? ??????? ???????????? ? ??????????????? ? ????????? ????????? ?????????? . ??????????, ????????????? ?????????? ? ?????????????? ?????????????? ?????? ???????????????? ???????.

???????????? ???????????? ???????????? ? ????????????? ????? ?????? ???????????? ??????? ?? ????????? ??????? ???????????? ? ?????????? ?????? ? ??????? ??????????? ? ????????? ????????? ???????????.
????????? ???????????? : ???? ${\mathcal {C}}$ — ????????? ????????? ??????????? ??? ????????????? ?????, ????????? ???????????? ???? ??????????? ?????? ??????? ${\mathcal {C}}\times {\mathcal {C}}\to {\mathcal {C}}$ , ???????????? ?? ????? ?????????? .
— ???????????? ???????????????? ???????? ?? ?????????????? ????????? ? ????????? ????????? (? ????????? ???????? — ?????????????? ????????? , ? ????????? ????? — ? ??????); ???????????, ?????????? ??????? ??????????????? ????????? , ?????? ?????? ???? ? ?????????????? ?????????.
??????? $\operatorname {Gal} :\mathbf {Fld} ^{\mathrm {op} }\to \mathbf {Grp}$ ???????????? ???? $F$ ??? ?????????? ?????? ????? $\operatorname {Gal} ({\bar {F}}/F)$ , ? ???????????? ????? — ??????????????? ^{[

?????????

]} ??????????? ????? ?????.

????????

??????? ????????? ????????????? ????????? ? ????????????? ?????????.
??????? ????????? ??????????? ? ???????????.
?????????? ???? ????????? ???? ???????? ?????????. ?????????? ????????? ???????? ????????????? ????????? (???, ??? ??? ??????????), ??????? ???????? ????? ?????? ??????????? ????????????? ???? ????????? ????????? ? ?????????.

????????? ?? ?????? ??????? — ?? ?? ?????, ??? ?????? : ???????? ? ??? ????????????? ????????? ???????, ? ???????? ?????????? ????????? — ????????, ???????????? ? ???????. ???????? ????? ??????????? ? ????? ???????? ??????? ?????????? ????????????? ????????????? ????????; ?????????????, ? ????????? ?????? ??????? ???????? ?????????? ??????? ???????????? ???????? ?? «???????, ? ??????? ???????? ?????????? ?????????? ?? ?????».

????? ? ??????? ??????????? ?????????

????? ${\mathcal {C}}$ ? ${\mathcal {D}}$ — ?????????. ????????? ???? ????????? ${\mathcal {F}}\colon {\mathcal {C}}\to {\mathcal {D}}$ ????? ??????? ?????????? ???????? ?????? ?????????: ????????? ????????? . ???????? ? ???? ????????? — ???????????? ?????????????? ?????????.

???????? ???????? ????? ?????? ??? ?????? ????????????? ??????? , ??????? ???????? ? ???? ????????? ???????????? , ???????????? ?????, ???????? ??? ????????? ???????????, ?????? ? ???????? ???????. ????? ????????????? ??????????? ????? ?????? ???? ??????????? ????????? .

??????????

, ?. 42.
Carnap R. The Logical Syntax of Language. — Routledge & Kegan Paul, 1937. — P. 13—14.
Hazewinkel M., Gubareni N. M., Kirichenko V. V. . . — Dordrecht: Springer Science & Business Media , 2004. — 380 p. — (Mathematics and Its Applications, vol. 575). — ISBN 978-1-4020-2690-4 . — P. 99—100.

??????????

????? ?., ?????? ?. . ???????? ? ?????? ????????? ? ?????????. — ?. : ??? , 1972. — 259 ?.
??????? ?. . ????? 2. ??????????? ? ?????????? // ????????? ??? ??????????? ??????????. — ?. : ????????? , 2004. — 352 ?. — ISBN 5-9221-0400-4 . — ?. 43—67.
??????? ?. ?., ?????????? ?. ?. . ?????? ?????? ?????????. — ?. : ????? , 1974. — 256 ?.

??????

Marquis, Jean-Pierre. (????.) . Stanford Encyclopedia of Philosophy. — ???????? ? ???? ????? ?????? ?????? ??????????. ???? ?????????: 30 ???? 2013. 13 ??????? 2013 ????.