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: community: discussion

Topic: nLab policy changes


view this post on Zulip Madeleine Birchfield (May 19 2025 at 10:26):

Urs Schreiber edited the HomePage so it now says:

If you take a little time to find something in the literature, or to work through a proof or example, or to find an intuitive or new way to think about something, add a note on it to the nLab! Others will benefit, and you may well find that it proves useful to you too.

In doing so, follow common academic practice of substantiating your edit: Either justify it by citing relevant literature or else provide relevant proof (for claims) or other sanity checks (e.g. when introducing new definitions or terminology).

which should solve the folklore issue.

view this post on Zulip John Baez (May 19 2025 at 10:53):

Ah, this is a huge change. I like it, but it will take a long time for the nLab to become a repository of facts that either come with proofs or links to proofs.

view this post on Zulip Notification Bot (May 19 2025 at 11:30):

A message was moved here from #community: discussion > nLab: the word "evil" by Madeleine Birchfield.