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 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 Lab entries, or adding stuff to existing 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 Lab entries on category theory.
1 to 7 of 7