From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1364 Path: news.gmane.org!not-for-mail From: Dusko Pavlovic Newsgroups: gmane.science.mathematics.categories Subject: Re: Real midpoints Date: Wed, 19 Jan 2000 12:23:09 -0800 Message-ID: <38861D2D.8BA95CD5@kestrel.edu> References: <200001181616.LAA27249@liberty.math.lsa.umich.edu> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241017777 30894 80.91.229.2 (29 Apr 2009 15:09:37 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:09:37 +0000 (UTC) To: Categories List Original-X-From: rrosebru@mta.ca Wed Jan 19 20:33:42 2000 -0400 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.9.3/8.9.3) id QAA01309 for categories-list; Wed, 19 Jan 2000 16:37:33 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Mailer: Mozilla 4.5 [en] (X11; U; SunOS 5.5.1 sun4u) X-Accept-Language: en Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 48 Xref: news.gmane.org gmane.science.mathematics.categories:1364 Archived-At: > > what exactly do you mean by corecursive? (it's guarded, and guarded equations > > do have unique fixpoints.) > > The definition I had in mind is that an arrow g is defined from G by > co-recursion "in a single step" if it arises as the unique coalgebra > homomorphism from a coalgebra G to the terminal coalgebra. It is > defined by co-recusion "in multiple steps" if it is obtained from > certain basic morphisms by repeated applications of the above single > step, together with basic operations on morphisms. I am not so sure > what I mean by "basic"; but I have in mind morphisms and operations > that are defined by ordinary equations (as opposed to fixpoint > equations) from the structure of the category at hand (such as > composition, pairing, the functor "X v Y", etc). i think such class of corecursive functions would be too narrow: eg, it seems that only a small part of the elements of the final coalgebra (the "rationals") can be captured as corecursive constants, at least as long as your basic operations are finitary. while the class of recursive functions is countable, the class of corecursive functions should not be, if constants are to be included. > What's the exact definition of "guarded" in this context? in stream and list coalgebra, a fairly obvious semantic condition covers not only the usual syntactical guard conditions, but also the convergence criteria for power series solutions of, say, diff eqns. it's in my CMCS98 paper @article{PavlovicD:GIFC author = "Dusko Pavlovi\'c", title = "Guarded induction on final coalgebras", journal = "E. Notes in Theor. Comp. Sci.", pages = "143--160", year = "1998", volume = "11", url = "http://www.elsevier.nl/locate/entcs", } saying "categorically" which operations are guarded wrt an arbitrary functor is less straightforward... or at least less easy to justify. i worked on this, but never managed to get a really convincing formulation. (a clumsy one is on my web page.) -- dusko