Library
▹
Category theory
▹
Functors
Fun(
C
,
D
)
(functors)
F
(
X
)
F
(
f
)
id
C
∘