David Corfield
Philosopher interested in mathematics, especially category theory, and psychoanalysis. Author of 'Modal Homotopy Type Theory: The prospect of a new tool for philosophy' (OUP, 2020) and 'Why do people get ill? (Hamish Hamilton 2007)
@bartoszmilewski.bsky.social
Physicist, mathematician, programmer. "The Dao of Functional Programming" Regularly updated work in progress. PDF on GitHub: https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
@johncarlosbaez.mathstodon.xyz.ap.brid.gy
I'm a mathematical physicist who likes explaining stuff. Sometimes I work at the Topos Institute. Check out my blog! I'm also a member of the n-Category […] [bridged from https://mathstodon.xyz/@johncarlosbaez on the fediverse by https://fed.brid.gy/ ]
@dorchard.bsky.social
Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling https://dorchard.github.io
@dpiponi.bsky.social
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
@manuelbaltieri.bsky.social
Chief Researcher at Araya, Tokyo. #ALife, #AI, embodied and enactive #cognition. Information, control and applied category theory for cognitive science. https://manuelbaltieri.com/
@nimarasekh.bsky.social
Mathematician at @unigreifswald.bsky.social QF Fellow at Zaiku Group Lived in 🇩🇪🇮🇷🇨🇦🇺🇸🇨🇭 currently in 🇩🇪 He/Him/His Interested in: homotopy theory, category theory, formalization of mathematics, quantum computation https://nimarasekh.github.io
@teamtock.bsky.social
Texas mathematician studying applied category theory. Trying to make sense of it all. I'm building a small company called TOCK Analytics, whose concept won an award from the office of Senator Ted Cruz, and is receiving many well wishes. Thank you so much!
@epatters.bsky.social
Applied mathematician and technologist. Research scientist at @toposinstitute.bsky.social
@nathanielvirgo.bsky.social
Researcher in applied category theory at Hertfordshire, UK, formerly at ELSI, Japan. Maths, science and random creative projects.
@arxiv-math-ct.bsky.social
Mathematics -- Category Theory (math.CT) source: export.arxiv.org/rss/math.CT maintainer: @tmaehara.bsky.social
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app