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.

Advertisements

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 )

Twitter picture

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

Facebook photo

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

Google+ photo

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

Connecting to %s

%d bloggers like this: