nLab Author — sheaf

Overview

sheaf has contributed to 1 nLab pages.

Most recent contributions

type theory 20:52:04, June 01 2024

All pages contributed to