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.
David Tanzer (Jun 19 2020 at 21:00):This is a topic for discussing the page on Conferences and seminars - as well as all of the contents pages that it links through to.
David Tanzer (Jun 19 2020 at 21:07):There is a lot to be done here. I would like to see this develop into a complete reference for ACT conference and seminar information. For each conference/seminar, we let's make a nicely organized page that contains (1) general information about the conference/seminar, and (2) an itemization of the talks.
As an ideal goal, for each talk we could have:
Think of how useful this could be to the community, if all this were accessible via a quick link from the ACT wiki.
David Tanzer (Jun 19 2020 at 21:08):Of course, we can proceed incrementally, and get as far as we get. Incremental progress works very well here!
David Tanzer (Jun 19 2020 at 21:13):The first thing I would recommend is simply completing the inventory of conferences and seminars, which on the index page. First step is to add stub links to the page. That we just be a markdown line like [[ACT 2020]]. Then create stub pages for each conference/seminar. Then for each conference/seminar create a page which just lists the titles of the talks.
David Tanzer (Jun 19 2020 at 21:15):Some of this data can be seen right from Zulip itself. There should be pages corresponding to the following streams:
David Tanzer (Jun 19 2020 at 21:16):For things not posted to Zulip, there's also ACT 2018, ... and what else?
David Tanzer (Jun 19 2020 at 21:18):We should all understand that, no matter who types in the initial information, this is shared community data, and it can be reformatted for improved consistency and readability by anybody. So in this sense it needs to be 'egoless' work. But everyones' contributions will be appreciated!! (And recorded in the history of the diff log.)
David Tanzer (Jun 19 2020 at 21:21):For example, I used some rather ad hoc formatting for the conference and seminar that I started with. I'd be glad to see improvements made their. And if I didn't like the changes somebody made, I could raise it on Zulip and we'd work out an understanding.
David Tanzer (Jun 19 2020 at 21:23):If someone had an idea for a big change formatting change to a bunch of stuff, that's already been done, then rather then invest a lot of time in it, and then get people's feedback, a better alternative could be to create a small demo of the new idea, and float it by on Zulip first.
David Tanzer (Jun 19 2020 at 21:27):This kind of work calls for abilities in organizing and presenting information effectively - and a good deal of legwork as well. I see an analogy with knitting - it requires thought for the overall design and structure, aesthetics, plus efforts that don't require a lot of thought, and are relaxing in that way, plus they can be labors of love that benefit others.
David Tanzer (Jun 19 2020 at 21:29):I plan to keep chipping away at this, but it's going to go slowly. @Daniel Geisler if you - or anyone else - wants to chip in, for however much time is comfortably available - that would be great. To the extent that we can crowd-source this, the faster can we get to a nice resource for the community.
Daniel Geisler (Jun 23 2020 at 05:53):@David Tanzer sure, I can crank up my involvement.
David Tanzer (Jun 23 2020 at 06:07):@Daniel Geisler I didn't yet get to writing the Instiki tutorial. A good deal of it is pretty clear, but there is some "kicking around" of the tires which is helped by some extra explanation - especially to do with creating new pages. So if you have any questions in the mean time, just post a question. I suggest going to the Notebook web, and experimenting with creating and editing pages. Start with the Sandbox in the Notebook web. To create a new page, you can try by searching for it. If it's not found in the wiki, there is an option at the beginning of the search results to create the pages. So try searching for TestPage and then creating it. To get ideas about the formatting language, look around at pages and Edit their source, copy snippets to a Sandbox page, then cancel out of the source page. The Azimuth wiki has lots of pages with formatting which you can get ideas from. Thanks