A Global Glance on Categories in Logic
Posted by John Baez
In a mocking, ironic nod to the concept of “open access”, Springer Verlag has made all papers in their journal Logica Universalis freely accessible from today until December 31st, 2010.
So, snatch as many papers you can before the great iron gate crashes closed again!
For example, if you’re curious about the interactions between logic and category theory, now is your chance to read this:
- Peter Arndt, Rodrigo de Alvarenga Freire, Odilon Otavio Luciano and Hugo Luiz Mariano, A global glance on categories in logic.
Many readers here will nod knowingly at the last sentence of this paper, which justifies some generalizations the authors have engaged in:
Second, on a more abstract level, it is a highly successful mathematical practice to admit pathological objects in a category in order to make (the global properties of) the category itself less pathological — the passage from manifolds to -schemes in Differential Geometry illustrates well this point, as does the functorial approach to algebraic geometry, where one passes by the Yoneda embedding from schemes into a category of functors where most objects have no geometric appeal at all.
But be careful. Don’t be caught downloading papers from the Springer website when the clock strikes midnight on New Year’s Eve. There’s no telling what might happen. 
Re: A Global Glance on Categories in Logic
- extract bibliographic info, citations, etc. In fact it becomes rather hard to distinguish what it downloads so I resorted to making sub-folders like LogicaUniversalis/V3N1 etc.
- won’t automatically download the PDFs (as it should if your options are set correctly). You can manually do this by saving an entry for each article page (click ICON = blue sheet of paper with green “+” at bottom) and then dragging the PDF link on top of the new entry.
The reason I’m mentioning this is that when Zotero gets its Springerlink scraper working again it may be possible to revisit these pages and get the bib info to update. Are there any articles particularly worth reading, rather than vacuuming up everything that might have potential for later perusal?