# Onboarding Will to cadCAD Notes https://hackmd.io/bdtW0ngxReqALhc1NkOf8g helps inform areas of concern for documentation --- nosql structure space is type, collection of type dimensions is a type, can be a space, - implies is it user defined, generic, a space? points are intermediate states (80% understand) blocks are not bijective domain, codomain are spaces, and implies a space Spaces are essentially an algebraic type system that is designed to support declaring and wiring blocks together, where blocks are maps from point in the domain space to point in the codomain space if we keep multiplying spaces, they will be nested as 2d spaces "point in domain" empty space is the identity element in the space algebra - wanting coherent algebraic system repeated joins - flat -