| 28 Dec 2019 |
| 19:15:40 |  Tim | but i have no personal experience with it |
| 19:15:48 | Tim | and i could be misremembering |
| 29 Dec 2019 |
| 23:55:13 | |  warculture joined the room. |
| 30 Dec 2019 |
| 22:42:31 | |  Christian Bertram joined the room. |
| 22:47:25 | Christian Bertram | Hi, I have a very simple question, I hope that's okay. 🙂 Is Cat locally small? I think it is, as I guess small categories can be represented as sets,(?) and Sets is locally small. Not sure, though |
| 22:54:53 | Tim | is Cat the category of small categories? |
| 22:55:02 | Christian Bertram | Yes |
| 22:56:26 | Tim | huh, i guess so... |
| 23:02:58 | Christian Bertram | I "guess", because my book makes it sound to me as if Cat is not locally small. "Pos, Top and Group are locally small (is Cat?)" |
| 23:04:47 | Christian Bertram | I am sorry if this sounds like a stupid homework question. It is not, I am not taking a course, just trying to learn some mathematics |
| 23:06:11 | Tim | no, it’s a good question! |
| 23:06:33 | Tim | probably obvious to a category theorist, but i’m always very nervous about such details... |
| 23:11:28 | Christian Bertram | Ah okay, thanks! If you think it's a detail I will not worry more about it, I will probably find out later if it turns out not to be true |
| 23:20:17 | Tim | two twitter responses |
| 23:20:30 | Tim | 
ima_69a7c3f.jpeg |
| 23:20:43 | Tim | very different but probably both good answers! |
| 23:28:06 | Christian Bertram | Hehe thank you! Ah I see, concrete category was what I was trying to get at with "can be represtented as sets", so my thinking was about right. But yep, probably both good answers :) |
| 23:45:22 | Tim | so you just need to check that the class of functors between any two locally small sets is a set |
| 23:46:22 | Tim | and you use the fact that your categories are locally small (this is key!) |
| 31 Dec 2019 |
| 00:16:08 | Christian Bertram | Are you thinking of proving that the category of locally small categories is itself locally small? I was only thinking about proving that the category of small categories is locally small, which must come from the fact that the class of functors between two small categories is a subset of X^Y |
| 00:16:51 | Christian Bertram | oops, pressed enter |
| 00:17:02 | Tim | oh woops, sorry, that’s what i meant |
| 00:17:14 | Tim | you’re right |
| 00:18:10 | Christian Bertram | Okay, no problem, thanks a lot! |
| 2 Jan 2020 |
| 04:49:53 | |  potatope joined the room. |
| 3 Jan 2020 |
| 14:12:54 | |  0andy0 joined the room. |
| 6 Jan 2020 |
| 10:30:06 | |  bigomby joined the room. |
| 8 Jan 2020 |
| 19:59:04 | |  cbwilliams joined the room. |
| 19 Jan 2020 |
| 19:28:11 | |  otbitf joined the room. |
| 20 Jan 2020 |
| 22:58:42 | |  corin joined the room. |
