Nem sempre, né?
O que aconteceu foi o seguinte. Eu já tinha posto uma versão anterior
desse material no Arxiv, e eu precisava que o meu texto ficasse o mais
claro possível por um monte de motivos... e o motivo principal era que
eu tava tentando aprender Agda pra escrever a implementação em Agda da
Muito legal Eduardo! so' dei uma olhada rapida, mas me parece muito legal o
projeto.
so' acho que em vez de mandar ver um manuscrito de 60 paginas voce teria
mais chances de feedback se fizesse 3 papers de 20 paginas. ou se fizesse
uns blog posts de 2 paginas. porque um texto de 60 paginas requer
Oi todos,
acabei de submeter um artigo que ficou bem bacana, dxô fazer
propaganda dele aqui...
Título: "On the missing diagrams in Category Theory"
Links: http://angg.twu.net/LATEX/2022on-the-missing.pdf
http://angg.twu.net/math-b.html#2022-md
Abstract:
Most texts on Category Theory ar
