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.
New to topics? Read the docs here!
New to topics? Read the docs here!