Let be a category admitting finite fibred products and be a morphism over some base . The graph morphism of is the morphism
induced by and .
Last revised on May 30, 2013 at 18:40:55. See the history of this page for a list of all contributions to it.