| 2 Dec 2019 |
 Joel Sjögren | for some reason i associated monos with coproduct rather than product | 19:45:32 |
| Joel Sjögren | but of course, topos theory is about monos and pullbacks | 19:46:50 |
 Tim | mm, i think it maybe helps to remember that monomorphisms are more general versions of equalisers (which are limits, like products) | 19:46:51 |
| Joel Sjögren | yes i agree | 19:47:11 |
| 6 Dec 2019 |
|  Khinchin joined the room. | 18:04:11 |
|  Bohdan joined the room. | 22:47:36 |
| 7 Dec 2019 |
|  bbbbrrrzzt joined the room. | 05:10:12 |
| 9 Dec 2019 |
| Joel Sjögren | Hmm, this seems like a Yoneda type of property. | 12:56:21 |
| Joel Sjögren | v(-,a)=\int_x(x a,v x) | 12:57:16 |
| Joel Sjögren | for v:\hat{A}\to E, x:A^\mathrm{op}\to E, a:A | 12:59:03 |
| Joel Sjögren | * for v:\hat{A}\to E, x:A^\mathrm{op}\to \mathrm{Set}, a:A | 12:59:49 |
| Joel Sjögren | * for $v:\hat{A}\to E$, $x:A^\mathrm{op}\to \mathrm{Set}$, $a:A$ | 13:00:06 |
| 14 Dec 2019 |
|  runslick joined the room. | 06:00:38 |
| 17 Dec 2019 |
| bbbbrrrzzt changed their profile picture. | 22:59:34 |
| 21 Dec 2019 |
|  jehaverlack joined the room. | 18:49:45 |
| jehaverlack | Is anyone familiar with Jacob Lurie's work on Higher Topos Theory / Infinite Categories? | 18:50:58 |
| jehaverlack | I'm interested in a conceptual introduction, the best I've found is this article: https://www.quantamagazine.org/with-category-theory-mathematics-escapes-from-equality-20191010/ | 18:51:59 |
| bbbbrrrzzt | Yes and I've read that precise articled | 21:18:51 |
| bbbbrrrzzt | You can download his work on his website | 21:19:05 |
| jehaverlack | Thanks, I've done so. | 22:48:17 |
| jehaverlack | Someone in another channel pointed me at: https://arxiv.org/abs/1907.02904 | 22:49:22 |
| 23 Dec 2019 |
|  test5864346 joined the room. | 12:51:17 |
| Tim | if it’s his general infinity category stuff then you can read a bunch of stuff on his approach | 16:26:49 |
| Tim | which is via quasicategories | 16:26:56 |
| Tim | i think stuff by emily riehl for example is way better written as a thing to learn from | 16:27:17 |
| Tim | there’s also a book by bergner which is meant to be v good | 16:28:20 |
| jehaverlack | Thanks for the recomendations! | 20:23:07 |
| Tim | no problem :) let us know if you have any other questions too! | 23:10:04 |
| 28 Dec 2019 |
| Khinchin | In reply to @thosgood:matrix.org
there’s also a book by bergner which is meant to be v good As you talk about Bergner book, I know that it is about homotopy theory. How do you feel about the book by Cisinski? | 18:21:18 |
| Tim | i’m not familiar with it, but i know that one of his books is apparently quite unrigorous | 19:15:16 |
