אוניברסליות (תורת הקטגוריות) – הבדלי גרסאות