!juhLavcoMtmOVJnyJr:matrix.org

Category Theory, Logic, and Discrete Mathematics

326 Members
Category theory, logic, combinatorics || part of #mathematics-on:matrix.org30 Servers

Load older messages


SenderMessageTime
13 Sep 2022
@ndechihiro:matrix.orgndechihiro joined the room.07:37:49
14 Sep 2022
@thosgood:matrix.orgTimdoes anybody know any references that work with semi-simplicial presheaves (instead of simplicial)?16:30:50
@thosgood:matrix.orgTimi can find quite a few for semi-simplicial sets but not for presheaves of them16:31:05
16 Sep 2022
@sammmmmmm:matrix.orgsammmmmmm joined the room.11:15:02
@tomatopicker:matrix.org@tomatopicker:matrix.org joined the room.19:03:21
17 Sep 2022
@tomatopicker:matrix.org@tomatopicker:matrix.org left the room.14:20:08
19 Sep 2022
@trilobite17:matrix.orgtrilobite17The master ripped the standard reference on simplicial presheaves in half. The student received enlightenment.11:15:52
@charmquark:catgirl.cloudCharm Quark joined the room.15:22:26
21 Sep 2022
@vontox:matrix.orgvontox joined the room.09:18:46
@estherbtc:matrix.orgestherbtc joined the room.12:35:01
22 Sep 2022
@ihavelotsoffries:matrix.orgihavelotsoffriesSuppose R is the relation on the set of strings of English letters where a R b iff l(a) = l(b) where l(x) = lenght of string x. And if we reduce the set from strings of English letters to { cat, dog, bark, walk, pat, outside} then R = { (cat, dog), (cat, pat), (dog, cat), (dog, pat), (pat, cat), (pat, dog), (bark, walk), (walk, bark)} Is that correct?06:05:21
@hpotsirhc:matrix.orgChristophNo, (cat, cat), (dog, dog), (pat, pat), (bark, bark), and (walk, walk) are missing.06:57:58
23 Sep 2022
@ihavelotsoffries:matrix.orgihavelotsoffriesThank you! 05:28:28
@ihavelotsoffries:matrix.orgihavelotsoffriesI forgot about them.05:28:40
@trilobite17:matrix.orgtrilobite17
In reply to @ihavelotsoffries:matrix.org
I forgot about them.
You need to check your floors for 🐕️💩
06:26:35
@ihavelotsoffries:matrix.orgihavelotsoffriesI guess that is supposed to be something clever?08:32:35
@hpotsirhc:matrix.orgChristophIf so, then I don't get it.08:35:49
@ihavelotsoffries:matrix.orgihavelotsoffriesSomehow they use Windows and Chrome.08:37:46
@ihavelotsoffries:matrix.orgihavelotsoffries somehow. 08:38:01
@coin_ex_exchange:matrix.org@coin_ex_exchange:matrix.org joined the room.08:53:30
@trilobite17:matrix.orgtrilobite17
In reply to @ihavelotsoffries:matrix.org
I guess that is supposed to be something clever?
you didn't walk,walk your dog,dog when it needed to 💩,💩
11:35:59
@bkl:matrix.org@bkl:matrix.org left the room.12:02:01
@coin_ex_exchange:matrix.org@coin_ex_exchange:matrix.orgRedacted or Malformed Event12:49:37
@timokoesters:fachschaften.orgTimo ⚡️ banned @coin_ex_exchange:matrix.org@coin_ex_exchange:matrix.org.14:38:40
@loloitsjo:matrix.orgKaiji 2.0 changed their display name from man_in_suit to Kaiji 2.0.19:02:26
@loloitsjo:matrix.orgKaiji 2.0 changed their profile picture.19:03:15
25 Sep 2022
@n00mann:matrix.orgn00mann joined the room.02:34:58
26 Sep 2022
@ro_ot:matrix.orgmin(-p log p) joined the room.15:51:59
@ro_ot:matrix.orgmin(-p log p)Redacted or Malformed Event15:52:23
27 Sep 2022
@erkp:matrix.orgpatched joined the room.16:44:33

There are no newer messages yet.


Back to Room List