!LADvlewaWOnmvMkjxE:matrix.org

Applied Category Theory

121 Members
2 Servers

Load older messages


Timestamp Message
13 Oct 2019
22:50:35@telegram_637936590:t2bot.ioFrancisco
In reply to Ryan Wisnesky
David's category theory for scientists book is trending on hacker news!
Nice!
14 Oct 2019
03:17:18@telegram_293613490:t2bot.io0x01 changed their profile picture.
16:09:19@telegram_971940119:t2bot.ioNick Hu Please allow me to do some of my own community building here: I'm not sure if there's much overlap with this group, but some of you at least may have heard of homotopy.io, which is a string diagram editor/proof assistant for finitely-presented $n$-categories for arbitrary $n$. I've just started my PhD, with a few others, working on this research project and we set up a chatroom to answer people's questions and encourage people to use it etc: https://github.com/homotopy-io/homotopy-webclient#community
16:20:41@telegram_676753280:t2bot.ioRyan Wisnesky @nick_hu looks awesome, give me a holler if you need any automated theorem provers
20:19:57@telegram_897557541:t2bot.ioPhilip Zucker Got a new blog post that I hope might be of interest to some people on here. http://www.philipzucker.com/functors-and-vectors/ Trying to explain how Vect and Haskell Functors can be brought into nice alignment
20:43:44@telegram_200015153:t2bot.ioMitya joined the room.
20:43:53@telegram_200015153:t2bot.ioMitya changed their display name from telegram_200015153 to Mitya.
21:08:23@telegram_200015153:t2bot.ioMityagreetings everyone! happy to join interesting community I have background in neurobiology and some experience in data analysis for now I'm do neuroscience project using computational topology I dreaming about deep abstract beautiful neuroscience models, maybe constructed using category theory)
15 Oct 2019
01:30:11@telegram_676753280:t2bot.ioRyan Wisnesky @mitya8128 that sounds really cool, do you have any links to it?
03:18:41@telegram_365941909:t2bot.ioCaio joined the room.
03:18:41@telegram_365941909:t2bot.ioCaio This guy compiled some stuff in this area: http://www.chadgiusti.com/bib.html
03:18:51@telegram_365941909:t2bot.ioCaio changed their profile picture.
03:19:24@telegram_365941909:t2bot.ioCaioAssuming you were asking for links about applications of alg top in neuroscience, of course.
03:41:03@telegram_676753280:t2bot.ioRyan Wisneskythat too, good stuff
04:21:01@telegram_870365283:t2bot.iononsameer Applications of Lawvere's fixed point theorem - MathOverflow
https://mathoverflow.net/questions/139645/applications-of-lawveres-fixed-point-theorem#targetText=Lawvere's%20fixed%20point%20theorem%20states,is%20fixed%20by%20the%20endomorphism).
05:52:11@telegram_614587682:t2bot.ioAnastasia Mackert joined the room.
08:30:38@telegram_200015153:t2bot.ioMitya
In reply to Ryan Wisnesky
@mitya8128 that sounds really cool, do you have any links to it?
I don't have yet publications on that topic but I do this project with Dr Dabaghian
as an example, his article about using algebraic topology in neurosciences:
https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5928258/
10:24:16@telegram_327930517:t2bot.ioDanil Akhtyamov joined the room.
10:39:35@telegram_33409066:t2bot.ioValkanuar Erpeditrix joined the room.
10:42:35@telegram_973691672:t2bot.ioRYAN ZOk you all ever encounter a situation where you want to ask someone 4 help grasping a paper, who u know could help to teach you a few things? but r afraid of 1) they might not think it’s worth their time & 2) u could get scooped since the info is relevant
10:43:20@telegram_973691672:t2bot.ioRYAN Z Edit: Do yall ever have situations where you want to ask someone 4 help grasping a paper, who u know could help to teach you a few things but r afraid of 1) they might not think it’s worth their time & 2) u could get scooped
10:56:03@telegram_973691672:t2bot.ioRYAN Z Edit: Ok yall ever have situations where you want to ask someone 4 help grasping a paper, who u know could help to teach you a few things but r afraid of 1) they might not think it’s worth their time & 2) u could get scooped
11:12:10@telegram_973691672:t2bot.ioRYAN Z Edit: Ok yall ever encounter a situation where you want to ask someone 4 help grasping a paper, who u know could help to teach you a few things but r afraid of 1) they might not think it’s worth their time & 2) u could get scooped
11:14:57@telegram_973691672:t2bot.ioRYAN Z Edit: Ok you all ever encounter a situation where you want to ask someone 4 help grasping a paper, who u know could help to teach you a few things? but r afraid of 1) they might not think it’s worth their time & 2) u could get scooped
11:30:31@telegram_973691672:t2bot.ioRYAN Z Edit: Ok you all ever encounter a situation where you want to ask someone 4 help grasping a paper, who u know could help to teach you a few things? but r afraid of 1) they might not think it’s worth their time & 2) u could get scooped since the info is relevant
11:33:40@telegram_973691672:t2bot.ioRYAN ZHow would you handle? The paper is quite difficult
11:55:47@telegram_973691672:t2bot.ioRYAN Z Edit: How would you handle? The paper is quite difficult
12:18:54@telegram_676753280:t2bot.ioRyan Wisnesky Regarding point two, don't worry about other people stealing your ideas. If they are any good, you'll have to ram them down their thoats, RYAN. Just my two cents
12:31:50@telegram_973691672:t2bot.ioRYAN Z That’s great advice you’ve given Ryan . I shall take it, thank you.
13:02:50@telegram_676753280:t2bot.ioRyan Wisnesky Edit: Regarding point two, don't worry about other people stealing your ideas. If they are any good, you'll have to ram them down their thoats, RYAN. Just my two cents

There are no newer messages yet.


Back to Room List