?? so given an upward-closed collection of cocones, consider those cocones in it which are herditary co-faces of minimal such ... ???

?? hmm, does the upward-closed collection of _all_ cocones (?? for example on 2d lattice ... ???? ....) cause a big problem here ??? ..... ???? .....