As the title says, is there a mathematical object referred to as "ivy" or "ivy type" or similar?
I have a type of graph where this name fits perfectly, but I don't want it to clash with something already defined.
(I could in this paper call it a "reduced graph" or "contracted graph" but the above definition would make more sense.)