Post #1551783
2026-04-08 23:38 UTC
@andrejbauer
Sorry for the slightly grasping side note, but did you see Ken Baclawski's introduction to foundation ontology by analogy to a topos foundation model of mathematics (last week)? https://www.youtube.com/watch?v=Ba8Cs0eVeHo
@Mr0
Replies (1)
-
@Mr0@privacysafe.social 2026-04-11 02:29
@screwlisp @andrejbauer *adds to watch list