functor
(Q864475)
in category theory, a mapping between categories that preserves their structure (identity morphisms, composition of morphisms)
in category theory, a mapping between categories that preserves their structure (identity morphisms, composition of morphisms)
Language:
Current Data About
functor
| (P61) |
(Q535833)
(Q441223)
|
||||||||
| (P279) |
(Q11348)
|
||||||||
| (P361) |
(Q217413)
|
||||||||
| (P373) |
Functors
|
||||||||
| (P910) |
(Q8475389)
|
||||||||
| (P1889) |
(Q2072111)
|
||||||||
| (P1963) |
(P1568)
(P1571)
|
||||||||
| (P2534) |
\begin{aligned}F(\operatorname{id}_X)&=\operatorname{id}_{F(X)}\\F(f\circ g)&=Ff\circ Fg\end{aligned}
|
||||||||
| (P2579) |
(Q217413)
|
||||||||
| (P6104) |
(Q8487137)
|
||||||||
| (P7235) |
F
\operatorname{id}
f\circ g
|
other details
| aliases |
covariant functor contravariant functor |
| description | in category theory, a mapping between categories that preserves their structure (identity morphisms, composition of morphisms) |
External Links