Funktor: Razlika med redakcijama
Izbrisana vsebina Dodana vsebina
m r2.7.1) (robot Dodajanje: no:Funktor |
m dp/slog/+p |
||
Vrstica 3:
Funktorje so najprej obravnavali v [[algebrska topologija|algebrski topologiji]], kjer so algebrski objekti povezani v [[topološki prostor|topološke prostore]].
Izraz funktor je izposojen od v
== Definicija ==
Naj bosta <math> C \,</math> in <math> D \,</math> [[kategorija (matematika)|kategoriji]]. Funktor <math> F \,</math> iz <math> C \,</math> v <math> D \,</math> je preslikava <ref>Jacobson (2009), stran 19, def. 1.2.</ref>
,zuje vsak morfizem <math> f:X \to Y \epsilon C \,</math> z morfizmom <math> F(f): F(X) \to f(Y) \epsilon D \,</math> tako, da veljata naslednji trditvi
Vrstica 15:
=== Kovariantnost in kontravariantnost ===
Običajne funktorje imenujemo kovariantni funktorji.
Vrstica 25 ⟶ 26:
=== Bifunktorji in multifunktorji===
Bifunktorje imenujemo tudi binarne funktorje. To so funktorji dveh argumentov.
Multifunktorji so posplošitev pojma funktor na <math> n \,</math>.
==
Naštetih je nekaj
* Konstantni funktor: Funktor, ki preslika (<math> C \to D \,</math>) vsak objekt iz <math> C \,</math> v fiksni objekt <math> X \,</math> v <math> D \,</math>.
* Endofunktor je funktor, ki preslika kategorijo v sebe.
Vrstica 40 ⟶ 43:
== Zunanje povezave ==
* [http://
* [http://planetmath.org/encyclopedia/Functor.html Funktor] na [[PlanetMath]] {{ikona en}}
* [http://www.sgi.com/tech/stl/functors.html Funktor] {{ikona en}}
|