You're viewing the discuss.systems public feed.

Martin EscardoMartinEscardo@mathstodon.xyz
Nov 14, 2023, 2:55 PM
@gadmm @jonmsterling E.g. the book Shaves in Geometry and Logic by MacLane and Moerdijk.
💬 0🔄 0⭐ 0