{"version":"1.0","type":"link","title":"Diagonal functor - Newikis","description":"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…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}