`(D : Diagram G) := { lim : forall i, D i; limp : forall i j (g : G i j), D _f g (lim i) = lim j; }.
Require Import Basics. Require Import Diagrams.Diagram. Require Import Diagrams.Graph. Require Import Diagrams.Cone. Require Import Diagrams.ConstantDiagram.