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 um investimento de tempo gigantesco, nao? abracos categoricos, Valeria On Fri, Mar 11, 2022 at 10:58 PM Eduardo Ochs <eduardoo...@gmail.com> wrote: > 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 are written in a very terse style, in > which people pretend a) that all concepts are visualizable, and b) > that the readers can reconstruct the diagrams that the authors had > in mind based on only the most essential cues. As an outsider I > spent years believing that the techniques for drawing diagrams were > part of the oral culture of the field, and that the insiders could > read texts on CT reconstructing the "missing diagrams" in them line > by line and paragraph by paragraph, and drawing for each page of > text a page of diagrams with all the diagrams that the authors had > omitted. My belief was wrong: there are lots of conventions for > drawing diagrams scattered through the literature, but that unified > diagrammatic language did not exist. In this chapter I will show an > attempt to reconstruct that (imaginary) language for missing > diagrams: we will see an extensible diagrammatic language, called > DL, that follows the conventions of the diagrams in the literature > of CT whenever possible and that seems to be adequate for drawing > "missing diagrams" for Category Theory. Our examples include the > "missing diagrams" for adjunctions, for the Yoneda Lemma, for Kan > extensions, and for geometric morphisms, and how to formalize them > in Agda. > > [[]] =), > Eduardo Ochs > http://angg.twu.net/math-b.html > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <logica-l@dimap.ufrn.br> > --- > Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" > dos Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6iHi46iHhc2pvHZ%2B3-7%3D%2B0dUuXWHbHYZdW7jC8C%2BZm2pA%40mail.gmail.com > . > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXv0k5xME7nkE2fYi0%3Do_8pViVN5cFbfSizhvyWiTrLn7Q%40mail.gmail.com.
