| 15 May 2020 |
 Joel Sjögren | I mean coslice category. | 14:12:51 |
| 21 May 2020 |
|  foocraft joined the room. | 23:31:54 |
| 26 May 2020 |
|  asadoll joined the room. | 20:25:34 |
| 4 Jun 2020 |
|  Ryan joined the room. | 00:14:32 |
| 14 Jun 2020 |
|  variety joined the room. | 20:06:16 |
| variety set a profile picture. | 20:14:40 |
|  thosgood_dev joined the room. | 23:43:29 |
|  Timchanged room power levels. | 23:44:51 |
|  mehmetoguzderin joined the room. | 23:56:33 |
| 15 Jun 2020 |
|  Arun joined the room. | 00:06:51 |
| Arun changed their display name from adebray to Arun. | 00:07:32 |
| Arun set a profile picture. | 00:08:44 |
|  ang00 joined the room. | 00:20:12 |
|  jlba joined the room. | 01:19:17 |
| Joel Sjögren | https://ncatlab.org/nlab/show/topos+of+pointed+objects | 08:48:30 |
| Joel Sjögren | I wonder, what is the subobject classifier, and how does this generalize to ∞-toposes? | 08:49:35 |
| Joel Sjögren | If Ω is to classify maps of pointed spaces (y, Y) -> (a, A) then a map (a, A) -> Ω (which I see as a type family over (a, A)) will give not only a type B(x) for each x, but will also give a single chosen b : B(a). | 09:01:12 |
| Joel Sjögren | I think the pullback condition on that page ensures that B(a) is actually contractible, so that no ambiguity arises when you transport b : B(a) along a path a = a. | 09:05:55 |
| Tim | huh, interesting way to think about it via type families | 11:54:31 |
| 18 Jun 2020 |
|  zzalpha joined the room. | 07:11:54 |
| zzalpha set their display name to zzalpha. | 16:01:35 |
| 19 Jun 2020 |
| asadoll set a profile picture. | 13:12:36 |
| asadoll changed their profile picture. | 13:13:06 |
| 20 Jun 2020 |
| Tim changed the room topic to "part of the +mathematics:matrix.org community" from "a place to discuss category theory, both applied and theoretical, and any other related things | part of the +mathematics:matrix.org community". | 11:42:18 |
| 24 Jun 2020 |
|  eisenvig joined the room. | 22:04:34 |
| 27 Jun 2020 |
| Joel Sjögren | related to my question https://youtu.be/qmCh9KwrQq8?t=3069 | 00:13:46 |
| 28 Jun 2020 |
|  simplyconnectedliegroup joined the room. | 22:01:30 |
| 30 Jun 2020 |
|  nocase_ joined the room. | 19:45:16 |
| 1 Jul 2020 |
|  mizorul joined the room. | 00:50:58 |
| 2 Jul 2020 |
| Ryan changed their display name from ryankeleti to Ryan. | 14:46:41 |
