Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
You might want to drop by ##categorytheory on irc.freenode.net.
Mario, if you have specific questions about category theory, feel free to ask them here. And do you know the site math.stackexchange.com? If not, that’s a site where people ask questions over a wide range of mathematics, and others answer them.
Just a general comment:
to some extent this nForum here with its nLab backend is a “working group” on all kinds of topics.
We write tentative and preliminary $n$Lab entries, discuss them here, incrementally add more, refine, correct, improve them, discuss more, and so on.
For instance recently it so happens that we are having kind of a working group on “type theory” here. I am the one who tries to learn it. Creating preliminary $n$Lab entries, or adding stuff to existing $n$Lab entries on the topic is one way that helps me go about this, especially when and since it triggers feedback from experts here.
So, I would say, you can just go ahead and do the same. There is still plenty and plenty of exposition and details that deserves to be added to the $n$Lab entries on category theory.
1 to 7 of 7