格罗滕迪克拓扑, 作品: Forkarium