verigraph icon indicating copy to clipboard operation
verigraph copied to clipboard

Published 20 hours ago • verified publisher icon Verites

Final Pullback Complement Place

Open andreicosta opened this issue 7 years ago • 0 comments

The imminent insertion of the Final Pullback Complement function demands a correct module to be placed.

Current sugestions:

  • AdhesiveHLR (theoretically wrong)
  • FinitaryCategory
  • A new module

andreicosta avatar Jun 12 '17 15:06 andreicosta