Octocurious

Home

❯

Free Sigma Algebra

Free Sigma Algebra

15 Apr 20261 min read

Definition

Let C be a category with coproducts.
Let F:C⇒C be an endofunctors.
Let A:C be an object.
Say X is the free F-algebra on A. Specifically, it is the initial algebra over the endofunctor F(−)+A.


Graph View

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community