| 21 Sep 2019 |
|  @joel135:matrix.org set a profile picture. | 12:50:41 |
 Joe Moeller | I've never read that one, just flipped through it for a reference. | 15:51:17 |
| Joe Moeller | I've read some of Categories, Allegories | 15:51:51 |
| Joe Moeller | I like his writing style. | 15:52:03 |
| @joel135:matrix.org | I remember starting to read Categories, Allegories maybe one or two years ago, maybe I should read some more of that one instead. I didn't know it was written by Freyd. | 15:53:56 |
| @joel135:matrix.org | Things about relations are probably relevant to me. | 15:54:50 |
 Tim | In reply to @jmoeller:matrix.org
I've read some of Categories, Allegories interesting title, what’s it about? | 15:57:00 |
| @joel135:matrix.org | [[sets,categories],[relations,allegories]] - that's as much as I know | 15:58:57 |
| @joel135:matrix.org | * [[sets & functions,categories],[sets & relations,allegories]] - that's as much as I know | 15:59:36 |
| Joe Moeller | https://ncatlab.org/nlab/show/Categories%2C+Allegories | 16:00:43 |
| Joe Moeller | The nlab article says it better than I could | 16:00:59 |
| Tim | huh, sounds really interesting | 16:01:39 |
| 25 Sep 2019 |
|  tokopolopolo joined the room. | 16:41:37 |
| 26 Sep 2019 |
| tokopolopolo | Wish I knew math. | 02:17:08 |
 oliviabw | Mood | 02:17:18 |
| tokopolopolo | Problem is, I get all in, then I get all out. | 02:19:37 |
| oliviabw | Ah yes the hokey pokey problem | 02:19:52 |
| tokopolopolo | Is the solution to this problem decidable? | 02:20:50 |
| Tim | if it is i'd love to hear it too! | 02:21:04 |
| oliviabw | I think you gotta shake it all about | 02:21:30 |
| Tim | my "solution" is to make sure that i write down things in as much detail as possible the moment i think i understand them | 02:21:32 |
| Tim | so that when i later forget, at least i have proof that i once knew it, and can try to learn from that | 02:21:51 |
| oliviabw | I make notes in less detail of everything I feel like I’ve understood | 02:22:19 |
| tokopolopolo | Learned that the hard way | 02:22:23 |
|  jonathan set a profile picture. | 12:03:22 |
| 28 Sep 2019 |
| @joel135:matrix.org | Are there any examples of functors whose domain has adjoints for morphisms? | 10:32:45 |
| 29 Sep 2019 |
|  @hansbauer:matrix.org left the room. | 03:58:59 |
| 30 Sep 2019 |
|  @hoxtrop:matrix.org joined the room. | 19:17:06 |
| 2 Oct 2019 |
|  @appservice-irc:matrix.orgchanged room power levels. | 11:21:27 |
| @appservice-irc:matrix.orgchanged room power levels. | 11:21:27 |
