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.)