Tags

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 .

Author: Nicholas Coltharp (mail@heraplem.xyz)

Last modified: 2026-10-07 Wed 11:51

Emacs 31.1 (Org mode 9.8.7)

Validate