Functor (matematică)
Un functor este un tip special de mapare între categorii . Poate fi înțeles ca o mapare care păstrează structura. Functorii dintre categoriile mici sunt morfisme din categoria categoriilor mici . Colecția tuturor categoriilor nu este o categorie în sensul obișnuit, deoarece colecția obiectelor sale nu este o clasă . O modalitate de a depăși astfel de dificultăți teoretice de mulțimi este de a adăuga o axiomă independentă la ZFC despre existența cardinalilor de neatins .
Pentru prima dată, functorii au început să fie luați în considerare în topologia algebrică , în care obiectele algebrice (de exemplu, grupul fundamental ) sunt asociate cu spații topologice , iar homomorfismele dintre aceste obiecte sunt asociate cu mapări continue . Ulterior, functorii s-au răspândit în multe domenii ale matematicii și sunt folosiți pentru a conecta diverse categorii.
Termenul „functor” a fost împrumutat de matematicieni din lucrările filozofului Rudolf Carnap [1] , în timp ce în Carnap cuvântul „functor” se referea la un concept lingvistic [2] .
Definiție
Un functor (covariant) de la categorie la categorie este o mapare care:
![{\mathcal {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b3edab7022ca9e2976651bc59c489513ee9019)
![\mathcal{D}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3277962e1959c3241fb1b70c7f0ac6dcefebd966)
- mapează fiecare obiect la un obiect
![X\în {\mathcal {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff0f1e44334d39c0ba83ae6d79d31cede4491cc8)
![{\mathcal {F}}(X)\în {\mathcal {D}},](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f0bb6376b7464bb4201cc299943e16039eab7f7)
- mapează fiecare morfism din categorie un morfism din categoria . Această mapare trebuie să aibă următoarele proprietăți:
![f:X\la Y](https://wikimedia.org/api/rest_v1/media/math/render/svg/abd1e080abef4bbdab67b43819c6431e7561361c)
![{\mathcal {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b3edab7022ca9e2976651bc59c489513ee9019)
![{\mathcal {F}}(f):{\mathcal {F}}(X)\la {\mathcal {F}}(Y)](https://wikimedia.org/api/rest_v1/media/math/render/svg/256a0ab8822ebab807f604759ce65becfd52e00c)
![\mathcal{D}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3277962e1959c3241fb1b70c7f0ac6dcefebd966)
,
.
Astfel, functorul trebuie să păstreze morfismele identitare și structura compoziției morfismelor.
În mod similar, un functor contravariant este o hartă care inversează săgețile (adică atribuie un morfism unui morfism ), păstrează morfisme identice și satisface egalitatea:
![f:X\la Y](https://wikimedia.org/api/rest_v1/media/math/render/svg/abd1e080abef4bbdab67b43819c6431e7561361c)
![{\mathcal {F}}(f):{\mathcal {F}}(Y)\la {\mathcal {F}}(X)](https://wikimedia.org/api/rest_v1/media/math/render/svg/28ef07e14595b449162af0ede1b9024c197bd7d8)
![{\mathcal {F}}(g\circ f)={\mathcal {F}}(f)\circ {\mathcal {F}}(g)](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d50e6dac3a9c4ab786843f1c99a160a7b7e25f4)
.
De asemenea, un functor contravariant poate fi definit ca un functor covariant din categoria duală . Unii autori preferă să scrie toate expresiile covariant, iar în loc de cuvintele „functor contravariant de la la ” spun „functor de la la ” (sau, uneori, „functor de la la ”).
![{\mathcal {C}}^{{\mathrm {op}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2db750fcb75108f0e27b36b05caaaeece86f40f)
![{\mathcal {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b3edab7022ca9e2976651bc59c489513ee9019)
![\mathcal{D}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3277962e1959c3241fb1b70c7f0ac6dcefebd966)
![{\mathcal {C}}^{{\mathrm {op}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2db750fcb75108f0e27b36b05caaaeece86f40f)
![\mathcal{D}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3277962e1959c3241fb1b70c7f0ac6dcefebd966)
![{\mathcal {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b3edab7022ca9e2976651bc59c489513ee9019)
![{\mathcal {D}}^{{\mathrm {op}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/22eb204a41912f43c44ee3e749d456693717cbbb)
Bifunctori și multifunctori
Un bifunctor este un functor a două argumente. Un exemplu natural este functorul Hom , care este covariant într-un argument și contravariant în altul.
Formal, bifunctorii sunt definiți ca functori din categoria de produse . De exemplu, un functor are forma .
![{\mathrm {hom}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eea3aafc91ebbd147d45c3c69e88431c48cbe9f8)
![{\mathcal C}^{{\mathrm {op}}}\times {\mathcal C}\la {\mathbf {Set}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53e2a33066d5456ee561df2069d2b4503f9f3ac3)
Un multifunctor este o generalizare a noțiunii de bifunctor pe variabile.
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
Exemple
Pentru a specifica un functor, trebuie să-i definești acțiunea nu numai asupra obiectelor de categorie, ci și (mai important) asupra morfismelor: există diferiți functori care acționează în același mod asupra obiectelor, de exemplu, functorul de identitate și functorul anti -identitate. care inversează săgețile.
- Fie o subcategorie din categoria . În acest caz, functorul de încorporare este definit , care acționează asupra obiectelor și morfismelor ca înglobări de clasă corespunzătoare .
![{\mathcal {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b3edab7022ca9e2976651bc59c489513ee9019)
![I:{\mathcal {C}}\hookrightarrow {\mathcal {D}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8bc924718176823de37fdbf63297555042f5c4d)
- Functor constant: un functor care mapează fiecare obiect de categorie la un obiect de categorie fix și fiecare morfism la morfismul de identitate al acelui obiect.
![{\mathcal {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b3edab7022ca9e2976651bc59c489513ee9019)
![\mathcal{D}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3277962e1959c3241fb1b70c7f0ac6dcefebd966)
![{\mathcal {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b3edab7022ca9e2976651bc59c489513ee9019)
- Endofunctorii sunt orice functori dintr-o categorie în sine.
- Prelegături : fie un spațiu topologic , apoi submulțimile deschise formează o mulțime parțial ordonată în raport cu includerea, notat cu . Ca și în cazul oricărui poset, se poate asocia o categorie adăugând un singur morfism dacă și numai dacă . Functorii contravarianți de la se numesc presheaves . De exemplu, există un functor din categoria algebrelor reale care asociază o mulțime deschisă cu o algebră de funcții continue cu valori reale pe ea.
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![BOU)](https://wikimedia.org/api/rest_v1/media/math/render/svg/18e6b588bf3d9ada6cd5342cff5a72d1044cd500)
![BOU)](https://wikimedia.org/api/rest_v1/media/math/render/svg/18e6b588bf3d9ada6cd5342cff5a72d1044cd500)
![U\la V](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8aade74fbc3d516467efd200969ce325f5425f4)
![U\subseteq V](https://wikimedia.org/api/rest_v1/media/math/render/svg/7720f1387a2e51d58daf1fb9e9b1b730430b8466)
- Grup fundamental : fiecare spațiu topologic cu un punct marcat poate fi asociat cu un grup fundamental ale cărui elemente sunt clase de echivalență bucle până la homotopie . Dacă este un morfism de spații cu un punct marcat (o mapare continuă care duce un punct marcat al primului spațiu la un punct marcat al celui de-al doilea), fiecare buclă din punct poate fi asociată cu imaginea sa, care este o buclă din punct . Această mapare este în concordanță cu clasele de echivalență și cu operația de compunere, deci este un homomorfism de la la . Este ușor de verificat dacă toate celelalte proprietăți ale unui functor covariant din categoria spațiilor topologice cu punct marcat până la categoria grupurilor sunt valabile .
![\pi _{1}(X,x_{0})](https://wikimedia.org/api/rest_v1/media/math/render/svg/c04f460bab6f580276cedce44809d2e466df4cbb)
![f:X\la (Y)](https://wikimedia.org/api/rest_v1/media/math/render/svg/5bfa2d40a4cc4d0983d9117177307c40ba25e6da)
![x_{0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86f21d0e31751534cd6584264ecf864a6aa792cf)
![y_0](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d943dbbb0b56ca750c4d62c5b54b4ae29a773da)
![\pi (X,x_{0})](https://wikimedia.org/api/rest_v1/media/math/render/svg/46ff14353ed05f526f8819399cf975504db67596)
![\pi (Y,y_{0})](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0234d97dede16a5feda54abab1f7634273872ec)
- Mănunchi tangenți și cotangenți : o hartă care asociază o varietate netedă cu mănunchiul său tangent și un difeomorfism de varietăți cu diferenţialul său , este un functor covariant din categoria varietăților netede și difereomorfismelor la categoria fasciculelor vectoriale . În mod similar, mănunchiul cotangent și codiferenţialul unui difeomorfism definesc un functor contravariant.
Luarea în considerare a spațiului tangent la un punct fix definește un functor covariant din categoria varietăților netede cu un punct marcat și mapări netede la categoria spațiilor vectoriale.
- Produs tensor : dacă este o categorie de spații vectoriale peste un câmp fix, produsul tensor al două spații definește un functor care este covariant în ambele argumente [3] .
![{\mathcal {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b3edab7022ca9e2976651bc59c489513ee9019)
![{\mathcal {C}}\times {\mathcal {C}}\la {\mathcal {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16780f1e254ecf24b8d2dc3f827affc412272961)
- Un functor atribuie unui câmp grupul lui Galois absolut , iar unui homomorfism de câmp, corespunzătoare
[ clarifica ] homomorfismul grupurilor Galois.
Proprietăți
- Functorul duce diagramele comutative în diagramele comutative.
- Functorul duce izomorfismele la izomorfisme.
- Compoziția a doi functori este, de asemenea, un functor. Compoziția de funcții este o operație asociativă (unde este definită), astfel încât functorii dintre categorii mici satisfac toate proprietățile morfismelor din categorie.
O categorie a unui obiect este aceeași cu un monoid : morfismele din ea corespund elementelor monoidului, iar operația de compunere a morfismelor corespunde operației definite în monoid. Functorii dintre categoriile cu un singur obiect corespund unu-la-unu homomorfismelor monoide; prin urmare, într-un sens, un functor este o generalizare a noțiunii de homomorfism de monoizi la „monoizi în care operația de compunere nu este definită peste tot”.
Legătura cu alte concepte categorice
Lasă și fii categorii. Mulțimea tuturor morfismelor poate fi considerată mulțimea obiectelor din altă categorie: categoria functorilor . Morfismele din această categorie sunt transformări naturale ale functorilor.
![{\mathcal {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b3edab7022ca9e2976651bc59c489513ee9019)
![\mathcal{D}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3277962e1959c3241fb1b70c7f0ac6dcefebd966)
![{\mathcal {F}}\colon {\mathcal {C}}\la {\mathcal {D}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dcbfc93bef1f6cd7054d1fa0a205cb68d0e3eb69)
Functorii sunt adesea specificați folosind proprietăți universale , exemplele includ produse tensorale , produse ale grupurilor, mulțimi sau spații vectoriale, limite directe și inverse . De asemenea, construcțiile universale definesc adesea o pereche de functori adjuncți .
Note
- ↑ McLane, 2004 , p. 42.
- ↑ Carnap R. Sintaxa logică a limbajului. - Routledge & Kegan Paul, 1937. - P. 13-14.
- ↑ Hazewinkel M., Gubareni N. M., Kirichenko V. V. . Algebre, inele și module. Vol. 1 . - Dordrecht: Springer Science & Business Media , 2004. - 380 p. - (Matematica și aplicațiile sale, vol. 575). - ISBN 978-1-4020-2690-4 . - P. 99-100.
Literatură
- Bucur I., Delyanu A. . Introducere în teoria categoriilor și functorilor. — M .: Mir , 1972. — 259 p.
- Maclain S. Capitolul 2. Construcții în categorii // Categorii pentru un matematician activ. — M .: Fizmatlit , 2004. — 352 p. — ISBN 5-9221-0400-4 . - S. 43-67.
- Tsalenko M. S., Shulgeifer E. G. . Fundamentele teoriei categoriilor. — M .: Nauka , 1974. — 256 p.
Link -uri
- marchiz, Jean-Pierre. Teoria categoriilor (engleză) . Enciclopedia Stanford de Filosofie. — Include o bibliografie foarte cuprinzătoare. Consultat la 30 iulie 2013. Arhivat din original la 13 august 2013.