[Prev][Next][Index][Thread]
ftp site at the University of Sydney
Date: Thu, 2 Apr 92 13:35:18 +10
SYDNEY CATEGORY THEORY SEMINAR
SYDNEY CATEGORIES IN COMPUTER SCIENCE SEMINAR
Category theory material
Available by Anonymous FTP
from maths.su.oz.au
This file is README in the sydcat directory of maths.su.oz.au,
129.78.68.2, accessible by anonymous ftp.
The sydcat directory is for FTP distribution of recent publications, programs,
seminar listings and other material of the Sydney Category Theory Group, and the
Sydney Categories in Computer Science Group. These groups consist
of mathematicians and computer scientists and students at the University
of Sydney and Macquarie University, Sydney, Australia,
including the following:
Murray Adelman murray@macadam.mpce.mq.edu.au
Brian Day
Robbie Gates gates_r@maths.su.oz.au
Amitavo Islam islam_a@maths.su.oz.au
Mike Johnson mike@macadam.mpce.mq.edu.au
Giulio Katis katis_p@maths.su.oz.au
Max Kelly kelly_m@maths.su.oz.au
Stephen Lack lack_s@maths.su.oz.au
Mark Leeming leeming_m@maths.su.oz.au
Stephen Ma ma_s@maths.su.oz.au
Wafaa (Moynham) Khalil moynham_w@maths.su.oz.au
Wesley Phoa
Usha Sridhar sridhar_u@maths.su.oz.au
Ross Street street@macadam.mpce.mq.edu.au
Sun Shu-Hao sun_s@maths.su.oz.au
Bob Walters walters_b@maths.su.oz.au
==========================Instructions======================================
FTP LOGIN. Give the following commands.
ftp maths.su.oz.au
Login: anonymous (if you don't have an account on maths)
Paswd: yoursurname (though any string will work)
bin (if you are retrieving a .dvi file)
prompt off (if you want no ? prompts from mget)
cd sydcat (change directory to _public/sydcat
ls -lt (see what's there, most recent first)
mget filename-1 ... filename-n (e.g. mget catcurrent.Z)
quit (exit from FTP)
DVI. If you wish to print paper, calg say, retrieve calg.dvi and
associated .eps and .sty files from the subdirectory calg (cd calg first).
You must first give the bin command to ftp since .dvi files are not
text files. You will then need a dvi to postscript converter
which will include the .eps files. Print the resulting postscript file
on your host.
PROBLEMS. If you have problems in either retrieving or compiling
papers, please contact Bob Walters.
NOTE. Please note that the IP satellite link between Australia and the rest of the
world is saturated most of the time. Large file transfers to non-Australian
sites should be spaced out, and should preferably take place between the
hours 2300 and 0800 local Eastern Australian time (the local time appears in
the ftpd banner at connection).
===========================Available papers=================================
The following files and directories are available:
addresses/catcurrent The Category Theory address list
maintained by Max Kelly and Michael Johnson
Updated 5 March 1992
addresses/structdir Vaughan Pratt's latest email address list
Updated 1 December 1991
Release 3.0
Master copy: Boole.Stanford.EDU:~ftp/pub/struct.dir
Maintainer: Vaughan Pratt, pratt@cs.stanford.edu
addresses/structdir_max Max Kelly's corrections to structdir
3 Dec 1991
papers/walters/af A directory containing af.dvi for the paper
M. S. Johnson, R.F.C. Walters, Algebra Families
papers/walters/como A directory containing como.dvi and
some associated postscript files for the paper:
S. Carmody, R.F.C. Walters, Computing quotients of
actions of a free category.
papers/walters/calg A directory containing calg.dvi and
some associated postscript files for the paper:
S. Carmody, R.F.C. Walters, The Todd-Coxeter Procedure
and Left Kan Extensions.
papers/walters/coinv A directory containing coinv.dvi for the
paper
G.M. Kelly, Stephen Lack, R.F.C. Walters
papers/walters/imp A directory containing imp.dvi.Z for the paper
R.F.C. Walters, An imperative language based on
distributive categories
papers/walters/imp2 A directory containing imp2.dvi.Z for the paper
Wafaa Khalil, R.F.C. Walters, An imperative language
based on distributive categories, II.
papers/walters/ext A directory containing ext.dvi.Z for the paper
Aurelio Carboni, Stephen Lack, R. F. C. Walters, An introduction to
extensive and distributive categories.
papers/phoa Contains notes and papers by Wesley Phoa.
His current email address, till July 1992, is: wkp@dcs.ed.ac.uk
[Note that the subdirectories contain postscript files only. The papers
fibs,topoi,(bohm),poly,pcf may not be in their final form and should
be treated as drafts. Comments will be gratefully received. 8/3/92]
papers/phoa/fibs.ps "Fibrations (outline)"
--an informal introduction to fibrations, with a
view to the semantics of typed lambda-calculi
papers/phoa/topoi.ps "Toposes (outline)"
--an informal introduction to toposes, with a
categorical flavour, including a detailed
description of the internal language of a topos
papers/phoa/synth.ps "Effective domains and intrinsic structure"
--describes a category of `synthetic domains'
in the effective topos
papers/phoa/graph.ps "Building domains from graph models"
--ditto, in the realizability topos arising from
the r.e. graph model of the lambda-calculus
papers/phoa/bohm.ps "From term models to domains"
--ditto, for the closed term model in which
terms with the same Bohm tree are identified
papers/phoa/sml.ps "A proposed categorical semantics for Pure ML"
(with M. P. Fourman, LFCS)
--sketch of a semantics for SML using synthetic
domain theory; focuses on the Modules system
papers/phoa/subtypes.ps "Using fibrations to understand subtypes"
--informal account of categorical models for
subtyping and bounded quantification
papers/phoa/poly.ps "A simple categorical semantics for first-order
polymorphism"
--describes how any cartesian closed category can
be used to model ML polymorphism, using the
notion of `polynomial category'
papers/phoa/pcf.ps "A note on PCF and the untyped lambda-calculus"
--proof of computational adequacy of an untyped
translation of call-by-name PCF
papers/phoa/eff "The effective topos (outline)" -- also a draft!!
--an informal introduction to recursive realizability,
the PER model, omega-sets, the effective topos and
the small complete category of modest sets
pmreports List of Research Reports of the Pure Mathematics
Department, University of Sydney, Australia
Updated regularly.
seminars/sydcat A directory containing sydcat.tex and macros.
sydcat.tex is a listing of seminars given at the
Sydney Category Seminar
Not being currently maintained.
seminars/cics A directory containing cics.tex and macros.
cics.tex is a listing of seminars given at the
Sydney Categories in Computer Science Seminar.
Updated regularly.
programs/kan_1.0 A directory containing source and input files for
kan (vers 1.0) (Sean Carmody, Craig Reilly, Bob Walters)
An implementation of the algorithm developed in 1990 by
Carmody & Walters to compute (finite) left Kan extensions
is now operational (programmed by Reilly and Carmody).
There are also some sample input files as well as a file
called KAN.info which gives further details of the program
and one called README which describes the sample input files.
If you experiment with the program, we would be very interested
to hear any comments or suggestions (especially with regards
any bugs which you -- hopefully won't -- find).
Future versions of the program will include a more
standardised i/o format, and will renumber the elements of
the output sets will be of the form {1,2,..,n} (a set which
may currently be given as {1,3,7} would become {1,2,3}).
Sean Carmody.
email: carmody_s@maths.su.oz.au
21 May 1991
programs/kan_2.0 A later version of kan, but Sean left Sydney for Cambridge
before it was properly documented.
old A directory containing old versions of things prior to deletion.
--
Bob Walters
Department of Pure Mathematics, University of Sydney, NSW 2006, Australia
Internet: walters_b@maths.su.oz.au Phone: +61 2 692 2966 FAX: +61 2 692 4534
============================================================================