{A B : Type} (f g : A -> B) : Diagram parallel_pair_graph. Proof. srapply Build_Diagram. 1: intros []; [exact A | exact B]. intros [] [] []; [exact f | exact g]. Defined.
Require Import Basics. Require Import Types. Require Import Diagrams.Graph. Require Import Diagrams.Diagram. Require Import Diagrams.Cocone.