A formal reference for (-2)-category theory
Home Page:https://neg2lab.phanta.pl/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool