Theory and Applications of Categories

ISSN 1201 - 561X

[ Volume 7 - 2000 ]

[ Volume 5 - 1999 | Volume 6 - Lambek Festschrift ]

[ Volume 1 - 1995 | Volume 2 - 1996 | Volume 3 - 1997 | Volume 4 - 1998 ]

[ Policy | Editors | Subscriptions ]

[ For authors ]

[ Mirrors | Other | Cahiers-Index ]

[ Home site - Canada ]

Volume 7 - 2000

Table of contents also available in .dvi or .ps format.

1. On Branched Covers in Topos Theory: Jonathon Funk, 1-22 abstract | dvi | dvi.gz | ps | ps.gz | pdf
2. A Pseudo Representation Theorem for Various Categories of Relations: M. Winter, 23-37 abstract | dvi | dvi.gz | ps | ps.gz | pdf
3. Pure morphisms of commutative rings are effective descent morphisms for modules -- a new proof: Bachuki Mesablishvili, 38-42 abstract | dvi | dvi.gz | ps | ps.gz | pdf
4. On saturated classes of morphisms: Carles Casacuberta and Armin Frei, 43-46 abstract | dvi | dvi.gz | ps | ps.gz | pdf
5. Factorization systems for symmetric cat-groups: S. Kasangian and E.M. Vitale, 47-70 abstract | dvi | dvi.gz | ps | ps.gz | pdf
6. Balanced coalgebroids: Paddy McCrudden, 71-147 abstract | dvi | dvi.gz | ps | ps.gz | pdf
7. On the monadicity of categories with chosen colimits: G. M. Kelly and Stephen Lack, 148-170 abstract | dvi | dvi.gz | ps | ps.gz | pdf
8. M-Completeness is seldom monadic over graphs: J. Adamek and G. M. Kelly, 171-205 abstract | dvi | dvi.gz | ps | ps.gz | pdf
9. Normal functors and strong protomodularity: Dominique Bourn, 206-218 abstract | dvi | dvi.gz | ps | ps.gz | pdf
10. Central extensions in Malt'sev varieties: G. Janelidze and G. M. Kelly, 219-226 abstract | dvi | dvi.gz | ps | ps.gz | pdf
11. On the object-wise tensor product of functors to modules: Marek Golasinski, 226-235 abstract | dvi | dvi.gz | ps | ps.gz | pdf
12. Quasi-varieties of presheaves: Enrico M. Vitale, 236-238 abstract | dvi | dvi.gz | ps | ps.gz | pdf
13. Solution manifolds for systems of differential equations: John F. Kennison, 239-262 abstract | dvi | dvi.gz | ps | ps.gz | pdf
14. A simplicial description of the homotopy category of simplicial groupoids: A. R. Garzon, J. G. Miranda and R. Osorio, 263-283 abstract | dvi | dvi.gz | ps | ps.gz | pdf
15. Geometric and Higher Order Logic in terms of Abstract Stone Duality: Paul Taylor, 284-338 abstract | dvi | dvi.gz | ps | ps.gz | pdf

Return to top.

Volume 6 - The Lambek Festschrift*

A special volume dedicated to Joachim Lambek on the occasion of his 75'th birthday.

Table of contents also available in .dvi or .ps format.
Two photos of Jim Lambek.

Introduction, 1: dvi | ps
An appreciation of Jim Lambek at McGill: Michael Barr, 2-4 dvi | ps
1. *-Autonomous categories: once more around the track: Michael Barr, 5-24 abstract | dvi | dvi.gz | ps | ps.gz
2. A bicategorical approach to static modules: Renato Betti, 25-32 abstract | dvi | dvi.gz | ps | ps.gz
3. The categorical theory of self-similarity: Peter Hines, 33-46 abstract | dvi | dvi.gz | ps | ps.gz
4. A note on rewriting theory for uniqueness of iteration: M. Okada and P. J. Scott, 47-64 abstract | dvi | dvi.gz | ps | ps.gz
5. Contravariant functors on finite sets and Stirling numbers: Robert Paré, 65-76 abstract | dvi | dvi.gz | ps | ps.gz
6. Comparing coequalizer and exact completions: M. C. Pedicchio and J. Rosicky, 77-82 abstract | dvi | dvi.gz | ps | ps.gz
7. Enriched Lawvere theories: John Power, 83-93 abstract | dvi | dvi.gz | ps | ps.gz
8. Some epimorphic regular contexts: R. Raphael, 94-104 abstract | dvi | dvi.gz | ps | ps.gz
9. Natural deduction and coherence for non-symmetric linearly distributive categories: Robert R. Schneck, 105-146 abstract | dvi | dvi.gz | ps | ps.gz

