You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Tim Campion (Jul 20 2024 at 09:39):Does anybody have an electronic copy of the Makkaifest proceedings?
Bradd Hart, Thomas G. Kucera, Anand Pillay, Philip J. Scott, and Robert A. G. Seely, editors, Models, Logics, and Higher-Dimensional Categories: A Tribute to the Work of Mihály Makkai, CRM Proceedings and Lecture Notes volume 53. American Mathematical Society, 2011.
(I'm currently looking for Victor Harnik. Model theory vs. categorical logic: Two approaches to pretopos completion (a.k.a. Teq). pp 79-106)
Tim Campion (Jul 20 2024 at 09:40):Related: Is the AMS more aggressive than other publishers in getting their publications un-indexed by search engines? I was shocked that I couldn't even find it on libgen
Tim Campion (Jul 20 2024 at 09:41):(Also grumble grumble apparently neither the fact that I have forked over money to be an AMS member nor the fact that my university stores a print copy entitles me to download this from the AMS website grumble grumble why is the biggest impediment to my mathematical research at the moment the very professional society which is supposed to be advocating for it grumble grumble)
Nathanael Arkor (Jul 20 2024 at 09:48):I'm able to access the complete paper on Google Books: perhaps you will be able to too?
Tim Campion (Jul 20 2024 at 09:52):Hmm... that books.google.fr link hangs for me, and on books.google.com https://www.google.com/books/edition/Models_Logics_and_Higher_dimensional_Cat/GT4eswEACAAJ?hl=en the preview is unavailable for me
Tim Campion (Jul 20 2024 at 09:52):nice work ams!
Tim Campion (Jul 20 2024 at 09:53):ah after awhile the fr page loaded, but it says i can't view this page
Nathanael Arkor (Jul 20 2024 at 09:54):It's strange: the pages it's possible to preview on Google Books seems different for different people.
Nathanael Arkor (Jul 20 2024 at 09:54):Maybe there's a convenient way I could extract the pages to share with you?
Tim Campion (Jul 20 2024 at 09:56):im not super familiar with how to extract text from google books -- i'll keep looking and I might end up looking into it and hit you up, thanks!
Nathanael Arkor (Jul 20 2024 at 09:56):(Even stranger, I can view the pages in single page format, but not in double page format...)
Tim Campion (Jul 20 2024 at 09:59):i'm also sure i have a copy of this on some device, just not one i have immediate access to
Leopold Schlicht (Jul 21 2024 at 19:11):Harnik-Model-theory-vs-categorical-logic.pdf
Leopold Schlicht (Jul 21 2024 at 19:14):I recently decided to delete all my maths files. Luckily I haven't emptied my trash yet. :joy:
Steve Awodey (Jul 22 2024 at 00:36):@Leopold Schlicht that's a nice paper - thanks!