____ + __
* / __/_ ______ _____/ /_____ _____
/ /_/ / / / __ \/ ___/ __/ __ \/ ___/
/ __/ /_/ / / / / /__/ /_/ /_/ / /
/_/ \__,_/_/ /_/\___/\__/\____/_/ *
____
+ _________ ____ _________ |__ \
/ ___/ __ \/ __ `/ ___/ _ \ / \ +
(__ ) /_/ / /_/ / /__/ __/ / /\ \
/____/ .___/\__,_/\___/\___/ / / \ \_
/_/ /_/ \__|
+
A functor is a mapping between categories that preserves identity morphisms and composition of morphisms. Luckily this is just a gemini capsule.