Title: Initial Algebras and Terminal Coalgebras