verigraph icon indicating copy to clipboard operation
verigraph copied to clipboard

Published 20 hours ago • verified publisher icon Verites

`Complete` Type Class

Open jsbezerra opened this issue 7 years ago • 2 comments

  • Create a Complete Type Class with be basic operations equalizer and product, similar to Cocomplete and AdhesiveHLR.

  • Move the pullback implementation to it.

jsbezerra avatar Mar 26 '17 15:03 jsbezerra

Question: calculatePushout and calculatePullback functions are repeated in AdhesiveHLR and Cocomplete/Complete classes. Should we maintain this duplication?

andreicosta avatar May 09 '17 12:05 andreicosta

@andrei529 this question should be on a different issue

jsbezerra avatar May 09 '17 15:05 jsbezerra