| 31 Aug 2024 |
|  @knoppix:4d2.org joined the room. | 12:51:21 |
| @knoppix:4d2.org left the room. | 12:52:02 |
| 2 Sep 2024 |
|  mehmetoguzderin changed their profile picture. | 02:46:24 |
|  Amets changed their display name from haritz to Amets. | 11:18:38 |
| 6 Sep 2024 |
|  @saikoukatsuro:matrix.org left the room. | 07:48:05 |
| 8 Sep 2024 |
|  @grinlex:matrix.org joined the room. | 07:59:45 |
| 9 Sep 2024 |
|  cobord joined the room. | 16:59:43 |
| 10 Sep 2024 |
|  @poopdollar:arcticfoxes.net joined the room. | 06:07:03 |
| @poopdollar:arcticfoxes.net | Redacted or Malformed Event | 06:07:39 |
|  Timo ⚡️ banned @poopdollar:arcticfoxes.net. | 06:58:23 |
| 11 Sep 2024 |
|  @jesus:arcticfoxes.net joined the room. | 04:43:00 |
| @grinlex:matrix.org left the room. | 05:31:18 |
| @jesus:arcticfoxes.net | Redacted or Malformed Event | 04:43:22 |
| Timo ⚡️ changed the join rule to "invite" from "public". | 05:37:44 |
| Timo ⚡️ banned @jesus:arcticfoxes.net. | 05:37:49 |
| 23 Sep 2024 |
|  @fiveop:matrix.org left the room. | 07:28:36 |
| 26 Sep 2024 |
 gm_z | In reply to @quantum:envs.net
Iirc the definition of a compactly generated space is one where the topology on that space is the final topology for some given set of functions K -> X i was reading may and yeah he doesn't give this definition | 00:23:45 |
| gm_z | trying to read the original paper by vogt (convenient categories of topological spaces for homotopy theory) and he says that category theorists know CG to be the kan extension of the inclusion Comp -> Top? | 00:31:59 |
| gm_z | oh there's a description of kan extensions when the codomain is cocomplete using colimits | 00:35:24 |
| gm_z | * oh there's a description of left kan extensions when the codomain is cocomplete using colimits | 00:37:15 |
| 29 Sep 2024 |
|  LinearArray changed their profile picture. | 05:04:11 |
| 1 Oct 2024 |
|  terrorist :: Feline changed their display name from Terrorist :: Feline to terrorist :: Feline. | 09:34:47 |
| 7 Oct 2024 |
|  lole changed their profile picture. | 19:28:10 |
| 19 Oct 2024 |
|  @pierinevanboline:matrix.org left the room. | 23:42:46 |
| 27 Oct 2024 |
|  @justinpemberton:matrix.org left the room. | 04:27:26 |
| 5 Nov 2024 |
|  @wkearn:matrix.org left the room. | 10:30:53 |
| 11 Nov 2024 |
|  @matrix638:matrix.org joined the room. | 07:03:08 |
| @matrix638:matrix.org left the room. | 07:10:17 |
| 5 Dec 2024 |
| Timo ⚡️ changed their profile picture. | 11:46:01 |
| 8 Dec 2024 |
|  @sith:matrix.org set a profile picture. | 00:28:53 |
