!LADvlewaWOnmvMkjxE:matrix.org

Applied Category Theory

369 Members
28 Servers

Load older messages


SenderMessageTime
19 Jun 2020
@jay-invariant:matrix.org@jay-invariant:matrix.org left the room.17:28:50
20 Jun 2020
@nicola:privacytools.ionicola 07:11:38
22 Jun 2020
@pjotr:ru-matrix.orgpjotr joined the room.08:45:46
@tuuli:matrix.orgtuuli joined the room.13:06:22
23 Jun 2020
@telegram_503372818:t2bot.ioBrett changed their display name from Brett G. to Brett.05:06:02
@telegram_503372818:t2bot.ioBrett changed their profile picture.05:09:02
@telegram_242267783:t2bot.ioAlexandr joined the room.11:28:50
@telegram_198428202:t2bot.ioChris changed their display name from Kras to Chris.17:46:39
@ronald:riotchat.deronald 19:08:13
24 Jun 2020
@telegram_978475952:t2bot.ioNo CVery new to category theory, but I am curious if there are good pointers to the historical relationship between category theory and topology. It seems the two developed closely together (again, I’m new so apologies if this is totally off) are there good surveys on how and why that relationship developed? Also, any good surveys or papers on the relationship between category theory and topological data analysis?14:58:35
@telegram_812273871:t2bot.iokl mwactually, one of the driving forces of category theory development was Hurewicz theorem, which in categorical language states that hurewicz homomorphism from homotopy group to homology is a natural transformation between corresponding functors15:16:38
@telegram_812273871:t2bot.iokl mw* actually, one of the driving forces of category theory development was Hurewicz theorem, which in categorical language states that hurewicz homomorphism from homotopy group to homology is a natural transformation between corresponding functors15:17:13
@telegram_978475952:t2bot.ioNo CI can probably google to find the paper that presents this result, thank you!15:19:18
@telegram_812273871:t2bot.iokl mwand Hurewicz theorem is of course the subject of the study of topology, or to be more precise homotopy theory15:19:33
@telegram_812273871:t2bot.iokl mwthe whole homotopy theory speaks a categorical language, in fact15:19:53
@telegram_978475952:t2bot.ioNo C
In reply to kl mw
the whole homotopy theory speaks a categorical language, in fact
I will look deeper here, thank you!
15:21:25
26 Jun 2020
@vgr20200624a:matrix.orgvgr20200624a joined the room.18:03:29
@martin:netzgemeinde.eumartin 20:48:14
27 Jun 2020
@mariana:hispagatos.org@mariana:hispagatos.org left the room.21:19:12
30 Jun 2020
@joerg:nitro.chatjoerg joined the room.20:40:46
27 Jun 2020
@telegram_520957969:t2bot.ioAndré GomesSorry for my off-topic question. I have 2 bachelor's degree in maths and physics from the university of porto (portugal). Is it real to think about continuing my studies abroad without paying tuition fees? I'm particularly interested in Russia.22:32:20
@telegram_33409066:t2bot.ioValkanuar ErpeditrixIn Russia there's normally no tuition fees.22:33:44
@telegram_33409066:t2bot.ioValkanuar Erpeditrix changed their profile picture.22:33:56
28 Jun 2020
@telegram_520957969:t2bot.ioAndré Gomes
In reply to Valkanuar Erpeditrix
In Russia there's normally no tuition fees.
I don't think that applies to foreigners. I will get residence (рвп) soon.
00:12:00
30 Jun 2020
@telegram_1183300330:t2bot.ioDrew Lazzeri joined the room.17:51:31
@harry:hackerspaces.beharry 21:50:59
2 Jul 2020
@telegram_1241903742:t2bot.ioShingo OKAWA joined the room.11:02:44
@telegram_1241903742:t2bot.ioShingo OKAWA changed their display name from telegram_1241903742 to Shingo OKAWA.11:02:48
@telegram_1264033201:t2bot.ioCheng joined the room.12:19:51
@konstantin:kde.orgkonstantin 20:00:54

There are no newer messages yet.


Back to Room List