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: Naming conventions


view this post on Zulip Jules Hedges (Jun 15 2020 at 15:25):

Proposal to reuse exactly the same article naming conventions as the nLab without modification: https://ncatlab.org/nlab/show/HowTo#naming

view this post on Zulip Jules Hedges (Jun 15 2020 at 15:26):

In particular "page articles should be singular nouns"

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

We don't yet have a quorum here to set binding style guidelines. But we can try to come up with recommendations. But if we can't agree on something, let's temporarily leave room for people to write in the style they feel comfortable with. Once we have some content and more contributors, we can have a wider discussion and clean up any inconsistencies.

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

The nLab naming conventions look well thought out. I propose to provisionally accept these naming conventions for categories that are "reference dictionaries," including the the category "definition."

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

For other categories - including the new category "tutorial" - I propose to follow standard rules for capitalization of article titles -- capitalize just the first word, except for words that always get capitalized. It reads well: "My journey across the sea"; "My journey to Ithaca".

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

Just edited my proposal above, to use simpler language.

view this post on Zulip David Tanzer (Jun 20 2020 at 01:35):

Another suggestion. For any article, one could make a "personal version" by qualifying it with your name, e.g., "monad (Tanzer)". That means that (unless you say otherwise) you are asking to be the sole editor. OTOH articles not qualified this way are shared content, which everyone is free to work on.

view this post on Zulip David Tanzer (Jun 20 2020 at 01:43):

I would use this to make draft articles for the glossary, and get feedback before "publishing" them. Not that I'm recommending that everybody do this. I would choose to do this is because I am not very experienced with CT and it would increase my comfort level. For someone who is "in the business" it probably makes sense to just go for it.