Theory and Applications of Categories

ISSN 1201 - 561X

[ Volume 8 - 2001 | Volume 9 - CT2000 | Volume 10 - 2002 ]

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

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

[ Reprints ]

[ Policy | Editors | Subscriptions ]

[ For prospective authors - READ CAREFULLY ]

[ Mirrors | Other | Cahiers-Index ]

[ Home site - Canada ]

Volume 10 - 2002

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

1. A survey of definitions of n-category: Tom Leinster, 1-70 abstract | dvi | dvi.gz | ps | ps.gz | pdf
2. A homotopy double groupoid of a Hausdorff space: Ronald Brown, Keith A. Hardie, Klaus Heiner Kamps, Timothy Porter, 71-93 abstract | dvi | dvi.gz | ps | ps.gz | pdf
3. Entity-relationship-attribute designs and sketches: Michael Johnson, Robert Rosebrugh and R.J. Wood, 94-112 abstract | dvi | dvi.gz | ps | ps.gz | pdf
4. Homology of Lie algebras with $\Lambda/q\Lambda$ coefficients and exact sequences: Emzar Khmaladze, 113-126 abstract | dvi | dvi.gz | ps | ps.gz | pdf
5. Exponentiability of perfect maps: four approaches: Susan Niefield, 127-133 abstract | dvi | dvi.gz | ps | ps.gz | pdf
6. Coherence for Factorization Algebras: Robert Rosebrugh and R.J. Wood, 134-147 abstract | dvi | dvi.gz | ps | ps.gz | pdf
7. More on injectivity in locally presentable categories: J. Rosicky, J. Adamek and F. Borceux, 148-161 abstract | dvi | dvi.gz | ps | ps.gz | pdf
8. Colocalizations and their realizations as spectra: Friedrich W. Bauer, 162-179 abstract | dvi | dvi.gz | ps | ps.gz | pdf
9. On some properties of pure morphisms of commutative rings: Bachuki Mesablishvili, 180-186 abstract | dvi | dvi.gz | ps | ps.gz | pdf
10. Change of base, Cauchy completeness and reversibility: Anna Labella and Vincent Schmitt, 187-219 abstract | dvi | dvi.gz | ps | ps.gz | pdf
11. Derived Operations in Goguen Categories: Michael Winter, 220-247 abstract | dvi | dvi.gz | ps | ps.gz | pdf
12. Sober spaces and continuations: Paul Taylor, 248-300 abstract | dvi | dvi.gz | ps | ps.gz | pdf
13. Subspaces in abstract Stone duality: Paul Taylor, 301-368 abstract | dvi | dvi.gz | ps | ps.gz | pdf
14. Directed homotopy theory, II. Homotopy constructs: Marco Grandis, 369-391 abstract | dvi | dvi.gz | ps | ps.gz | pdf
15. The cyclic spectrum of a Boolean flow: John F. Kennison, 392-409 abstract | dvi | dvi.gz | ps | ps.gz | pdf
16. Simultaneously Reflective And Coreflective Subcategories of Presheaves: Robert El Bashir and Jiri Velebil, 410-423 abstract | dvi | dvi.gz | ps | ps.gz | pdf
17. Entropic Hopf algebras and models of non-commutative logic: Richard F. Blute, Francois Lamarche, Paul Ruet, 424-460 abstract | dvi | dvi.gz | ps | ps.gz | pdf
18. HSP subcategories of Eilenberg-Moore algebras: Michael Barr, 461-468 abstract | dvi | dvi.gz | ps | ps.gz | pdf
19. Opmonoidal monads: Paddy McCrudden, 469-485 abstract | dvi | dvi.gz | ps | ps.gz | pdf
20. A duality relative to a limit doctrine: C. Centazzo and E.M. Vitale, 486-497 abstract | dvi | dvi.gz | ps | ps.gz | pdf

Return to top.

Volume 9 - CT2000*

A special volume of articles from the CT2000 Conference

Table of contents also available in .dvi or .ps or .pdf format.
Conference photos

1. Infinitesimal aspects of the Laplace operator: Anders Kock, 1-16 abstract | dvi | dvi.gz | ps | ps.gz | pdf
2. A note on exactness and stability in homotopical algebra: Marco Grandis, 27-42 abstract | dvi | dvi.gz | ps | ps.gz | pdf
3. Simplicial torsors: Tibor Beke, 43-60 abstract | dvi | dvi.gz | ps | ps.gz | pdf
4. A note on actions of a monoidal category: G. Janelidze and G.M. Kelly, 61-91 abstract | dvi | dvi.gz | ps | ps.gz | pdf
5. Classifying spaces of categories and term rewriting: Maurizio G. Citterio, 92-105 abstract | dvi | dvi.gz | ps | ps.gz | pdf
6. Categorical domain theory: Scott topology, powercategories, coherent categories: Panagis Karazeris, 106-120 abstract | dvi | dvi.gz | ps | ps.gz | pdf
7. The Hurwitz action and braid group orderings: Jonathon Funk, 121-150 abstract | dvi | dvi.gz | ps | ps.gz | pdf
8. Centrality and normality in protomodular categories: Dominique Bourn and Marino Gran, 151-165 abstract | dvi | dvi.gz | ps | ps.gz | pdf
9. The alternation hierarchy for the theory of $\mu$-lattices: Luigi Santocanale, 166-197 abstract | dvi | dvi.gz | ps | ps.gz | pdf
10. Simplicial matrices and the nerves of weak n-categories I: nerves of bicategories: John W. Duskin, 198-308 abstract | dvi | dvi.gz | ps | ps.gz | pdf
Participants in the CT2000 conference: 309-311 dvi | ps | pdf

