[[!redirects Sandbox > history]] [[!redirects Sandbox]] < [[nlab:Sandbox]] Shapes as types, to define extension types... \section{Localization at a type} Going to be extremely useful for defining other types... category: redirected to nlab