From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6328 Path: news.gmane.org!not-for-mail From: Richard Garner Newsgroups: gmane.science.mathematics.categories Subject: Re: terminology for simplicial sets Date: Wed, 20 Oct 2010 11:05:34 +1100 Message-ID: References: Reply-To: Richard Garner NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: dough.gmane.org 1287540390 18767 80.91.229.12 (20 Oct 2010 02:06:30 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Wed, 20 Oct 2010 02:06:30 +0000 (UTC) Cc: Categories mailing list To: "Prof. Peter Johnstone" Original-X-From: majordomo@mlist.mta.ca Wed Oct 20 04:06:29 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.114]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1P8O4R-00047F-GH for gsmc-categories@m.gmane.org; Wed, 20 Oct 2010 04:06:27 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:59704) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1P8O38-00037r-25; Tue, 19 Oct 2010 23:05:06 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1P8O35-0001Pr-Dj for categories-list@mlist.mta.ca; Tue, 19 Oct 2010 23:05:03 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6328 Archived-At: Dear Peter, Though I do not have a direct answer to your question the following seems at least relevant. By a semi-simplicial set, we mean a presheaf on Delta_f, the lluf subcategory of Delta spanned by the face operators (I think the terminology here is nowadays standard). The inclusion i: Delta_f -> Delta induces by left Kan extension a functor Lan_i from the category of semi-simplicial sets to the category of simplicial sets, which is faithful and, though not full, at least full on isomorphisms. Now a simplicial set satisfies the condition you name just when it lies in the replete image of this functor. This suggests that one might reasonably call a simplicial set satisfying your condition "semi-simplicial", and a map between two such "semi-simplicial" when it maps non-degenerate simplices to non-degenerate simplices. Another way of looking at it is that the semi-simplicial objects are those admitting coalgebra structure for the comonad (i^* o Lan_i) on simplicial sets; since Lan_i is full on isomorphisms, such structure will be unique up to unique isomorphism when it exists. The semi-simplicial maps between such objects are those which are coalgebra homomorphisms for some (and hence every) choice of coalgebra structure on their domain and codomain. Richard On 19 October 2010 21:54, Prof. Peter Johnstone wrote: > In something I've been thinking about recently, the condition > on a simplicial set that all faces of non-degenerate simplices > are non-degenerate seems to play a significant role. Does anyone > know whether this condition has been considered previously, and > if so whether it has a standard name? > > The condition is of course satisfied by those simplicial sets > which are derived from simplicial complexes in the standard way, > but it's more general: it allows the possibility that two > (formally) different faces of a non-degenerate simplex might > coincide, as long as they're not degenerate. > > Peter Johnstone > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]