5 Conversion functors for generalized morphisms
  
  
  5.1 Functors from Cospans
  
  5.1-1 FunctorFromCospansToThreeArrows
  
  FunctorFromCospansToThreeArrows( C )  attribute
  Returns:  a functor
  
  For  the  given  category  C,  this attribute is the functor from the cospan
  generalized  morphism  category  of  C  to the generalized morphism category
  modeled by three arrows.
  
  5.1-2 FunctorFromCospansToSpans
  
  FunctorFromCospansToSpans( C )  attribute
  Returns:  a functor
  
  For  the  given  category  C,  this attribute is the functor from the cospan
  generalized  morphism  category  of  C  to the generalized morphism category
  modeled by spans.
  
  
  5.2 Functors from Spans
  
  5.2-1 FunctorFromSpansToThreeArrows
  
  FunctorFromSpansToThreeArrows( C )  attribute
  Returns:  a functor
  
  For  the  given  category  C,  this  attribute  is the functor from the span
  generalized  morphism  category  of  C  to the generalized morphism category
  modeled by three arrows.
  
  5.2-2 FunctorFromSpansToCospans
  
  FunctorFromSpansToCospans( C )  attribute
  Returns:  a functor
  
  For  the  given  category  C,  this  attribute  is the functor from the span
  generalized  morphism  category  of  C  to the generalized morphism category
  modeled by cospans.
  
  
  5.3 Functors from Three Arrows
  
  5.3-1 FunctorFromThreeArrowsToCospans
  
  FunctorFromThreeArrowsToCospans( C )  attribute
  Returns:  a functor
  
  For the given category C, this attribute is the functor from the three arrow
  generalized  morphism  category  of  C  to the generalized morphism category
  modeled by cospans.
  
  5.3-2 FunctorFromThreeArrowsToSpans
  
  FunctorFromThreeArrowsToSpans( C )  attribute
  Returns:  a functor
  
  For the given category C, this attribute is the functor from the three arrow
  generalized  morphism  category  of  C  to the generalized morphism category
  modeled by spans.