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.
Jules Hedges (Jun 14 2020 at 11:50):Announcement: @David Tanzer has created a wiki for ACT here: https://wiki.functorialwiki.org/act/show/HomePage
Jules Hedges (Jun 14 2020 at 11:51):It's running on a fork of Instiki (which the nLab uses) that supports TikZ
Jules Hedges (Jun 14 2020 at 11:51):Stream for discussing it: #practice: ACT wiki
David Tanzer (Jun 14 2020 at 11:57):No - it is running on the head of Instiki. The nLab is running on a custom fork of Instiki.
Jules Hedges (Jun 14 2020 at 11:57):Ah, sorry. Wait, so the nLab supports TikZ? I didn't know that
David Tanzer (Jun 14 2020 at 12:00):They both support it, but they each evolved it independently.
John Baez (Jun 15 2020 at 06:50):TikZ on the nLab is fairly new: December 29, 2018.
Mike Shulman (Jun 15 2020 at 17:08):TikZ in head instiki is also new: July 2019. I believe there was some cross-pollination.
David Tanzer (Jun 30 2020 at 05:12):Since we now have the beginnings of a couple of technical articles on the wiki, I created an index page called Glossary. It has three sections, one for "finished" articles (or at least somewhat finished), one for articles-in-progress, and another where people can add suggestions for new articles to be written. Everyone should feel free to enhance what's there. This page is listed in the navigation menu.
cc: @Matteo Capucci @Jules Hedges
Jules Hedges (Jun 30 2020 at 09:04):Thanks, I still didn't get round to writing any more, but I will
David Tanzer (Jun 30 2020 at 19:51):Cool, I just noted you there as you've already started one that's on the list.
Jacques Distler (Jul 03 2020 at 14:46):Mike Shulman said:
TikZ in head instiki is also new: July 2019. I believe there was some cross-pollination.
Jacques Distler (Jul 03 2020 at 15:11):Since tex2svg is a standalone web service, it enables TikZ support in other software, like the nCafé, as announced here.