From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3078 Path: news.gmane.org!not-for-mail From: "Dr. Cyrus F Nourani" Newsgroups: gmane.science.mathematics.categories Subject: Re: Undirected graph citation Date: Wed, 08 Mar 2006 15:22:23 -0500 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1241019082 7154 80.91.229.2 (29 Apr 2009 15:31:22 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:31:22 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Wed Mar 8 23:11:19 2006 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 08 Mar 2006 23:11:19 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.52) id 1FHBRw-0001eq-Bs for categories-list@mta.ca; Wed, 08 Mar 2006 23:04:24 -0400 Content-Disposition: inline Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 24 Original-Lines: 35 Xref: news.gmane.org gmane.science.mathematics.categories:3078 Archived-At: Hmmm, a paper entitled Funcotrial Generic Filters was written July 2005, abstract to ASL, where you can observe ejecting on=20 initial segments towards models. What it might do on preshaeves was sent to a conference a month ago. Like I had told the list there=20 were papers I published over several years ago on functors computing models on Hasse diagrams.=20=20 I'm not in a position to escalate and have to keep you on a holding as to what it was doing on sheaves. On the surface it appears as if we are living in parallel worlds getting a message through.=20 Cyrus > ----- Original Message ----- > From: "Vaughan Pratt" > To: categories@mta.ca > Subject: categories: Re: Undirected graph citation > Date: Mon, 06 Mar 2006 20:43:29 -0800 >=20 >=20 > George Janelidze wrote: > > > > Indeed, there were no monoids in Vaughan's original message of February= 28, >=20 > My take on monoids vs. initial segments of Delta, FinSet, etc. as sites > for a category of presheaves is that it is like Hasse diagrams vs. > posets, or axioms vs. theories. The former should be understood only as > a convenient representation of its idempotent completion, just as a > Hasse diagram of a poset is a convenient representation of its reflexive > transitive closure, or an axiom system a convenient representation of a etc, etc...