英和和英

名詞

overcone (複数形 overcones)

1. (mathematics) A morphism from a diagonal overfunctor to the base category of the overcategory.
   • 2016, Winfried Bruns, Richard Sieg, Christof Söger, “The subdivision of large simplicial cones in Normaliz”, in arXiv‎^[1]:

     In the second approach we try to find good subdivision points in an approximating overcone that is faster to compute..

アナグラム

• once over, once-over