Closed rokopt closed 1 year ago
A large amount of development mainly towards the category-spec API, in terms of left and right adjoints which define universal properties.
A large amount of development mainly towards the category-spec API, in terms of left and right adjoints which define universal properties.