A unique morphism corresponding to each object of a category, which has its domain equal to its codomain, and which composed with any morphism (with which it is composable) gives that same morphism.
Modern English dictionary
Explore and search massive catalog of over 900,000 word meanings.
Word of the Day
Get a curated memorable word every day.
Challenge yourself
Level up your vocabulary by setting personal goals.