Library of categories, with categorical constructions on them
Why do you think that https://github.com/NixOS/nixpkgs is a good alternative to data-category
Library of categories, with categorical constructions on them
Why do you think that https://github.com/NixOS/nixpkgs is a good alternative to data-category