Zulip Chat Archive
Stream: Is there code for X?
Topic: semilattice homomorphism monotonicity
IntGrah (Feb 19 2026 at 08:07):
Whether a morphism in SemilatSupCat (a SupBotHom) is monotone
IntGrah (Feb 19 2026 at 08:12):
found it, OrderHomClass.mono
IntGrah (Feb 19 2026 at 08:13):
as seen in SemilatSupCat.hasForgetToPartOrd
Last updated: Feb 28 2026 at 14:05 UTC