Jonathan Weinberger

Um novo conceito que tá mudando nossa visão sobre tipos em matemática e programação.

Este artigo fala sobre categorias, fibrados e sua importância na matemática.