Index of pdf files

Copyright note: I have not transferred more than a one-time licence on any paper published since 1995, inclusive. (Despite the fact that my last two papers in JPAA assert copyright; they are lying.) I am the copyright owner and I hereby give permission to copy them. This does not include permission to plagiarize them. As for the earlier ones, it depends on the journal, but as far as I am concerned copying for personal use is fair use. The copyright to TTT is owned by Charles and me and we allow free distribution. The copyright to the Fine, Gillman and Lambek monograph is murkier. It was not copyright originally and was published by the McGill University Press, so it seems clear that the US copyright law does not apply. Fine is deceased and I could not find his descendants. Gillman and Lambek were happy to see the republication. Fine's heirs are welcome to all the money we get for it. (With John Kennison and Robert Raphael) Countable meets in coherent spaces\\with applications to the cyclic spectrum. Theory Appl. Categories 25 (2011),

(With John Kennison and Robert Raphael) Flows: cocyclic and almost cocyclic. Theory appl. Categories 25 (2011),

(With John Kennison and Robert Raphael) On *-autonomous categories of topological modules. Theory Appl. Categories, 24 (2010), 278–293.

(With John Kennison and Robert Raphael) Isbell duality for modules. Theory Appl. Categories, 22 (2009), 401–419.

On duality of topological abelian groups. Unpublished note.

(With John Kennison and Robert Raphael) Isbell duality. Theory Appl. Categories, 20 (2008), 504–542.

J. Lambek, Programs, Grammars, Arguments. Unpublished notes. (2007).

Beck Distributivity. Unpublished note (2005).

(With John Kennison and Robert Raphael) Searching for more absolute CR-epic spaces. Theory Appl. Categories, 22 (2009), 54–76.

(With John Kennison and Robert Raphael) On productively Lindelöf spaces. Scient. Math. Japon. 65, 23–36.

(With John Kennison and Robert Raphael) Searching for absolute CR-epic spaces. Canadian J. Math. {\bf59} (2007), 465–487.

Topological *-autonomous categories. Theory Appl. Categories, 16 (2006), 700–708.

N. J. Fine, L. Gillman and J. Lambek, Rings of Quotients of Rings of Continuous Functions. Originally published by McGill University, 1965.

Absolute cohomology. Theory Appl. Categories, 14, (2005), 53–59.

(With Robert Raphael and R. Grant Wood) On CR-epic embeddings and absolute CR-epic spaces. Can. J. Math. 57 (2005), 1121–1138.

On subpregroups of the Lambek pregroup. Theory Appl. Categories. 12, (2004), 262–269.

The Chu construction: history of an idea. Proceedings of a conference on Chu categories, UC Santa-Barbara, 2002. Theory Appl. Categories, 17, (2006), 10–16.

Algebraic cohomology: the early days. Fields Institute Communications, 42 (2004), 1–26.

On subpregroups of the Lambek pregroup. Abstract: To appear in Lambekfestschrift. Full paper: Theory Appl. Categories, 12 (2004), 262–269.

(With Walter Burgess and Robert Raphael) Ring epimorphisms and C(X). Theory Appl. Categories, 11 (2003), 283–308.

A duality on simplicial complexes. Georgian Math. J., 9 (2002), 601–605.

HSP subcategories of Eilenberg-Moore algebras. Theory Appl. Categories, 10 (2002), 461–468.

(With Heinrich Kleisli) On Mackey topologies in topological abelian groups. Theory Appl. Categories, 9 (2001), 54–62.

On *-autonomous categories of topological vector spaces. Cahiers Topologie Géométrie Différentielle Catégorique, 41 (2000), 243–254.

*-Autonomous categories: once more around the track. Theory Appl. Categories, 6 (1999), 5–24.

(With Heinrich Kleisli) Topological balls. Cahiers Topologie Géométrie Différentielle Catégorique, 40 (1999), 3–20.

The separated extensional Chu category. Theory Appl. Categories, 4 (1998), 127–137.

Note on a theorem of Putnam's. Theory Appl. Categories, 3 (1997), 45–49.

Notes on Linear logic and *-autonomous categories and on Sketches. Technical report of the Electrotechnical Laboratory (computer language section), Tsukuba, Japan, 1997, 28 pages.

Separability of tensor in Chu categories of vector spaces. Math. Structures Comp. Sci., 6 (1996), 213–217.

The Chu construction. Theory Appl. Categories, 2 (1996), 17–35.

Acyclic models. Canadian J. Math., 48 (1996), 258–273.

Cartan-Eilenberg cohomology and triples. J. Pure Applied Algebra, 112 (1996), 219–238.

