Hi, I read the tutorial on locales. It gives examples like
lattice_hom which is great and looks general, so I naturally think there should be locales like plus_homomoprhism and group_homomoprhism in the standard library, but I didn't find them. Did I find at wrong places? Or, is there any particular reason to not include such locales in the standard library?
I agree that these things would be a good idea, but no, I'm also not aware of them…
maybe somebody else can pitch in?
perhaps also a good idea to ask on the mailing list
more people might comment there
Last updated: Aug 13 2022 at 06:26 UTC