From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8260 Path: news.gmane.org!not-for-mail From: Tadeusz Litak Newsgroups: gmane.science.mathematics.categories Subject: Re: functors defined by well-founded induction Date: Wed, 30 Jul 2014 14:37:59 +0200 Message-ID: References: Reply-To: Tadeusz Litak NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1406751914 16386 80.91.229.3 (30 Jul 2014 20:25:14 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 30 Jul 2014 20:25:14 +0000 (UTC) Cc: categories , Stefan Milius To: "Oosten, J. van" , Michael Shulman Original-X-From: majordomo@mlist.mta.ca Wed Jul 30 22:25:09 2014 Return-path: 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 ) id 1XCaQu-0006l2-EP for gsmc-categories@m.gmane.org; Wed, 30 Jul 2014 22:25:08 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:49245) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1XCaQd-0000lC-TW; Wed, 30 Jul 2014 17:24:51 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1XCaQd-0002oJ-HM for categories-list@mlist.mta.ca; Wed, 30 Jul 2014 17:24:51 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8260 Archived-At: Dear Jaap (and Mike), sorry for reacting so late to this, we sort of overlooked the discussion... I'm curious if Jaap's suggestion is a folklore thing and/or whether one can find it in the literature. As it happens, in a recent work with Stefan Milius we did something very similar defining a "delay" endofunctor on generalized presheaves over well-founded posets. By "generalized presheaves" I mean presheaves which are not necessarily set-valued, but can have arbitrary (small) complete category as codomain. The publicly available version so far is our FiCS 2013 workshop paper: http://arxiv.org/abs/1309.0895v1 The construction in question is Example 2.4(5). However, it does not contain too many details. We also have a journal version submitted a few months ago with full development. As category mailing list does not allow attachments, I'll send it to you separately. If there are any references we are missing, please let us know (any other comments also very much welcome, of course!) Regards, t. On 10/07/14 14:40, Oosten, J. van wrote: > Dear Mike, > > is the following too simple-minded? > > Given a well-founded poset (X,<), a category C and a function F which, > to every functor G from an initial segment of X to C, assigns a cocone > for G. > Then there is a unique functor H:X-->C with the property that for every > x\in X, H(x) is the vertex of the cocone which is F applied to the > restriction of H to {y|y > Jaap van Oosten > > On 7/9/14, 7:39 PM, Michael Shulman wrote: >> Actually, my question is much more basic. >> >> On Wed, Jul 9, 2014 at 2:39 AM, Paul Taylor wrote: >>> The simple answer is that the recursion has to define the functor, >>> ie the morphisms corresponding to instances of the order relation, >>> and not just the values at individual ordinals, in order to make sense >>> of defining the values at limit ordinals as colimits. >> That's exactly what I said: >> >>>> since we have to define the value of the functor on morphisms too, >>>> and its value at a given object may depend on its value at morphisms >>>> between previous objects. >> All I'm looking for is a general theorem of the form "given a >> well-founded relation < on a set X, and a category C, and >> such-and-such data, there is an induced functor X -> C." I don't care >> about set-theoretic issues right now, I'm just looking for a place >> where someone has written out exactly how to construct such a functor >> using the well-foundedness of <. It seems like it should be a >> well-known thing, so that I can just cite it rather than having to >> write out my own proof. >> >> Mike [For admin and other information see: http://www.mta.ca/~cat-dist/ ]