Live briefing
Everything about Diagonal functor
In category theory, a branch of mathematics, the diagonal functor is given by, which maps objects as well as morphisms. This functor can be employed to give a succinct alternate description of the product of objects within the category : a product is a universal arrow from to. The arrow comprises the projection maps. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Diagonal functorA 5-minute orientation
- Read the landmark paper: When is the Diagonal Functor Frobenius?Cited 1 times
- Go sideways: Comma categoryA closely related topic
- Go sideways: Limit (category theory)A closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
No outline available.
🏆 Landmark papers (most cited)
📚 Books worth reading
Open Library didn't respond; try again in a moment.
🔗 Related topics
- Comma category In mathematics, a comma category is a construction in category theory. It provides another way of looking at morphisms: instead of simply relating objects…
- Limit (category theory) In category theory, a branch of mathematics, the abstract notion of a limit captures the essential properties of universal constructions such as products…
- Diagram (category theory) In category theory, a branch of mathematics, a diagram is the categorical analogue of an indexed family in set theory. The primary difference is that in…
- Representable functor In mathematics, particularly category theory, a representable functor is a certain functor from an arbitrary category into the category of sets. Such functors…
- Cone (category theory) In category theory, a branch of mathematics, the cone of a functor is an abstract notion used to define the limit of that functor. Cones make other appearances…
- Kan extension Kan extensions are universal constructs in category theory, a branch of mathematics. They are closely related to adjoints, but are also related to limits…
- Gluing axiom In mathematics, the gluing axiom is introduced to define what a sheaf F {\displaystyle {\mathcal {F}}} on a topological space X {\displaystyle X} must…
- Presheaf (category theory) In category theory, a branch of mathematics, a presheaf on a category C {\displaystyle C} is a functor F : C o p → S e t {\displaystyle F\colon C^{\mathrm…