[Question] Have general decomposers been formalized?

Hi, I’m work­ing on a re­sponse to ML pro­jects on IDA fo­cus­ing on a spe­cific de­com­poser, and I don’t know if some­one’s for­mal­ized what a de­com­poser is in the gen­eral case.

In­tu­itively, a sys­tem is a de­com­poser if it can take a thing and break it down into sub-things with a spe­cific vi­sion about how the sub-things re­com­bine.