Oi lista,
acabei de submeter pra publicação um artigo que deve interessar pelo
menos a meia dúzia de vocês, e que eu estava devendo há anos - eu
trabalhava animadamente sobre isso, produzia abstracts e slides, o
artigo estava sempre quase saindo, mas necas dele sair...
Título: Internal Diagrams in Category Theory
Abstract: We can regard operations that discard information, like
specializing to a particular case or dropping the intermediate
steps of a proof, as _projections_, and operations that
reconstruct information as _liftings_. By working with several
projections in parallel, we can make sense of statements like
``$\Set$ is the archetypal Cartesian Closed Category'', which
means that proofs about CCCs can be done in the ``archetypal
language'' and then lifted to proofs in the general setting. The
method works even when our archetypal language is diagrammatical,
has potential ambiguities, is not completely formalized, and does
not have semantics for all terms. We illustrate the method with an
example from hyperdoctrines and another from synthetic
differential geometry.
URL: http://angg.twu.net/LATEX/2010diags.pdf
Daqui a pouco eu começo a levar porrada dos referees, mas até lá
parabéns pra mim.
[[]]s,
Eduardo Ochs
[email protected]
http://angg.twu.net/
P.S.: eu gostaria de submetê-lo para o Arxiv. Alguém poderia ser meu
"endorser"?
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