* The Editors of TAC wish to thank Michael Barr, Philip Scott and Robert Seely who acted as guest editors for this special volume.

Return to top.

Volume 5 - 1999

Table of contents also available in .dvi or .ps format.

1. A note on discrete Conduché fibrations: Peter Johnstone, 1-11 abstract | dvi | dvi.gz | ps | ps.gz
2. A tensor product for Gray-categories: Sjoerd Crans, 12-69 abstract | dvi | dvi.gz | ps | ps.gz
3. A note on the exact completion of a regular category, and its infinitary generalizations: Stephen Lack, 70-80 abstract | dvi | dvi.gz | ps | ps.gz
4. A useful category for mixed Abelian groups: Grigore Calugareanu, 81-90 abstract | dvi | dvi.gz | ps | ps.gz
5. Distributive laws for pseudomonads: Francisco Marmolejo, 91-147 abstract | dvi | dvi.gz | ps | ps.gz
6. Convergence in exponentiable spaces: Claudio Pisani, 148-162 abstract | dvi | dvi.gz | ps | ps.gz
7. Double categories, 2-categories, thin structures and connections: Ronald Brown and Ghafar Mosa, 163-175 abstract | dvi | dvi.gz | ps | ps.gz
8. Chu-spaces, a group algebra and induced representations: Eva Schläpfer, 176-201 abstract | dvi | dvi.gz | ps | ps.gz
9. When projective does not imply flat, and other homological anomalies: L. Gaunce Lewis, Jr., 202-250 abstract | dvi | dvi.gz | ps | ps.gz
10. Aspects of fractional exponent functors: Anders Kock and Gonzalo Reyes, 251-265 abstract | dvi | dvi.gz | ps | ps.gz | Reference
11. Generalized congruences -- Epimorphisms in Cat: M.Bednarczyk, A.Borzyszkowski, W.Pawlowski, 266-280 abstract | dvi | dvi.gz | ps | ps.gz
12. Localizations of Maltsev varieties: Marino Gran and Enrico Maria Vitale, 281-291 abstract | dvi | dvi.gz | ps | ps.gz

Return to top.

Volume 4 - 1998

Table of contents also available in .dvi or .ps format.

1. Pasting in multiple categories

Richard Steiner, 1-36 abstract | dvi | dvi.gz | ps | ps.gz

2. Protomodularity, descent, and semidirect products

D. Bourn and G. Janelidze, 37-46 abstract | dvi | dvi.gz | ps | ps.gz

3. A theory of enriched sketches

F. Borceux, C. Quinteiro and J. Rosicky, 47-72 abstract | dvi | dvi.gz | ps | ps.gz

4. Simplicial and categorical diagrams, and their equivariant applications

Rudolf Fritsch and Marek Golasinski, 73-81 abstract | dvi | dvi.gz | ps | ps.gz

5. A 2-categorical approach to change of base and geometric morphisms II

A.Carboni, G.M.Kelly, D.Verity and R.J.Wood, 73-136 abstract | dvi | dvi.gz | ps | ps.gz

6. The separated extensional Chu category

Michael Barr, 137-147 abstract | dvi | dvi.gz | ps | ps.gz

7. Applications of Peiffer pairings in the Moore complex of a simplicial group

8. Freeness Conditions for 2-Crossed Modules and Complexes

9. Geometric Construction of the Levi-Civita Parallelism

Anders Kock, 195-207 abstract | dvi | dvi.gz | ps | ps.gz

10. On Generic Separable Objects

Return to top.

Volume 3 - 1997

Table of contents also available in .dvi or .ps format.

