From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2301 Path: news.gmane.org!not-for-mail From: "Christopher Townsend" Newsgroups: gmane.science.mathematics.categories Subject: Can we construct free semi-lattice from free dist. lattice? Date: Tue, 27 May 2003 08:52:13 +0000 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; format=flowed X-Trace: ger.gmane.org 1241018560 3448 80.91.229.2 (29 Apr 2009 15:22:40 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:22:40 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Tue May 27 17:17:24 2003 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 27 May 2003 17:17:24 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 19Kkpf-0005Eb-00 for categories-list@mta.ca; Tue, 27 May 2003 17:14:03 -0300 X-Originating-IP: [194.66.147.4] X-Originating-Email: [cft71@hotmail.com] X-OriginalArrivalTime: 27 May 2003 08:52:13.0326 (UTC) FILETIME=[44399AE0:01C3242D] Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 51 Original-Lines: 14 Xref: news.gmane.org gmane.science.mathematics.categories:2301 Archived-At: Dear All, I have a problem which I had thought very specialised, but actually can be stated very generally: - I have a category C with finite limits, and so I also have a category DLat(C) of distributive lattices which, lets say, has coequalizers. If free distibrutive lattices can be constructed (i.e. if there exists F:C->DLat(C) left adjoint to the forgetful functor) then do free semilattices exist? Thanks, Christopher Townsend (OU)