It comes out of the mathematical notion of a point and what not, right? Something, something, only discussing the composition of maps without ever talking abou

It comes out of the mathematical notion of a point and what not, right? Something, something, only discussing the composition of maps without ever talking about how the initial categories are tied to points. Category theory always makes for weird names for programming features.