F-algebra

In mathematics, particularly in the fields of category theory and algebra, an **F-algebra** is a structure that is defined in relation to a functor \( F \) from a category to itself.