?? general phenomenon of ... ??? "extension theory given by introducing new stuff, at first completely unconnected to original stuff, but then tied to it by also-introduced new structure ..." ....

?? "types, predicates, axioms" as lining up with "property, structure, stuff", but in "filtered" way vs "graded" .... ?? ....

(?? kontsevitch ?? .... ?? .... ... vasilieff invariants ... ??? ...)

?? showing up with for example "dimensional theory enriched over _g-rep_ " .... ??? with specified grading group ... ??? ...

?? ... annoying/intriguing "locally internal category" appendix in baby elephant ... ?? ...