overcone noun1 •A morphism from a diagonal overfunctor to the base category of the overcategory.In the second approach we try to find good subdivision points in an approximating overcone that is faster to compute.. — 2016 formsovercones
