Jencel Panic22h ago

RE: https://fosstodon.org/@zurihac/116040336310097135

Come meet me there!

#categorytheory #haskell

Counting Is Hard2d ago

πŸ˜’

#categorytheory

Fuyumiya Yuhlli3d ago

Hi #Mathstodon!
I’m a 2nd-year math student from Japan.

Interests:
Mathematical Logic / Foundations
Model Theory

Currently reading:
Ebbinghaus, "Mathematical Logic" πŸ“–

I really want to read "Sheaves in Geometry and Logic" (SGL), but I’m still struggling with Category Theory. Any advice on where to start?

I'm also challenging myself to study math in English! Please feel free to correct my English or math anytime - I’d love to learn from you. 🐏

#Math #Logic #CategoryTheory #Introduction

Kristin Wilson6d ago

πŸ’Ό Postdoctoral Researcher.

https://topos.institute/community/jobs/ca-2026-postdoc-02/

#postdoc #categorytheory

Postdoctoral Researcher [CA-2026-postdoc-02] – Topos Institute

Last updated: 18th of March, 2026

Topos Institute
Jencel PanicMar 18

Question for people with background in #categorytheory , which of the two is more correct/understandable:

"A monoid is...

#categorytheoryillustrated

...a category with one object"
57.1%
...isomorphic to a category with one object"
42.9%
Other (comment)
0%
Poll ended at .
Jesus MargarMar 13
#maths #math #lawvere #philosophy #hegel #categorytheory #marx #dialecticmaterialism
JosΓ© A. AlonsoMar 10
Readings shared March 09, 2026. https://jaalonso.github.io/vestigium/posts/2026/03/10-readings_shared_02-09-26 #AI #AI4Math #CategoryTheory #CoqProver #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LambdaCalculus #LeanProver #Lisp #Math #Physics #RocqProver
Readings shared March 9, 2026

The readings shared in Bluesky on 9 March 2026 are: Fantastic simprocs and how to write them. ~ YaΓ«l Dillies, Paul Lezeau. #LeanProver #ITP Formalization in Lean of faithfully flat descent of project

Vestigium
JosΓ© A. AlonsoMar 9
Can the most abstract math make the world a better place? ~ Natalie Wolchover https://www.quantamagazine.org/can-the-most-abstract-math-make-the-world-a-better-place-20260304/ #CategoryTheory #Math
Can the Most Abstract Math Make the World a Better Place? | Quanta Magazine

Columnist Natalie Wolchover explores whether applied category theory can be β€œgreen” math.

Quanta Magazine
JosΓ© A. AlonsoMar 9
Category theory for programming. ~ Benedikt Ahrens, Kobe Wullaert. https://arxiv.org/abs/2209.01259v1 #CategoryTheory #Haskell #LeanProver #FunctionalProgramming
Category Theory for Programming

In these lecture notes, we give a brief introduction to some elements of category theory. The choice of topics is guided by applications to functional programming. Firstly, we study initial algebras, which provide a mathematical characterization of datatypes and recursive functions on them. Secondly, we study monads, which give a mathematical framework for effects in functional languages. The notes include many problems and solutions.

arXiv.org
Soh Kam YungMar 5

Article on applied category theory, featuring quotes from @johncarlosbaez

"[Natalie Wolchover] I’ve learned that applied category theory has had some wins lately. The applications are not yet as green as Baez had hoped, but the approach is showing potential in important areas, including epidemiology and artificial intelligence safety."

https://www.quantamagazine.org/can-the-most-abstract-math-make-the-world-a-better-place-20260304/

#Mathematics #CategoryTheory

Can the Most Abstract Math Make the World a Better Place? | Quanta Magazine

Columnist Natalie Wolchover explores whether applied category theory can be β€œgreen” math.

Quanta Magazine