From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8078
Path: news.gmane.org!not-for-mail
From: "Harley D. Eades III" <harley.eades@gmail.com>
Newsgroups: gmane.science.mathematics.categories
Subject: Re: Poset adjoints
Date: Thu, 17 Apr 2014 10:36:04 -0500
Message-ID: <9160FC6B-FBD8-41F8-B578-7684894437F3@gmail.com>
References: <E1WaZZg-0007ry-JD@mlist.mta.ca>
Reply-To: "Harley D. Eades III" <harley.eades@gmail.com>
NNTP-Posting-Host: plane.gmane.org
Mime-Version: 1.0 (Mac OS X Mail 6.6 \(1510\))
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: ger.gmane.org 1397831518 10736 80.91.229.3 (18 Apr 2014 14:31:58 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Fri, 18 Apr 2014 14:31:58 +0000 (UTC)
Cc: Categories mailing list <categories@mta.ca>
To: "Vasili I. Galchin" <vigalchin@gmail.com>
Original-X-From: majordomo@mlist.mta.ca Fri Apr 18 16:31:52 2014
Return-path: <majordomo@mlist.mta.ca>
Envelope-to: gsmc-categories@m.gmane.org
Original-Received: from smtp3.mta.ca ([138.73.1.186])
	by plane.gmane.org with esmtp (Exim 4.69)
	(envelope-from <majordomo@mlist.mta.ca>)
	id 1Wb9pX-0005F4-Vv
	for gsmc-categories@m.gmane.org; Fri, 18 Apr 2014 16:31:52 +0200
Original-Received: from mlist.mta.ca ([138.73.1.63]:35128)
	by smtp3.mta.ca with esmtp (Exim 4.80)
	(envelope-from <majordomo@mlist.mta.ca>)
	id 1Wb9p2-0007Ne-JQ; Fri, 18 Apr 2014 11:31:20 -0300
Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71)
	(envelope-from <majordomo@mlist.mta.ca>)
	id 1Wb9p0-0000h8-PS
	for categories-list@mlist.mta.ca; Fri, 18 Apr 2014 11:31:18 -0300
Precedence: bulk
Xref: news.gmane.org gmane.science.mathematics.categories:8078
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/8078>

Hi, Vasili.

On Apr 16, 2014, at 1:51 AM, Vasili I. Galchin <vigalchin@gmail.com> wrote:

> Hello Category Community,
>
>       Given that poset adjoints are considered miniature versions of
> adjoints, what are are the unit and co-unit natural transformations
> say between poset A and B?

Doesn't this boil down to a Galois connection?  The unit and counit would
then be:

f(y) <= x iff y <= g(x)

where f : B -> A and G : A -> B and x in A and y in B.

Very best,
.\ Harley

>
> Kind regards,
>
> Vasili
>


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]