The CW01 mentioned in the footnote is Caccamo & Winskel: A Higher-Order Calculus for Categories
www.brics.dk/RS/01/27/BRI.... It has rules such as
07.06.2025 06:47 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0
Maybe via ends/coends and this?:
arxiv.org/abs/1501.02503
06.06.2025 10:47 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0
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
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/ ]
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
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
Chief Researcher at Araya, Tokyo. #ALife, #AI, embodied and enactive #cognition. Information, control and applied category theory for cognitive science.
https://manuelbaltieri.com/
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
yields falsehood when preceded by his own quotation
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!
Applied mathematician and technologist. Research scientist at @toposinstitute.bsky.social
Researcher in applied category theory at Hertfordshire, UK, formerly at ELSI, Japan. Maths, science and random creative projects.
I research programming languages and turn Category Theory into code
Mathematics -- Category Theory (math.CT)
source: export.arxiv.org/rss/math.CT
maintainer: @tmaehara.bsky.social
computer scientist, mathematician, father, karateka, pianist
Categorical Deep Learning.
Mathematician & Math Teacher
official Bluesky account (check username๐)
Bugs, feature requests, feedback: support@bsky.app
