You're viewing the discuss.systems public feed.

Jim Fowlerkisonecat@mathstodon.xyz
Nov 13, 2023, 8:35 PM
@MartinEscardo I find myself wanting "tabooses" to be a word, parallel with toposes.
💬 0🔄 0⭐ 0