As you may have noticed, above you will find words for "An object which indexes a family of arrows between two given objects in a universal way, meaning that any other indexed family of arrows between the same given pair of objects must factor uniquely through this universally-indexed family of arrows.". Hover the mouse over the word you'd like to know more about to view its definition. Click to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.