*-Autonomous categories, revisited. J. Pure Applied Algebra, 111 (1996), 1–20.

Fuzzy models of linear logic. Math. Structures Comp. Sci., 6 (1996), 301–312.

Oriented singular homology. Theory Appl. Categories, 1 (1995), 1–9.

(With M.C. Pedicchio) Topop is a quasi-variety. Cahiers Topologie Géométrie Différentielle Catégorique, 36 (1995), 3–11.

Non-symmetric *-autonomous categories. Theoretical Computer Science, 139 (1995), 115–130.

Functorial semantics and HSP type theorems. Algebra Universalis, 31 (1994), 223–241.

Terminal coalgebras for endofunctors on sets. Theoretical Comp. Sci., 114 (1993), 299–315.

Algebraically compact functors. J. Pure Appl. Algebra, 82 (1992), 211–232.

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

*-Autonomous categories and linear logic. Math. Structures Comp. Sci., 1 (1991), 159–178.

Functional set theory. Unpublished. (Chandler Davis, editor of the Intelligencer, commissioned this paper, after hearing me mouth off about the paper referred to. He ``virtually'' (his word) guaranteed publication, although he could not actually guarantee it, which I understood. Not only didn't he ever publish it, he never had the courtesy to tell me that, but let the passage of time, now well over a decade, carry out this task.)

Fixed points in cartesian closed categories. Theoretical Comp. Sci., 70 (1990), 65–72.

Accessible categories and models of linear logic. J. Pure Appl. Algebra, 69 (1990), 219–232.

Models of Horn theories. In J. W. Gray, ed., Categories in Computer Science and Logic, Contemporary Math. 92 (1989), 1–7, Amer. Math. Soc.

On categories with effective unions. In F. Bourceux, ed. Categorical algebra and its applications, Lecture Notes Math., 1348, (1988), 19–35, Springer-Verlag, Berlin, Heidelberg, New York.

Representations of categories. J. Pure Appl. Algebra, 41 (1986), 113–137.

Toposes, Triples and Theories. Springer-Verlag, (1984).

Abstract Galois Theory II. J. Pure Appl. Algebra 25 (1982), 227–247.

Abstract Galois Theory. J. Pure Appl. Algebra 19 (1980), 21–42.

(With R. Diaconescu) Atomic Toposes. J. Pure Appl. Algebra 17 (1980), 1–24.

(With R. Paré) Molecular Toposes. J. Pure Appl. Algebra 17 (1980), 127–152.

Toposes without points. J. Pure Appl. Algebra 5 (1974), 265–280.

Coalgebras over a commutative ring. J. Algebra 32 (1974), 600–610.

Building closed categories. Cahiers Topologie Géométrie Différentielle 19 (1978), 115–129.

Duality of vector spaces. Cahiers Topologie Géométrie Différentielle 18 (1977), 3–14.

A closed category of reflexive topological abelian groups. Cahiers Topologie Géométrie Différentielle 18 (1977), 221–248.

Duality of Banach spaces. Cahiers Topologie Géométrie Différentielle 17 (1976), 15–32.

Closed categories and topological vector spaces. Cahiers Topologie Géométrie Différentielle 17 (1976), 223–234.

Closed categories and Banach spaces. Cahiers Topologie Géométrie Différentielle 17 (1976), 335–342.

The point of the empty set. Cahiers Topologie Géométrie Différentielle 4 (1972), 357–368.

Catégories exactes. C.R. Acad. Sc. Paris 272 (1971), 1501–1503.

Coequalizers and free triples. Math. Z. 116 (1970), 307–322.

(With Jon Beck) Homology and standard constructions. Seminar on Triples and Algebraic Homology Theory, Lecture Notes in Math. Springer 80 (1968), 245–334. See also TAC Reprint 18, 186–248.

Composite cotriples and derived functors. Seminar on Triples and Algebraic Homology Theory, Lecture Notes in Math. Springer 80 (1968), 335–356. See also TAC Reprint 18, 249–266.

Cohomology and obstructions: commutative algebras. Seminar on Triples and Algebraic Homology Theory, Lecture Notes in Math. Springer 80 (1968), 357–374. See also TAC Reprint 18, 267–280.

Harrison homology, Hochschild homology and triples. J. Algebra 8 (1968), 314–323.

A cohomology theory for commutative algebra I. Bull. Amer. Math. Soc. 74 (1968), 310–313.

(With G.S. Rinehart) Cohomology as the derived functor of derivations. Trans. Amer. Math. Soc. 122 (1966), 416–426.

October 18, 2009