Not signed in (Sign In)

# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Sign in using OpenID

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorRodMcGuire
• CommentTimeApr 9th 2018
• (edited Apr 9th 2018)

I noticed in the Reyes&Reyes blog the April 2, 2018 announcement:

First Order Categorical Logic

This document is a re-writing of the book of Makkai-Reyes with the same title. It is due to Francisco Marmolejo, who not only re-wrote it but made several corrections.

Makkai-Reyes book

This is the book

• Michael Makkai and Gonzalo Reyes, First Order Categorical Logic: Model-theoretical methods in the theory of topoi and related categories, Lecture Notes in Math. 611, Springer-Verlag, 1977.

Does this mean that it is copyright legal to link to the PDF they link above, or would it be better to link through their blog post.

Currently there are ~10 nLab references to this book.

Rather than copy-paste editing them all I’m exploring separating out the reference REF First Order Categorical Logic (which currently links the PDF through the blog post) and then changing each page to [[!include REF First Order Categorical Logic]] (which I haven’t done yet). This way REF First Order Categorical Logic can be altered and all those pages will reflect that.

Including a REF does work. See SandboxSandbox/1477

## Generic figures and their glueings

Reyes&Reyes have also recently updated their 2004 blog post Generic figures and their glueings to give a link to the complete PDF of that book rather than just a sample, though the Wayback machine doesn’t say when that happened.

• Marie La Palme Reyes, Gonzalo Reyes and Houman Zolfaghari, Generic figures and their glueings – A constructive approach to functor categories, Polimetrica Milano 2004.

There are about 14 nLab references to that book that also need updating and being made consistent.

I haven’t yet created REF Generic figures and their glueings because some may object to this approach or that it needs to be more elaborate or sophisticated.

Add your comments
• Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
• To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

• (Help)