  
  [1X5 [33X[0;0YConversion functors for generalized morphisms[133X[101X
  
  
  [1X5.1 [33X[0;0YFunctors from Cospans[133X[101X
  
  [1X5.1-1 FunctorFromCospansToThreeArrows[101X
  
  [33X[1;0Y[29X[2XFunctorFromCospansToThreeArrows[102X( [3XC[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya functor[133X
  
  [33X[0;0YFor  the  given  category  [3XC[103X,  this attribute is the functor from the cospan
  generalized  morphism  category  of  [3XC[103X  to the generalized morphism category
  modeled by three arrows.[133X
  
  [1X5.1-2 FunctorFromCospansToSpans[101X
  
  [33X[1;0Y[29X[2XFunctorFromCospansToSpans[102X( [3XC[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya functor[133X
  
  [33X[0;0YFor  the  given  category  [3XC[103X,  this attribute is the functor from the cospan
  generalized  morphism  category  of  [3XC[103X  to the generalized morphism category
  modeled by spans.[133X
  
  
  [1X5.2 [33X[0;0YFunctors from Spans[133X[101X
  
  [1X5.2-1 FunctorFromSpansToThreeArrows[101X
  
  [33X[1;0Y[29X[2XFunctorFromSpansToThreeArrows[102X( [3XC[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya functor[133X
  
  [33X[0;0YFor  the  given  category  [3XC[103X,  this  attribute  is the functor from the span
  generalized  morphism  category  of  [3XC[103X  to the generalized morphism category
  modeled by three arrows.[133X
  
  [1X5.2-2 FunctorFromSpansToCospans[101X
  
  [33X[1;0Y[29X[2XFunctorFromSpansToCospans[102X( [3XC[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya functor[133X
  
  [33X[0;0YFor  the  given  category  [3XC[103X,  this  attribute  is the functor from the span
  generalized  morphism  category  of  [3XC[103X  to the generalized morphism category
  modeled by cospans.[133X
  
  
  [1X5.3 [33X[0;0YFunctors from Three Arrows[133X[101X
  
  [1X5.3-1 FunctorFromThreeArrowsToCospans[101X
  
  [33X[1;0Y[29X[2XFunctorFromThreeArrowsToCospans[102X( [3XC[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya functor[133X
  
  [33X[0;0YFor the given category [3XC[103X, this attribute is the functor from the three arrow
  generalized  morphism  category  of  [3XC[103X  to the generalized morphism category
  modeled by cospans.[133X
  
  [1X5.3-2 FunctorFromThreeArrowsToSpans[101X
  
  [33X[1;0Y[29X[2XFunctorFromThreeArrowsToSpans[102X( [3XC[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya functor[133X
  
  [33X[0;0YFor the given category [3XC[103X, this attribute is the functor from the three arrow
  generalized  morphism  category  of  [3XC[103X  to the generalized morphism category
  modeled by spans.[133X
  
