PPT Slide
Def. Em uma categoria C um objeto 1 é dito ser terminal, sss, para
todo objeto c de C existe um único morfismo de c para 1.
Def. Em uma categoria C um objeto 0 é dito ser inicial, sss, para
todo objeto c de C existe um único morfismo de 0 para c.
Prop: Objetos terminais e iniciais sao únicos a menos de isomorfismo.