Categorical Aspects
The extension of a container is an endofunctor. It takes a function g to
This is equivalent to the familiar map g in the case of lists, and does something similar for other containers.
Read more about this topic: Container (type Theory)
Famous quotes containing the words categorical and/or aspects:
“We do the same thing to parents that we do to children. We insist that they are some kind of categorical abstraction because they produced a child. They were people before that, and they’re still people in all other areas of their lives. But when it comes to the state of parenthood they are abruptly heir to a whole collection of virtues and feelings that are assigned to them with a fine arbitrary disregard for individuality.”
—Leontine Young (20th century)
“An atheist may be simply one whose faith and love are concentrated on the impersonal aspects of God.”
—Simone Weil (1909–1943)