| 21 Mar 2020 |
|  tiredthinker left the room. | 07:01:24 |
|  mona. joined the room. | 09:03:41 |
| mona. left the room. | 09:04:32 |
| 24 Mar 2020 |
|  orahcle joined the room. | 14:17:47 |
 Tim | so there's a new zulip chat room for category theory, in case y'all haven't heard https://categorytheory.zulipchat.com/ | 23:55:30 |
| Tim | i'm gonna look at setting up a bridge between that room and this, so that people don't have to move over to zulip if they still want to interact | 23:55:50 |
| 25 Mar 2020 |
 chexxor | In reply to @thosgood:matrix.org
so there's a new zulip chat room for category theory, in case y'all haven't heard https://categorytheory.zulipchat.com/ "You need an invitation to join this organization" | 00:13:49 |
| Tim | huh, try following the link from https://twitter.com/julesh/status/1242141831057616896 ? | 00:14:32 |
| Tim | https://twitter.com/julesh/status/1242141831057616896 | 00:14:42 |
| Tim | * huh, try following the link from | 00:14:53 |
| chexxor | That worked. Must be an invite code in that link. | 00:19:58 |
| Tim | ah ok, good to know! | 00:20:25 |
| 27 Mar 2020 |
|  tpmadz joined the room. | 13:38:44 |
| 28 Mar 2020 |
|  midi[F] invited  midi[P]. | 13:24:44 |
| midi[P] joined the room. | 13:24:59 |
| 31 Mar 2020 |
|  nonsolus joined the room. | 09:09:59 |
| 1 Apr 2020 |
|  drayd joined the room. | 20:40:20 |
| drayd left the room. | 20:41:03 |
| 4 Apr 2020 |
|  paula_thomas joined the room. | 08:30:50 |
|  @pallaty:matrix.org joined the room. | 21:55:06 |
| @pallaty:matrix.org left the room. | 22:03:45 |
| 6 Apr 2020 |
|  rachit173 joined the room. | 09:20:45 |
| 17 Apr 2020 |
|  maent joined the room. | 14:00:58 |
| 4 May 2020 |
 Joel Sjögren | Given a general endo-adjunction f \dashv g determine the pairs of composition strings A = ffgfg... and B=fgggfg... for which one may find morphisms A\to B. | 13:12:25 |
| Joel Sjögren | Put differently, how would you determine, given strings A and B, whether such a morphism can be derived from the axioms of an adjunction? | 13:14:05 |
| Joel Sjögren | One may also ask whether such a morphism is necessarily unique, so that the category of all possible strings would be a partial order, and then whether this partial order is a coproduct of linear orders. | 13:43:20 |
| Joel Sjögren | e.g. f\to fgf\to f is f\to f by the co/unit definition of adjunction, so uniqueness isn't violated here. | 13:46:33 |
| Joel Sjögren | but I suppose in the opposite direction fgf\to f \to fgf uniqueness is violated... | 13:47:31 |
|  enderdzz joined the room. | 16:45:50 |
| Tim | huh | 21:10:47 |
