Mathlib
Atlas
Atlas
/
Foundations
/
Category theory
Functors
1/4
A functor F: C → D is a map of objects and of morphisms.
F
:
C
→
D
Replay
Challenge
Ask
arrows n
3