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.
Adittya Chaudhuri (May 02 2024 at 23:35):Can anyone please suggest some introductory but standard literature on polycategories? Also, separately I need some literature suggestion on properads. Thanks in advance!!
Mike Shulman (May 02 2024 at 23:37):Did you check out the references cited at [[polycategory]] and [[properad]]?
Adittya Chaudhuri (May 02 2024 at 23:41):Thanks, I checked the nlab references. Actually, I was thinking if there are any recent literatures (written more in an expository manner).
Mike Shulman (May 03 2024 at 00:01):Not sure if this qualifies, but there is the Blanco-Zeilberger paper Bifibrations of Polycategories and Classical Linear Logic.
Mike Shulman (May 03 2024 at 00:02):(which I just added to the nLab page)
Mike Shulman (May 03 2024 at 00:03):My paper LNL polycategories and doctrines of linear logic is mostly about something more expressive than a plain polycategory, but it's a bit expository too.
Adittya Chaudhuri (May 03 2024 at 11:47):@Mike Shulman Thanks a lot for sharing the paper!!
Adittya Chaudhuri (May 03 2024 at 11:49):Mike Shulman said:
Not sure if this qualifies, but there is the Blanco-Zeilberger paper Bifibrations of Polycategories and Classical Linear Logic.
Yes, this paper looks great!! :) Thanks again!
Nicolas Blanco (May 07 2024 at 22:34):Thanks a lot @Mike Shulman for sharing the paper and @ADITTYA CHAUDHURI for the nice comment. If you want something more comprehensive there is also my PhD thesis, especially II.2.
Nicolas Blanco (May 07 2024 at 22:48):You can find it here Bifibrations of Polycategories and Classical Linear Logic
Adittya Chaudhuri (May 08 2024 at 09:09):Nicolas Blanco said:
You can find it here Bifibrations of Polycategories and Classical Linear Logic
Thanks a lot!!