Post #3066767
2026-05-21 15:38 UTC
to be precise, their 'substitution algebras' are for F-sets, where F is finite sets = free cocartesian category on a single generator.
Replies (1)
-
@mc@mathstodon.xyz 2026-05-21 15:38
connections with clubs when