Diagonal functor
id:
diagonal-functor-284-11570292
title:
Diagonal functor
text:
In category theory, a branch of mathematics, the diagonal functor C → C × C is given by Δ = ⟨ a , a ⟩ , 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 C : a product a × b is a universal arrow from Δ to ⟨ a , b ⟩ . The arrow comprises the projection maps. More generally, given a small index category J , one may construct the functor category C J , the objects of which are called diagrams.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Diagonal_functor
date created:
date modified:
2024-03-06T00:14:03Z
main entity:
{"identifier":"Q1208187","url":"https://www.wikidata.org/entity/Q1208187"}
image:
fields total:
13
integrity:
13