Category Theory
Zulip Server
Archive

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.


Stream: deprecated: ACT wiki

Topic: Glossary


view this post on Zulip David Tanzer (Jun 18 2020 at 18:47):

This is a topic for discussing the Glossary.

view this post on Zulip Jules Hedges (Jun 19 2020 at 10:17):

Jules Hedges said:

To write about the basic concepts of category theory, maybe the main concepts from the first few chapters of Mac Lane plus the main concepts of monoidal categories, from a pedagogical (and maybe applied) perspective

I guess I had in mind pedagogically leaning wiki articles rather than tutorials. And only a short sketch of each at first, realistically I don't have time for long form writing

view this post on Zulip David Tanzer (Jun 19 2020 at 17:46):

Good! I'm interested in helping out with that as well. That kind of article will work well in tandem with tutorials. (Just deleted the page Tutorials; not needed at the moment.)

view this post on Zulip David Tanzer (Jun 19 2020 at 17:57):

Let's come up with a good category name for this type of article.

view this post on Zulip David Tanzer (Jun 19 2020 at 18:00):

I suggest category:gloss

noun: gloss
A translation or explanation of a word or phrase

view this post on Zulip David Tanzer (Jun 19 2020 at 18:05):

Being that this category represents a kind of dictionary, my recommendation would be to use the nLab naming conventions.

view this post on Zulip David Tanzer (Jun 19 2020 at 18:18):

One can also add further categorization for the subject area, e.g.,

category:algebra,logic

view this post on Zulip David Tanzer (Jun 19 2020 at 19:36):

The collection of all glosses naturally makes up the glossary.

view this post on Zulip David Tanzer (Jun 19 2020 at 19:47):

Another option is category:glossary. Using the singular gloss feels more logically consistent, perhaps for the same reason that the nLab guidelines say to use the singular for entries in the mathematical dictionary. The category can be likened to a predicate. We would not say "This article is a tutorials." Yet this is not a watertight argument, as we would also not say "This article is an algebra."

view this post on Zulip David Tanzer (Jun 19 2020 at 19:56):

Just created the page Glossary, and linked it from the navigation menu. This is an index page with "workflow," which shows the following possible states for an article: suggested, draft and (reasonably) completed. It is good to prepare a reader's expectations before they start reading. Articles which are very incomplete are fine - works in progress - but can be disappointing if people click on them expecting to find information.

view this post on Zulip David Tanzer (Jun 19 2020 at 20:00):

RFC

view this post on Zulip Daniel Geisler (Jun 19 2020 at 20:07):

@David Tanzer my only comment is that the wiki is well thought out and I can't think of an improvement at the moment. I'm looking at what I can do to contribute to the wiki given I don't have a background in CT.

view this post on Zulip David Tanzer (Jun 19 2020 at 20:56):

Thanks! One option is that there's substantive work to be done for the community in organizing the page on conferences and seminars, which I am chipping away at slowly. Since it's tangential to this topic, I'll start a new one for that.