Initial Algebra - Theorems

Theorems

  • Initial algebras are minimal (i.e., have no proper subalgebra)
  • Final coalgebras are simple (i.e., have no proper quotients).

Read more about this topic:  Initial Algebra