:PROPERTIES: :ID: 57733bd2-5fa6-4615-9ab8-e50a4edd3f0b :mtime: 20240111104637 :ctime: 20240111104636 :END: #+title: endofunctor #+filetags: :public:project: * Definition of an Endofunctor Let $C$ be a [[id:12d70e9c-5793-47b3-8db0-8bc83c0f3925][Category]]. An endofunctor on $C$ is a [[id:89fa9e35-523b-4075-8f44-5f296f2586ef][Functor]] from $C$ to $C$.