Post #2649826
2026-05-09 10:36 UTC
@mevenlennonbertrand@lipn.info Yes! This is actually inspired by the way I usually implement elaborators. And this approach does indeed work at the level of SOGATs.
Replies (1)
-
@jonmsterling@mathstodon.xyz 2026-05-09 13:38
@mevenlennonbertrand@lipn.info But, to be clear, the way I implement elaborators was inspired by Bob Atkey ;-)