Skip to content
September 2, 2015 / porton

Pointfree funcoids between join-semilattices conjecture

Today I’ve come up with the following easy to prove theorem (exercise!) for readers of my book:

Theorem If there exists at least one pointfree funcoid from a poset \mathfrak{A} to a poset \mathfrak{B} then either both posets have least element or none of them.

This provokes me to the following conjecture also:

Conjecture If there exists at least one pointfree funcoid from a poset \mathfrak{A} to a poset \mathfrak{B}, then either both or none of these two posets are join-semilattices.

If the conjecture comes up true, it would allow some simplification of some theorem conditions in my book, as there would no more necessity to claim that both source and destination are join-semilattices as I use in some of my theorems.

I do not expect that this conjecture will be particularly difficult, I have not yet invested my time into solving it.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.

%d bloggers like this: