> If you use Overleaf, you won’t even have to worry about putting them together, people can just work simultaneously in the document.

if we really want to be up to date, we should probably go beyond overleaf and use one of the LLama 2 APIs to generate latex. (a long long time ago someone tried to use overleaf on top of gpt3.5 and it was a little messy)

BUT the fact that we all want to read *Lawvere's* lectures seems to be saying that some things in the past used to be more fun than some things in the future.

so my vote would be to ask mike to organize the typesetting whichever way he is used to doing it, having organized it so many times :)

-- dusko

On Wed, Jan 17, 2024 at 12:49 PM Ben Webster <bwebste@gmail.com> wrote:

If you use Overleaf, you won’t even have to worry about putting them together, people can just work simultaneously in the document.

 

From: Michael Barr, Prof. <barr.michael@mcgill.ca>
Date: Wednesday, January 17, 2024 at 4:30
PM
To: cmuster@gmx.net <cmuster@gmx.net>, categories@mq.edu.au <categories@mq.edu.au>
Subject: Bill's Laval notes

Let's suppose we can find a copy.  Fatima has asked Danilo, who is dealing with Bill's paper, to look for it.  Is there enough interest to support a retyping project?  I would be willing to coordinate it, as I have done with a couple of other things not published in regular journals.  The idea is to get enough people to type maybe 10 pages each, then I would put them together, get the LaTeX coordinated and post it somewhere, maybe as a TAC reprint.

 

Michael

 
 
You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.
 
View group files   |   Leave group   |   Learn more about Microsoft 365 Groups
 
 
 
You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.
 
View group files   |   Leave group   |   Learn more about Microsoft 365 Groups