search

anoma / geb

A Categorical View of Computation
https://anoma.github.io/geb/
GNU General Public License v3.0
28 stars 10 forks source link

Move so-hom-obj Generic #152

Closed agureev closed 11 months ago

agureev commented 1 year ago

Adds a so-hom-obj generic function in the appropriate package and replaces all the relevant references.

agureev commented 1 year ago

This addresses Issue #151