From: categories <cat-dist@mta.ca>
To: categories <categories@mta.ca>
Subject: Preprint available.
Date: Thu, 10 Apr 1997 16:34:26 -0300 (ADT) [thread overview]
Message-ID: <Pine.OSF.3.90.970410163421.1740B-100000@mailserv.mta.ca> (raw)
Date: Thu, 10 Apr 1997 17:04:46 +0100
From: Marcelo Fiore <mf@dcs.ed.ac.uk>
The following preprint is available at
http://www.dcs.ed.ac.uk/home/mf/ADT/
as cub.dvi and cub.ps. Best, Marcelo.
Complete Cuboidal Sets in Axiomatic Domain Theory
Marcelo Fiore Gordon Plotkin John Power
<mf@dcs.ed.ac.uk> <gdp@dcs.ed.ac.uk> <ajp@dcs.ed.ac.uk>
Department of Computer Science
Laboratory for Foundations of Computer Science
University of Edinburgh, The King's Buildings
Edinburgh EH9 3JZ, Scotland
Synopsis
We study the enrichment of models of axiomatic domain theory. To this end, we
introduce a new and broader notion of domain, viz. that of complete cuboidal
set, that complies with the axiomatic requirements. We show that the category
of complete cuboidal sets provides a general notion of enrichment for a wide
class of axiomatic domain-theoretic structures.
Cuboidal sets play a role similar to that played by posets in the traditional
setting. They are the analogue of simplicial sets but with the simplicial
category enlarged to the cuboidal category of cuboids, i.e. of finite
products O_n1 x ... x O_ni of finite ordinals. These cuboids are the
possible shapes of paths. A cuboidal set P has a set P(C) of paths of
every shape C = n1 x ... x ni; indeed, it is a (rooted) presheaf over the
cuboidal category. The set of points of P is P(O_1). The set of
(one-dimensional) paths of length n is P(O_n+1); they can be thought of
as (linear) computations conditional on the occurrence of n linearly
ordered events e_1 < ... < e_n. Evidently, O_n is the partial order
associated to this simple linear event structure, and can be considered as a
sequential process of length n. At higher dimensions, P(O_n1 x ... x O_ni)
can be thought of as the set of computations conditional on the occurrence of
n_1 + ... + n_i events ordered by e_1,1 < ... < e_1,n1 ; ... ;
e_i,1 < ... < e_i,ni. This is the event structure which can be considered
as i sequential processes, of respective lengths O_n1, ..., O_ni, running
concurrently.
Complete cuboidal sets are cuboidal sets equipped with a formal-lub operator
satisfying three algebraic laws, which are exactly those needed of the lub
operator in order to prove the fixed-point theorem. Computationally, the
passage from cuboidal sets to complete cuboidal sets corresponds to allowing
infinite processes. In fact, the formal-lub operator assigns paths of shape
C to `paths of shape C x omega', for every C. Here the set of paths of
shape C x omega is the colimit of the paths of shape C x O_n; such paths
can be thought of as the higher-dimensional analogue of the increasing
sequences of traditional domain theory.
next reply other threads:[~1997-04-10 19:34 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-04-10 19:34 categories [this message]
1997-04-24 18:24 preprint available categories
1997-07-01 18:12 Preprint available categories
1997-07-30 16:39 categories
1997-09-02 12:19 preprint available categories
1998-05-06 22:15 Steve Awodey
1998-06-24 14:49 Susan Niefield
1998-11-12 14:26 Preprint available Marco Grandis
1998-11-18 16:09 preprint available Martin Escardo
1998-12-14 22:51 Preprint available F W Lawvere
1999-10-12 13:18 preprint available kock
2007-05-31 7:16 Anders Kock
2008-11-03 5:54 zackluo
2009-04-29 14:59 JONATHON FUNK
2009-12-10 12:14 Anders Kock
2010-03-29 15:44 Anders Kock
2013-10-22 8:03 Preprint available Anders Kock
2014-02-05 16:05 preprint available claudio pisani
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=Pine.OSF.3.90.970410163421.1740B-100000@mailserv.mta.ca \
--to=cat-dist@mta.ca \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).