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.
Emily (she/her) (May 06 2024 at 15:39):Today I'm releasing the Clowder Project, which aims to essentially become a stacks project for category theory: https://www.clowderproject.com.
It currently consists of 578 pages, with around 4000 more pages of material on category theory being slowly polished and converted into a form that works with Gerby. There are also 6000 more pages of material on other subjects which might eventually also make their way into it, as they either serve as either illustrating examples or stepping stones.
Here are some links:
Matteo Capucci (he/him) (May 06 2024 at 15:53):This is monumental work Emily, congrats and thanks for making this available!
Valeria de Paiva (May 06 2024 at 15:57):hi @Emily (she/her) Congratulations! this is very impressive. have you seen the project code4math? I think they would be interested in the Clowder project. I am also interested in perhaps connecting it to other math artifacts via MathGloss which is only now for undergrad maths.
John Baez (May 06 2024 at 16:32):Wow! Who has been writing this, @Emily (she/her)? (I'm sorry, I am too lazy to go and look.) Only you, or a group of people... and are you hoping others will join in (with all the organizational work that tends to entail)?
Emily (she/her) (May 06 2024 at 16:39):Matteo Capucci (he/him) said:
This is monumental work Emily, congrats and thanks for making this available!
Thank you so much, @Matteo Capucci (he/him) ! :orange_heart:
Emily (she/her) (May 06 2024 at 16:39):Valeria de Paiva said:
hi Emily (she/her) Congratulations! this is very impressive. have you seen the project code4math? I think they would be interested in the Clowder project. I am also interested in perhaps connecting it to other math artifacts via MathGloss which is only now for undergrad maths.
hi @Valeria, thank you so much, both for the congratulations as well as for letting me know about code4math and MathGloss, they look really amazing!
Emily (she/her) (May 06 2024 at 16:39):I'll reach out to the folks at code4math, and I would also absolutely love to connect the Clowder project to MathGloss!
Emily (she/her) (May 06 2024 at 16:39):Would compiling a list with the Wikidata ID for the entries and the corresponding tags on the Clowder Project be a good way to do so?
Emily (she/her) (May 06 2024 at 16:40):John Baez said:
Wow! Who has been writing this, Emily (she/her)? (I'm sorry, I am too lazy to go and look.) Only you, or a group of people... and are you hoping others will join in (with all the organizational work that tends to entail)?
Hi @John! Currently I've been writing it alone; it started all the way back in 2017 (and as Anki cards of all things!)
Emily (she/her) (May 06 2024 at 16:40):Having others join in to contribute would definitely be amazing! :)
John Onstead (May 06 2024 at 19:21):Congrats Emily! This looks like it is shaping up to be a great resource for learning and reference.
It's certainly also an inspiration to others who might want to do similar things!
Kevin Carlson (May 06 2024 at 20:09):Very cool, Emily! Superficial comments:
Valeria de Paiva (May 06 2024 at 20:42):I'll reach out to the folks at code4math, and I would also absolutely love to connect the Clowder project to MathGloss!
Great!
Would compiling a list with the Wikidata ID for the entries and the corresponding tags on the Clowder Project be a good way to do so?
yes!! I've been talking about Network Mathematics, the umbrella project that MathGloss is part of, the last time in Women in Logic Online. do let me know if you find problems or fun things to do with our prototypes, will you? Thanks!!
Emily (she/her) (May 07 2024 at 22:42):John Onstead said:
Congrats Emily! This looks like it is shaping up to be a great resource for learning and reference.
It's certainly also an inspiration to others who might want to do similar things!
Thank you so much, John!
Emily (she/her) (May 07 2024 at 22:43):Kevin Carlson said:
Very cool, Emily! Superficial comments:
- It seems like it might be strongly mobile-incompatible in that I can't actually see how to get to any of the content on mobile.
- Is it intentional that you don't seem to credit yourself as author anywhere on the page? You of course deserve a lot of credit for such a massive undertaking.
- The "initial commit" link is broken.
Thanks, Kevin! :orange_heart:
Thank you so much again! :)
Emily (she/her) (May 07 2024 at 22:44):Valeria de Paiva said:
yes!! I've been talking about Network Mathematics, the umbrella project that MathGloss is part of, the last time in Women in Logic Online. do let me know if you find problems or fun things to do with our prototypes, will you? Thanks!!
Perfect! I'll try compiling such a list and let you know as soon as I have it in hand :)
Emily (she/her) (May 07 2024 at 22:44):@Valeria de Paiva The Network Mathematics project looks extremely interesting, by the way! Have you considered also including the 1lab in MathGloss? It seems like a wonderful resource that might fit idea of the project quite well
Valeria de Paiva (May 08 2024 at 05:06):Perfect! I'll try compiling such a list and let you know as soon as I have it in hand :)
Many thanks!
Emily (she/her): @Valeria de Paiva The Network Mathematics project looks extremely interesting, by the way! Have you considered also including the 1lab in MathGloss? It seems like a wonderful resource that might fit idea of the project quite well
Thanks. Indeed! I'm afraid I had seen the 1lab project before but had forgotten all about it. I think because we had decided to go for the undergrad maths domain, instead of the category theory one associated with TAC. it certainly makes sense!