Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Pos is the category of small posets and monotone maps.

I call a morphism $f:\mathfrak{A}\rightarrow\mathfrak{B}$ of Pos monovalued iff it maps every atom of $\mathfrak{A}$ either into an atom of $\mathfrak{B}$ or into the least element of $\mathfrak{B}$.

I call a morphism $f:\mathfrak{A}\rightarrow\mathfrak{B}$ of Pos entire iff it maps non-least elements of $\mathfrak{A}$ into non-least elements of $\mathfrak{B}$.

"Monovalued" and "entire" are my terminological inventions. Are there standard terminology for this?

share|improve this question

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.