algebra over an endofunctor
Given an endofunctor , an algebra over is an object of together with an arrow .
Dually, a coalgebra over is an object of together with an arrow .
Given an endofunctor , an algebra over is an object of together with an arrow .
Dually, a coalgebra over is an object of together with an arrow .