nLab Author — sheaf

Overview

sheaf has contributed to 2 nLab pages.

Most recent contributions

closed subspace 18:57:10, November 11 2024
type theory 20:52:04, June 01 2024

All pages contributed to