Initial Algebra - Theorems

Theorems

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