Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Functoriality
View through CrossRef
Last time we worked through some basic examples of universal properties, specifically singling out quotients, products, and coproducts. There are many many more universal properties that we will mention as we encounter them, but there is one crucial topic in category theory that we have only hinted at: functoriality. As we’ve repeatedly stressed, the meat of category theory is in the morphisms.
Title: Functoriality
Description:
Last time we worked through some basic examples of universal properties, specifically singling out quotients, products, and coproducts.
There are many many more universal properties that we will mention as we encounter them, but there is one crucial topic in category theory that we have only hinted at: functoriality.
As we’ve repeatedly stressed, the meat of category theory is in the morphisms.
Related Results
Elgot Algebras
Elgot Algebras
Denotational semantics can be based on algebras with additional structure
(order, metric, etc.) which makes it possible to interpret recursive
specifications. It was the idea of El...
Functoriality of the Schmidt Construction
Functoriality of the Schmidt Construction
After proving, in a purely categorial way, that the inclusion functor InAlg(Σ) from Alg(Σ), the category of many-sorted Σ-algebras, to PAlg(&Sigma...
The Weil Algebra and the Weil Model
The Weil Algebra and the Weil Model
This chapter evaluates the Weil algebra and the Weil model. The Weil algebra of a Lie algebra g is a g-differential graded algebra that in a definite sense models the total space E...