Knaster-Tarski Theorem for Categories

References

• https://1lab.dev/Cat.Functor.Algebra.KnasterTarski.html#the-knaster-tarski-fixpoint-theorem