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)
“The happiest two-job marriages I saw during my research were ones in which men and women shared the housework and parenting. What couples called good communication often meant that they were good at saying thanks to one another for small aspects of taking care of the family. Making it to the school play, helping a child read, cooking dinner in good spirit, remembering the grocery list,... these were silver and gold of the marital exchange.”
—Arlie Hochschild (20th century)