#CategoryTheory
LightNews LightNews
abuseofnotation.mathstodon.xyz.ap.brid.gy
My #categorytheory lecture on Zurihac:

Part 1: https://www.youtube.com/watch?v=Xr1gcdb_IvA
September 22, 2026 at 6:42 PM
jalonso.eurosky.social
A gentle introduction to categorical logic and type theory. ~ Eric Schmid. ericschmid-uchicago.github.io/notes/cl_and... #Math #CategoryTheory #TypeTheory
March 7, 2025 at 7:48 AM
jalonso.eurosky.social
Category theory illustrated. ~ Jencel Panic. abuseofnotation.github.io/category-the... #CategoryTheory
December 30, 2024 at 1:21 PM
jalonso.eurosky.social
Category theory illustrated: Types. ~ Jencel Panic. abuseofnotation.github.io/category-the... #CategoryTheory #Math
April 4, 2026 at 9:18 AM
jalonso.eurosky.social
Category theory illustrated: Natural transformations. ~ Jencel Panic. abuseofnotation.github.io/category-the... #CategoryTheory
October 1, 2025 at 12:23 PM
jalonso.eurosky.social
Category theory in programming. ~ Noah Ma. docs.racket-lang.org/ctp/index.html #CategoryTheory #Math #Racket #FunctionalProgramming
December 2, 2024 at 12:28 PM
jalonso.eurosky.social
Categories and Haskell (An introduction to the mathematics behind modern functional programming). ~ Jan-Willem Buurlage. raw.githubusercontent.com/jwbuurlage/c... #CategoryTheory #Haskell #FunctionalProgramming
January 11, 2025 at 7:24 AM
sjoerdvisscher.w3future.com
This is getting complicated! #haskell #categorytheory
A diagram of optics
September 12, 2026 at 4:46 PM
stevenforth.bsky.social
Nice visual introduction to category theory.

Category theory is the most general way of putting things in context.

abuseofnotation.github.io/category-the...

#math #categorytheory #visualization
April 11, 2026 at 6:46 PM
jalonso.eurosky.social
Category theory using Haskell (An introduction with Moggi and Yoneda). ~ Shuichi Yukita. link.springer.com/book/10.1007... #Haskell #FunctionalProgramming #CategoryTheory
Category Theory Using Haskell
This book offers an introductory course on category theory with lots of useful examples implemented in Haskell.
link.springer.com
December 15, 2024 at 8:06 AM
jalonso.eurosky.social
Bridging category theory and functional programming for enhanced learning. ~ Fethi Kadhi. www.mecs-press.org/ijmsc/ijmsc-... #Haskell #FunctionalProgramming #CategoryTheory
October 17, 2025 at 10:19 AM
abuseofnotation.mathstodon.xyz.ap.brid.gy
Published a new chapter of #categorytheoryillustrated - Types

https://abuseofnotation.github.io/category-theory-illustrated/06_type/

#categorytheory #mathematics #haskell
March 30, 2026 at 11:23 AM
stevenforth.bsky.social
Two books to be read together. Perhaps they complement, perhaps they contradict.

#Booksky #2books #math#categorytheory #symmetry
April 17, 2025 at 12:18 PM
jalonso.eurosky.social
Formalizing invisible mathematics: case studies from higher category theory. ~ Emily Riehl. emilyriehl.github.io/files/invisi... #ITP #LeanProver #Math #CategoryTheory
June 9, 2025 at 11:36 AM
jalonso.eurosky.social
Category theory using Haskell (An introduction with Moggi and Yoneda). ~ Shuichi Yukita. books.google.com/books?id=4Xc... #CategoryTheory #Math #Haskell #FunctionalProgramming
Category Theory Using Haskell
This unique book offers an introductory course on category theory, which became a working language in algebraic geometry and number theory in the 1950s and began to spread to logic and computer scienc...
books.google.com
April 3, 2025 at 9:40 AM
jalonso.eurosky.social
Basic category theory. ~ Tom Leinster. arxiv.org/abs/1612.09375 #eBook #CategoryTheory
Basic Category Theory
This short introductory category theory textbook is for readers with relatively little mathematical background (e.g. the first half of an undergraduate mathematics degree). At its heart is the concept...
arxiv.org
August 27, 2025 at 10:07 AM
categorically.me
I'm convinced that #CategoryTheory should be taught at the high school level, and should be introduced even earlier. It comes natural to children, and would make learning other #math concepts much easier.
December 10, 2024 at 10:23 PM
kinow.bsky.social
List of books about Category Theory updated at the r/funcionalprogramming Wiki: https://old.reddit.com/r/functionalprogramming/wiki/books#wiki_category_theory #programming #FunctionalProgramming #CategoryTheory #Haskell #LISP #Python #Scala #Elm #Gleam #Ocaml
Screenshot of the Wiki page.
December 15, 2024 at 6:10 PM
jalonso.eurosky.social
Category theory: Introducing the perfect language. ~ Richard Southwell youtu.be/H32kyA4BMz4 #CategoryTheory
Category Theory: Introducing The Perfect Language (Talk At ZuriHac 2025)
YouTube video by Richard Southwell
youtu.be
July 4, 2025 at 2:55 PM
jalonso.eurosky.social
Bind and traverse with Kleisli morphisms. ~ Murat Kasimov. muratkasimov.art/Ya/Articles/... #CategoryTheory #Haskell #FunctionalProgramming
Я ☞ Articles ☞ Bind and traverse with Kleisli morphisms
...
muratkasimov.art
February 24, 2025 at 7:44 AM
stevenforth.bsky.social
Two books to be read together. Perhaps they complement, perhaps they contradict.

#Booksky #2books #math #categorytheory
January 16, 2025 at 12:34 PM
lambdadays.bsky.social
Profunctors for UI?
Eryk Ciepiela shows how #CategoryTheory concepts can power fully #declarative, composable user interfaces in #PureScript.

📅 12–13 June 2025 in Krakow
🌐 www.lambdadays.org
May 27, 2025 at 9:19 AM
jalonso.eurosky.social
Applied category theory in the Wolfram Language using Categorica I: diagrams, functors and fibrations. ~ Jonathan Gorard. arxiv.org/abs/2403.16269 #CategoryTheory #Mathematica
March 26, 2024 at 7:26 AM
stevenforth.bsky.social
One of two posts using the Yoneda Lemma as a seed to select and sequence three line, haiku influenced notes.

The Yoneda Lemma connect to the Buddhist idea of no independent origination.

foldingnotes.substack.com/p/the-yoneda...

#poetry #haiku #math #Buddhism #categorytheory #Yoneda
July 19, 2026 at 6:08 PM
jalonso.eurosky.social
Accessible bridge between category theory and functional programming. ~ Fethi Kadhi. export.arxiv.org/abs/2410.07918 #Haskell #FunctionalProgramming #CategoryTheory
October 13, 2024 at 7:22 AM