∂ part of node [[category-theory-for-programmers]]