olemus
funktor mingist kategooriast A iseendasse
=
a functor that maps a category to that same category

näide 1
hulkade kategoorias funktsioon, mis
(i) igale hulgale seab vastavusse
selle hulga kõigi alamhulkade hulga ja
(ii) igale funktsioonile f hulgast A hulka B
seab vastavusse funktsiooni F, mis
hulga A igale alamhulgale A'
seab vastavusse hulga B alamhulga B',
mis koosneb kõigist elementidest f(a),
kus a on alamhulga A' element

näide 2
https://blog.merovius.de/2018/01/08/monads-are-just-monoids.html

ülevaateid
https://askcodes.net/coding/differences-between-functors-and-endofunctors

https://jdhsmith.math.iastate.edu/class/M617Lsn33.pdf

rakendusi
https://arxiv.org/pdf/1602.06221.pdf