[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

categories: My ftp site



I have finally reorganized my ftp site.  It is at
ftp.math.mcgill.ca/pub/barr.  There is an Index (The "I" is capitalized so
it is listed first) and it gives the full title and the name of the file.  
All files are given as zipped dvi and zipped ps files.  I will endeavor to
maintain this in this fashion.  In fact, I have attached the Index.

Michael

%%%%%%%%%%%%%%%%%%%%%%%%%%%%  Index  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


This is an index of the files.	With the exception of the corrections
and updates to ctcs and ttt, and the electronic parts of ctcs, these
files are available as dvi or ps files with the names xxxxxxdv.zip and
xxxxxxps.zip.  The possible xxxxxx appear below with full names and
bibliographic references, if relevant.


 acmod
     M. Barr, Accessible categories and models of linear logic.  J.
     Pure Applied Algebra, vol. 69 (1990), 219-232.

 algcmp
     M. Barr, Algebraically compact functors.  J. Pure Applied
     Algebra, vol. 82 (1992), 211--232.

 asymm
     M. Barr, Non-symmetric $*$-autonomous categories.	Theoretical
     Computer Science, vol. 139 (1995), 115-130.

 balls
     M. Barr, (with Heinrich Kleisli), Topological balls.  To appear
     in Cahiers Topologie Geometrie Differentielle Categorique, vol.
     40, (1999).

 careil
     M. Barr, Cartan-Eilenberg cohomology and triples.	J. Pure
     Applied Algebra, vol. 112 (1996), 219--238.

 chucon
     M. Barr, The Chu construction.  Theory and Applications of
     Categories, vol. 2 (1996), 17--35.

 chuse
     M. Barr, {The separated extensional Chu category}.  Theory and
     Applications of Categories, vol. 4 (1998), 127--137.

 ctcs.ansbook.ps.gz
 ctcs.ansbook.
 ctcs.elec.supp.ps.gz
 ctcs.elec.supp.
 ctcsud
     Updates, corrections and electronic parts of ctcs.

 fpoccc
     M. Barr, Fixed point operators in cartesian closed categories.
     Theoretical Comp.	Sci. vol. 70 (1990), 65--72.

 fzymod
     M. Barr, Fuzzy models of linear logic.  Mathematical Structures
     Computer Science, vol. 6 (1996), 301--312.

 hsppos
     M. Barr, Functorial semantics and HSP type theorems.  Algebra
     Universalis, vol. 31 (1994), 223-241.

 hsp
     M. Barr, HSP type theorems in the category of posets.  Proc. 7th
     International Conf.  Mathematical Foundation of Programming
     Language Semantics, Lecture Notes in Computer Science, vol. 598
     (1992) 221--234.

 omatt
     M. Barr, *-Autonomous categories:	once more around the track}.
     To apear in Theory and Applications of Categories.

 orisng
     M. Barr, Oriented singular homology.  Theory and Applications of
     Categories, vol. 1 (1995), 1--9.

 scatll
     M. Barr, $*$-Autonomous categories and linear logic.
     Mathematical Structures Computer Science, vol. 1 (1991),
     159--178.

 sepvec
     M. Barr, Separability of tensor in Chu categories of vector
     spaces.  Mathematical Structures Computer Science, vol. 6 (1996),
     213--217.

 sketch
     M. Barr, Notes on sketches, notes of lectures presented at the
     Electro-technical laboratory in Tsukuba, Japan.  Parts are taken
     verbatim from TTT.  ETL in Tsukuba.  Parts of it are adapted from
     [Barr \& Wells, 1995].

 strev
     M. Barr, $*$-Autonomous categories, revisited.  J. Pure Applied
     Algebra, vol. 111 (1996), 1--20.

 topop
     M. Barr, (with M.C. Pedicchio), Top$^{op}$ is a quasi-variety.
     Cahiers Topologie Geometrie Differentielle Categorique, vol. 36
     (1995), 3-11.

 trmclg
     M. Barr, Terminal coalgebras in well-founded set theory.
     Theoretical Comp.	Sci., vol. 114 (1993), 299--315.

 tttcor
     Corrections to TTT.

 varset
     A paper written to order for Mathematical Intelligencer after
     the editor Chandler Davis twisted my arm and proctically begged
     me to do it.  He has been sitting on it for ten years, any memory
     of the article it was a response to having long since escaped any
     reader's mind.  Nor has he ever explained himself or apologized.

 xctrep
     M. Barr, Representations of categories.  J. Pure Applied Algebra,
     vol. 41 (1986), 113--137.

 unzip.exe
     DOS unzip program.  I believe all Unix installations come with
     unzip.