Timeline for What's there to do in category theory?
Current License: CC BY-SA 3.0
15 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 24, 2019 at 16:54 | comment | added | Monroe Eskew | This paper focuses on a concrete category of countable sets, whose nontriviality requires some large cardinal assumptions. See Theorem 3 and Questions 3-6 at the end. I don’t usually deal in categorical terms, but it was the right concept to use to organize our ideas and formulate natural questions. | |
| Dec 8, 2017 at 3:03 | review | Close votes | |||
| Dec 8, 2017 at 9:02 | |||||
| Dec 6, 2017 at 0:25 | answer | added | Ivan Di Liberti | timeline score: 19 | |
| Dec 5, 2017 at 21:21 | history | edited | Glorfindel | CC BY-SA 3.0 |
MathOverflow is a Q&A site, not a forum
|
| Dec 5, 2017 at 19:32 | history | edited | Rodrigo de Azevedo | CC BY-SA 3.0 |
Minor edits to separate the disclaimer from the body of the question
|
| Dec 5, 2017 at 16:42 | comment | added | James Smith | John Baez' Applied Category Theory group are probably worth a mention. | |
| Dec 5, 2017 at 16:21 | answer | added | fosco | timeline score: 38 | |
| Dec 4, 2017 at 19:21 | answer | added | Henk Koppelaar | timeline score: -3 | |
| Nov 30, 2017 at 1:18 | comment | added | Harry Gindi | (∞,1)-category theory is now very well-developed, with analogues of almost all 1-categorical results, but (∞,2)-category theory right now is missing huge pieces of the theory of 2-categories, for instance a complete version of the Yoneda lemma. Dominic Verity has some unpublished results using complicial sets that achieve this in the general (∞,n)-case, but his complicial framework has not yet been adopted by many mathematicians. Since Yoneda's lemma is fundamental to further development of (∞,n)-category theory, the field is wide open in the complicial arena. | |
| Nov 30, 2017 at 1:08 | answer | added | Arun Debray | timeline score: 22 | |
| Nov 30, 2017 at 0:07 | history | made wiki | Post Made Community Wiki by Todd Trimble | ||
| Nov 29, 2017 at 22:29 | comment | added | Peter LeFanu Lumsdaine | You can get some way by looking at the programmes of recent CT conferences, e.g. CT2017 Coimbra and CT2016 Halifax. I would second what @SimonHenry says about higher category theory being a very active sub-topic; also categorical logic. Of course, these come first to my mind because they’re the ones I’m involved with myself… | |
| Nov 29, 2017 at 22:19 | comment | added | Simon Henry | Just a remark: this impression that a big part of category theory is about topos theory might have been valid at some point (I believe in the late 80s and during the 90s) but toposes are (sadly) a little bit out of fashion today (that does not means they are not studied any more, just a lot less). My (probably biased) impression is that nowdays the bigest sub-topic in category theory is higher category theory. | |
| Nov 29, 2017 at 21:41 | review | Close votes | |||
| Nov 30, 2017 at 13:44 | |||||
| Nov 29, 2017 at 21:16 | history | asked | Maxime Ramzi | CC BY-SA 3.0 |