/PoP

being code and blether about presheaves on purpose

Primary LanguageTeX

PoP

being code and blether about presheaves on purpose