1. Higher dimensional Peiffer elements in simplicial commutative algebras,: Z. Arvasi and T. Porter, pp. 1-23 abstract | dvi | dvi.Z | ps | ps.Z | Xy-pic fonts
2. Doctrines whose structure forms a fully faithful adjoint string: F. Marmolejo, pp. 23-44 abstract | dvi | dvi.Z | ps | ps.Z | Xy-pic fonts
3. Note on a theorem of Putnam's: Michael Barr, pp. 45-49 abstract | dvi | dvi.Z | ps | ps.Z
4. Lax operad actions and coherence for monoidal n-categories, A_{\infty} rings and modules: Gerald Dunn, pp. 50-84 abstract | dvi | dvi.Z | ps | ps.Z
5. Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories: J.R.B. Cockett and R.A.G. Seely, pp. 85-131 abstract | dvi | dvi.Z | ps | ps.Z | stmaryrd fonts
6. The reflectiveness of covering morphisms in algebra and geometry,: George Janelidze and Max Kelly, pp. 132-159 abstract | dvi | dvi.Z | ps | ps.Z | Xy-pic fonts
7. Crossed squares and 2-crossed modules of commutative algebras: Zekeriya Arvasi, pp. 160-181 abstract | dvi | dvi.Z | ps | ps.Z
8. Monads and interpolads in bicategories: J"urgen Koslowski, pp. 182-212 abstract | dvi | dvi.Z | ps | ps.Z
9. On property-like structures: G. M. Kelly and Stephen Lack, pp. 213-250 abstract | dvi | dvi.Z | ps | ps.Z
10. Closed model categories for [n,m]-types: J. Ignacio Extremiana Aldana, Luis J. Hernandez Paricio, and M. Teresa Rivas Rodriguez, pp. 251-268 abstract | dvi | dvi.Z | ps | ps.Z
11. Multilinearity of Sketches: David B. Benson, pp. 269-277 abstract | dvi | dvi.Z | ps | ps.Z

Return to top.

Volume 2 - 1996

Table of contents also available in .dvi , .ps or text format.

Editorial Notice: Robert W. Thomason 1952-1995: I. Moerdijk, pp. 1-2 dvi | ps
1. Computing crossed modules induced by an inclusion of a normal subgroup, with applications to homotopy 2-types: Ronald Brown and Christopher D. Wensley, pp. 3-16 abstract | dvi | dvi.Z | ps | ps.Z | Xy-pic fonts
2. The Chu construction: Michael Barr, pp. 17-35 abstract | dvi | dvi.Z | ps | ps.Z | rsfs fonts
3. A counterexample to a conjecture of Barr: Sarah Whitehouse, pp. 36-39 abstract | dvi | dvi.Z | ps | ps.Z
4. An algebraic description of locally multipresentable categories: Jiri Adamek and Jiri Rosicky, pp. 40-53 abstract | dvi | dvi.Z | ps | ps.Z | rsfs fonts
5. Finiteness of a non-abelian tensor product of groups: N. Inassaridze, pp. 54-61 abstract | dvi | dvi.Z | ps | ps.Z
6. On quantic conuclei in orthomodular lattices: Leopoldo Roman and Rita E. ZuaZua, pp. 62-68 abstract | dvi | dvi.Z | ps | ps.Z
7. Combinatorics of curvature and the Bianchi identity: Anders Kock, pp. 69-89 abstract | dvi | dvi.Z | ps | ps.Z
8. Remarks on Quintessential and persistent localizations: Peter T. Johnstone, pp. 90-99 abstract | dvi | dvi.Z | ps | ps.Z
9. Glueing Analysis for Complemented Subtoposes: Anders Kock and Till Plewe, pp. 100-112 abstract | dvi | dvi.Z | ps | ps.Z | Reference
10. A note on free regular and exact completions and their infinitary generalizations: Hongde Hu and Walter Tholen, pp. 113-132 abstract | dvi | dvi.Z | ps | ps.Z

Return to top.

Volume 1 - 1995

Table of contents also available in .dvi or text format.

1. Oriented singular homology: Michael Barr, pp. 1-9 abstract | dvi | dvi.Z | ps | ps.Z
2. Functorial and algebraic properties of Brown's P functor: Luis-Javier Hernandez-Paricio, pp. 10-53 abstract | dvi | dvi.Z | ps | ps.Z
3. On finite induced crossed modules, and the homotopy 2-type of mapping cones: Ronald Brown and Christopher D. Wensley, pp. 54-71 abstract | dvi | dvi.Z | ps | ps.Z | Xy-pic fonts
4. Kan extensions along promonoidal functors: Brian Day and Ross Street, pp. 72-77 abstract | dvi | dvi.Z | ps | ps.Z
5. Symmetric monoidal categories model all connective spectra: R. W. Thomason, pp. 78-118 abstract | dvi | dvi.Z | ps | ps.Z | Xy-pic, Cyrillic fonts
6. Distributive adjoint strings: Robert Rosebrugh and R. J. Wood, pp. 119-145 abstract | dvi | dvi.Z | ps | ps.Z | Reference
7. A forbidden-suborder characterization binarily-composable diagrams in double categories: Robert Dawson, pp. 146-153 abstract | dvi | dvi.Z | ps | ps.Z
8. Categorical data-specifications: Frank Piessens and Eric Steegmans, pp. 156-173 abstract | dvi | dvi.Z | ps | ps.Z | Xy-pic fonts
9. On the size of categories: Peter Freyd and Ross Street, pp. 174-181 abstract | dvi | dvi.Z | ps | ps.Z

Return to top.