A vida em setas: uma introdução à teoria de categorias aplicada Documento