Am only new to homotopy considerations so rather lost amongst your definitions.did catch tho that you are extending the concepts from smooth branes to discreet ones. Are you getting towards being to fill topological possibilities much like transcendental numbers complete the possibilities of ordering numbers up to infinity?