We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Goal: monoidal (closed) structure on the (pre)Schanuel topos and show that it models fresh name generation