From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/973 Path: news.gmane.org!not-for-mail From: Dusko Pavlovic Newsgroups: gmane.science.mathematics.categories Subject: preprint Date: Fri, 18 Dec 1998 17:44:08 -0800 Message-ID: <367B04E8.D494981@kestrel.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 1241017401 28632 80.91.229.2 (29 Apr 2009 15:03:21 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:03:21 +0000 (UTC) To: CATEGORIES mailing list Original-X-From: cat-dist Sat Dec 19 05:53:01 1998 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id FAA22617 for categories-list; Sat, 19 Dec 1998 05:02:21 -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: 44 Xref: news.gmane.org gmane.science.mathematics.categories:973 Archived-At: Dear All, As many of you know, December is the season of two column logic/CS related preprints. The title of mine is: Towards semantics of guarded induction and it is at the bottom of the page http://www.kestrel.edu/HTML/people/pavlovic/ Comments **most** welcome, esp. as I am still a bit in the darkness as to how to present some parts. This is still an extended abstract, but a bit more extended and less abstract than the version some of you have seen before. (Thanks again for the questions that helped me improve it!) With the very best wishes, -- Dusko ============================================================================== Towards semantics of guarded induction by Dusko Pavlovic Abstract. We analyze guarded induction, a coalgebraic method for implementing abstract data types with infinite elements (e.g. various dynamic systems, continuous or discrete). It is widely used not just in computation, but also, tacitly, in many basic constructions of differential calculus. However, while syntactic characterisations abound, only the very first steps towards a formal semantics have been made. A language independent analysis was recently initiated, but just special cases were covered so far. In the present paper, we propose a new approach, based on a somewhat unusual combination of monads and polynomial categories. The first result is what appears to be a precise semantic characterisation of guarded operators on arbitrary final coalgebras.