Prefer a chat interface with context about you and your work?
A generalized Dilworth and Gleason theorem
The theorem of R.P. Dilworth and A.M. Gleason is a generalization of a Cantor theorem. We propose and proof the generalized Dilworth and Gleason theorem for functors with codomain $K/D$.