 | Applied Category Theory | 121 Members |
| 2 Servers |
| Applied Category Theory | 121 Members |
| 2 Servers |
| Timestamp | Message | |
|---|---|---|
| 13 Oct 2019 | ||
| 22:50:35 |  Francisco | In reply to Ryan WisneskyNice! |
| 14 Oct 2019 | ||
| 03:17:18 |  0x01 changed their profile picture. | |
| 16:09:19 |  Nick 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 |  Ryan Wisnesky | @nick_hu looks awesome, give me a holler if you need any automated theorem provers |
| 20:19:57 |  Philip 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 |  Mitya joined the room. | |
| 20:43:53 | Mitya changed their display name from telegram_200015153 to Mitya. | |
| 21:08:23 | Mitya | greetings 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 | Ryan Wisnesky | @mitya8128 that sounds really cool, do you have any links to it? |
| 03:18:41 |  Caio joined the room. | |
| 03:18:41 | Caio | This guy compiled some stuff in this area: http://www.chadgiusti.com/bib.html |
| 03:18:51 | Caio changed their profile picture. | |
| 03:19:24 | Caio | Assuming you were asking for links about applications of alg top in neuroscience, of course. |
| 03:41:03 | Ryan Wisnesky | that too, good stuff |
| 04:21:01 |  nonsameer | 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 |  Anastasia Mackert joined the room. | |
| 08:30:38 | Mitya | In reply to Ryan WisneskyI 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 |  Danil Akhtyamov joined the room. | |
| 10:39:35 |  Valkanuar Erpeditrix joined the room. | |
| 10:42:35 |  RYAN Z | 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 |
| 10:43:20 | RYAN 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 | RYAN 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 | RYAN 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 | RYAN 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 | RYAN 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 | RYAN Z | How would you handle? The paper is quite difficult |
| 11:55:47 | RYAN Z | Edit: How would you handle? The paper is quite difficult |
| 12:18:54 | Ryan 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 | RYAN Z | That’s great advice you’ve given Ryan . I shall take it, thank you. |
| 13:02:50 | Ryan 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 |