* The Editors of TAC wish to thank Aurelio Carboni, Giuseppe Rosolini and Robert Walters who acted as guest editors for this special volume.

Return to top.

Volume 8 - 2001

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

1. $n$-Permutable locally finitely presentable categories: Marino Gran and Maria-Cristina Pedicchio, 1-15 abstract | dvi | dvi.gz | ps | ps.gz | pdf
2. Exponentiable morphisms: posets, spaces, locales, and Grothendieck toposes: Susan Niefield, 16-32 abstract | dvi | dvi.gz | ps | ps.gz | pdf
3. On sifted colimits and generalized varieties: J. Adamek and J. Rosicky, 33-53 abstract | dvi | dvi.gz | ps | ps.gz | pdf
4. On Mackey topologies in topological abelian groups: Michael Barr and Heinrich Kleisli, 54-62 abstract | dvi | dvi.gz | ps | ps.gz | pdf
5. Finite sum - product logic: J.R.B. Cockett and R.A.G. Seely, 63-99 abstract | dvi | dvi.gz | ps | ps.gz | pdf
6. On the pullback stability of a quotient map with respect to a closure operator: Lurdes Sousa, 100-113 abstract | dvi | dvi.gz | ps | ps.gz | pdf
7. Duality for simple $\omega$-categories and disks: Mihaly Makkai and Marek Zawadowski, 114-243 abstract | dvi | dvi.gz | ps | ps.gz | pdf
8. Finite sets and symmetric simplicial sets: Marco Grandis, 244-252 abstract | dvi | dvi.gz | ps | ps.gz | pdf
9. How algebraic is algebra?: J. Adamek, F. W. Lawvere and J. Rosicky, 253-283 abstract | dvi | dvi.gz | ps | ps.gz | pdf
10. Localization of $V$-categories: Bjorn Ian Dundas, 284-312 abstract | dvi | dvi.gz | ps | ps.gz | pdf
11. Limites inductives point par point dans les catégories accessibles: Pierre Ageron, 313-323 abstract | dvi | dvi.gz | ps | ps.gz | pdf
12. Combinatorics of branchings in higher dimensional automata: Philippe Gaucher, 324-376 abstract | dvi | dvi.gz | ps | ps.gz | pdf
13. How large are left exact functors?: J. Adamek, V. Koubek and V. Trnkova, 377-390 abstract | dvi | dvi.gz | ps | ps.gz | pdf
14. A categorical genealogy for the congruence distributive property: Dominique Bourn, 391-407 abstract | dvi | dvi.gz | ps | ps.gz | pdf
15. Pseudogroupoids and commutators: George Janelidze and M.Cristina Pedicchio, 408-456 abstract | dvi | dvi.gz | ps | ps.gz | pdf
16. Perfect maps are exponentiable - categorically: Gunther Richter and Walter Tholen, 457-464 abstract | dvi | dvi.gz | ps | ps.gz | pdf
17. Essential localizations and infinitary exact completion: Enrico M. Vitale, 465-480 abstract | dvi | dvi.gz | ps | ps.gz | pdf
18. Cartesian closed topological hull of the construct of closure spaces: V. Claes, E. Lowen-Colebunders and G. Sonck, 481-489 abstract | dvi | dvi.gz | ps | ps.gz | pdf
19. A sheaf-theoretic view of loop spaces: Mark W. Johnson, 490-508 abstract | dvi | dvi.gz | ps | ps.gz | pdf
20. On functors which are lax epimorphisms: Jiri Adamek, Robert El Bashir, Manuela Sobral, Jiri Velebil, 509-21 abstract | dvi | dvi.gz | ps | ps.gz | pdf
21. Closure operators in exact completions: Matias Menni, 522-540 abstract | dvi | dvi.gz | ps | ps.gz | pdf
22. The extensive completion of a distributive category: J.R.B. Cockett and Stephen Lack, 541-554 abstract | dvi | dvi.gz | ps | ps.gz | pdf
23. V-Cat is locally presentable or locally bounded if V is so: G. M. Kelly and Stephen Lack, 555-575 abstract | dvi | dvi.gz | ps | ps.gz | pdf

Return to top.

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

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

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 | pdf

2. Protomodularity, descent, and semidirect products

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

3. A theory of enriched sketches

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

4. Simplicial and categorical diagrams, and their equivariant applications

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

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 | pdf

6. The separated extensional Chu category

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

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

A. Mutlu and T. Porter, 148-173 abstract | dvi | dvi.gz | ps | ps.gz | pdf | Reference

8. Freeness conditions for 2-crossed modules and complexes

A. Mutlu and T. Porter, 174-194 abstract | dvi | dvi.gz | ps | ps.gz | pdf | Reference

9. Geometric construction of the Levi-Civita parallelism

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

10. On generic separable objects

Robbie Gates, 208-248 abstract | dvi | dvi.gz | ps | ps.gz | pdf

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 | pdf | 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 | pdf | Xy-pic fonts
3. Note on a theorem of Putnam's: Michael Barr, pp. 45-49 abstract | dvi | dvi.Z | ps | ps.Z | pdf
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 | pdf
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 | pdf | 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 | pdf | 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 | pdf
8. Monads and interpolads in bicategories: J"urgen Koslowski, pp. 182-212 abstract | dvi | dvi.Z | ps | ps.Z | pdf
9. On property-like structures: G. M. Kelly and Stephen Lack, pp. 213-250 abstract | dvi | dvi.Z | ps | ps.Z | pdf
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 | pdf
11. Multilinearity of sketches: David B. Benson, pp. 269-277 abstract | dvi | dvi.Z | ps | ps.Z | pdf

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
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.