Talks Type Theory — Entidade