Zulip Chat Archive
Stream: Is there code for X?
Topic: Sheafification of schanuel topos
William Sørensen (Feb 02 2026 at 20:09):
Hi is there an implementation of the Shanuel Topos / Nominal sets and the sheafification functor of this?
Last updated: Feb 28 2026 at 14:05 UTC