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.
Emily (Jul 10 2020 at 23:47):What is the present state of Joyal's manuscripts on quasicategories?
Some context: Until recently I thought two of these were online:
The theory of quasi-categories and its applications, available on Kock's webpage,
and one unpublished book draft:
The theory of quasi-categories, unavailable.
Then I read the following on Riehl–Verity's book:
"Joyal first undertook the task of extending 1-category theory to quasi-categories in [50] and [51] and in several unpublished draft book manuscripts". Here [50] is a published paper and [51] is the book draft on Kock's homepage.
Are there other "secret"/publically unavailable book drafts besides the one mentioned above?
John Baez (Jul 10 2020 at 23:52):Has Joyal's book with Tierney on simplicial sets come out yet?
Joachim Kock (Jul 11 2020 at 20:26):Multiplicative Group Scheme said:
What is the present state of Joyal's manuscripts on quasicategories?
Some context: Until recently I thought two of these were online:
- Notes on quasi-categories, available on May's homepage, and
The theory of quasi-categories and its applications, available on Kock's webpage,
and one unpublished book draft:The theory of quasi-categories, unavailable.
Then I read the following on Riehl–Verity's book:
"Joyal first undertook the task of extending 1-category theory to quasi-categories in [50] and [51] and in several unpublished draft book manuscripts". Here [50] is a published paper and [51] is the book draft on Kock's homepage.Are there other "secret"/publically unavailable book drafts besides the one mentioned above?
I don't think there are other manuscripts available. A bigger treatise was planned, but it did not fully come into existence. The last draft I saw was in 2005. It is my impression that the parts that were in shape at that time found their way into either the IMA or the CRM lecture notes, and that many of the parts that were not fully developed turned into the outlook sections featured in the IMA and CRM notes.
Joachim Kock (Jul 11 2020 at 20:30):John Baez said:
Has Joyal's book with Tierney on simplicial sets come out yet?
They were published in the Quaderns lecture note series of the CRM (Barcelona, 2008). Unfortunately the CRM no longer keeps the old volumes online. (Instead it can be found here: http://www.mat.uab.cat/~kock/crm/hocat/advanced-course/Quadern47.pdf)
John Baez (Jul 12 2020 at 23:35):Thanks! It's ridiculous that CRM doesn't keep its lecture notes online. Can't they afford to have a webpage?
Emily (Jul 13 2020 at 23:58):Joachim Kock said:
Multiplicative Group Scheme said:
What is the present state of Joyal's manuscripts on quasicategories?
Some context: Until recently I thought two of these were online:
- Notes on quasi-categories, available on May's homepage, and
The theory of quasi-categories and its applications, available on Kock's webpage,
and one unpublished book draft:The theory of quasi-categories, unavailable.
Then I read the following on Riehl–Verity's book:
"Joyal first undertook the task of extending 1-category theory to quasi-categories in [50] and [51] and in several unpublished draft book manuscripts". Here [50] is a published paper and [51] is the book draft on Kock's homepage.Are there other "secret"/publically unavailable book drafts besides the one mentioned above?
I don't think there are other manuscripts available. A bigger treatise was planned, but it did not fully come into existence. The last draft I saw was in 2005. It is my impression that the parts that were in shape at that time found their way into either the IMA or the CRM lecture notes, and that many of the parts that were not fully developed turned into the outlook sections featured in the IMA and CRM notes.
Thanks for your explanation! :smile: