search

homalg-project / LazyCategories

[READ-ONLY-SUBSPLIT] Construct an equivalent lazy category out of a CAP category
https://homalg-project.github.io/pkg/LazyCategories
GNU General Public License v2.0
0 stars 2 forks source link

Laziness of ZeroObject, ZeroObjectFunctorial etc. #10

Open zickgraf opened 3 years ago

zickgraf commented 3 years ago

It seems like objects and morphisms which only have a single argument (the category) are not computed lazily. Is this intended or a bug?

mohamed-barakat commented 1 year ago

This is a bug.