Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorJoyDivision
   • CommentTimeNov 28th 2018
   • (edited Nov 28th 2018)
   • PermaLink
   Author: JoyDivision
   Format: TextAre there any open problems in category theory which an advanced undergraduate/beginning graduate student could tackle? Of course the results of someone at this level wouldn’t be earth-shattering. But is there anything decent?

   Are there any open problems in category theory which an advanced undergraduate/beginning graduate student could tackle? Of course the results of someone at this level wouldn’t be earth-shattering. But is there anything decent?
2. • CommentRowNumber2.
   • CommentAuthorMike Shulman
   • CommentTimeNov 28th 2018
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexOne idea that comes to mind: Geoff Cruttwell and some of his students have had some fun [counting the number of categories](https://www.mta.ca/uploadedFiles/Community/Bios/Geoff_Cruttwell/ams2014CruttwellCountingFiniteCats.pdf) with some fixed finite number of morphisms, which is in some sense a fairly elementary problem. I expect there are related questions that are still open; you could contact him and ask if he has ideas. For instance, one thing you could do with finite categories is [compute their Euler characteristics](https://arxiv.org/abs/math/0610260), and then perhaps do statistical analyses of these too.

   One idea that comes to mind: Geoff Cruttwell and some of his students have had some fun counting the number of categories with some fixed finite number of morphisms, which is in some sense a fairly elementary problem. I expect there are related questions that are still open; you could contact him and ask if he has ideas. For instance, one thing you could do with finite categories is compute their Euler characteristics, and then perhaps do statistical analyses of these too.

3. • CommentRowNumber3.
   • CommentAuthorDavid_Corfield
   • CommentTimeNov 28th 2018
   • (edited Nov 28th 2018)
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexMonoids dominate of course. And of those which aren't, it looks like disjoint sums of monoids dominate. How about counting minimal representatives of equivalence classes of categories which require at least two objects with no disjoint subcategory?

   Monoids dominate of course. And of those which aren’t, it looks like disjoint sums of monoids dominate. How about counting minimal representatives of equivalence classes of categories which require at least two objects with no disjoint subcategory?