SubDirectProductDecomposition

I would prefer a full name for the method arrowClosureObject