Vol. 19 - CT2006
Vol. 18 - 2007
Vol. 17 - Chu spaces
Vol. 16 - 2006
Vol. 15 - CT2004
Vol. 14 - 2005
Vol. 13 - Carboni Festschrift
Vol. 12 - 2004
Vol. 11 - 2003
Vol. 10 - 2002
Vol. 9 - CT2000
Vol. 8 - 2001
Vol. 7 - 2000
Vol. 6 - Lambek Festschrift
Vol. 5 - 1999
Vol. 4 - 1998
Vol. 3 - 1997
Vol. 2 - 1996
Vol. 1 - 1995

Theory and Applications of Categories

ISSN 1201 - 561X

* The Editors of TAC wish to thank Valeria de Paiva and Vaughan Pratt who acted as guest editors for this special volume.

Return to top.

Volume 16 - 2006

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

1. Monads of effective descent type and comonadicity: Bachuki Mesablishvili, 1-45 abstract | dvi | ps | pdf
2. Action groupoid in protomodular categories: Dominique Bourn, 46-58 abstract | dvi | ps | pdf
3. Inverting weak dihomotopy equivalence using homotopy continuous flow: Philippe Gaucher, 59-83 abstract | dvi | ps | pdf
4. Frobenius algebras and ambidextrous adjunctions: Aaron D. Lauda, 84-122 abstract | dvi | ps | pdf
5. Every Grothendieck topos has a one-way site: Colin McLarty, 123-126 abstract | dvi | ps | pdf
6. Points of affine categories and additivity: A. Carboni and G. Janelidze, 127-131 abstract | dvi | ps | pdf
7. Preserving homology: Michael Barr, 132-143 abstract | dvi | ps | pdf
8. Thin fillers in the cubical nerves of omega-categories: Richard Steiner, 144-173 abstract | dvi | ps | pdf
9. Free A_\infty-categories: Volodymyr Lyubashenko and Oleksandr Manzyuk, 174-205 abstract | dvi | ps | pdf
10. A characterization of quantic quantifiers in orthomodular lattices: Leopoldo Román, 206-217 abstract | dvi | ps | pdf
11. Exponentiability in lax slices of Top: Susan Niefield, 218-235 abstract | dvi | ps | pdf
12. Closedness properties of internal relations I: A unified approach to Mal'tsev, unital and subtractive categories: Zurab Janelidze, 236-261 abstract | dvi | ps | pdf
13. Closedness properties of internal relations II: Bourn localization: Zurab Janelidze, 262-282 abstract | dvi | ps | pdf
14. Categorical structures enriched in a quantaloid: tensored and cotensored categories: Isar Stubbe, 283-306 abstract | dvi | ps | pdf
15. Stable meet semilattice fibrations and free restriction categories: J.R.B. Cockett and Xiuzhan Guo, 307-341 abstract | dvi | ps | pdf
16. TFT Construction of RCFT correlators V: Proof of modular invariance and factorisation: Jens Fjelstad, Jurgen Fuchs, Ingo Runkel and Christoph Schweigert, 342-433 abstract | ps | pdf
17. Spectra of finitely generated Boolean flows: John F. Kennison, 434-459 abstract | dvi | ps | pdf
18. Paths in double categories: R. J. MacG. Dawson, R. Paré, and D. A. Pronk, 460-521 abstract | dvi | ps | pdf
19. Numerology in topoi: Peter Freyd, 522-528 abstract | dvi | ps | pdf
20. Categorical representations of categorical groups: John W. Barrett and Marco Mackaay, 529-557 abstract | dvi | ps | pdf
21. Compactifications, C(X) and ring epimorphisms: W.D. Burgess and R. Raphael, 558-584 abstract | dvi | ps | pdf
22. On categorical crossed modules: P. Carrasco, A.R. Garzon and E.M. Vitale, 585-618 abstract | dvi | ps | pdf
23. Equivalence of 2D-multitopic category and ana-bicategory: Param Jyothi Reddy R, 619-667 abstract | ps | pdf
24. Descent for Monads: Pieter Hofstra and Federico De Marchi, 668-699 abstract | dvi | ps | pdf
25. Topological *-autonomous categories: Michael Barr, 700-708 abstract | dvi | ps | pdf
26. Quotient models of a category up to directed homotopy: Marco Grandis, 709-735 abstract | dvi | ps | pdf
27. Categories of components and loop-free categories: Emmanuel Haucourt, 736-770 abstract | pdf
28. Pullback and finite coproduct preserving functors between categories of permutation representations: Elango Panchadcharam and Ross Street, 771-784 abstract | dvi | ps | pdf
29. Categorified algebra and quantum mechanics: Jeffrey Morton, 785-854 abstract | ps | pdf
30. A cohomological description of connections and curvature over posets: John E. Roberts and Giuseppe Ruzzi, 855-895 abstract | dvi | ps | pdf
31. Generating families in a topos: Toby Kenney, 896-922 abstract | dvi | ps | pdf
32. Copower objects and their applications to finiteness in topoi: Toby Kenney, 923-956 abstract | dvi | ps | pdf

Return to top.

Volume 15 - CT2004*

A special volume of articles from the CT2004 Conference

1. Predicative algebraic set theory: Steve Awodey and Michael A. Warren, 1-39 abstract | dvi | ps | pdf
2. Reflective Kleisli subcategories of the category of Eilenberg-Moore algebras for factorization monads: Marcelo Fiore and Matias Menni, 40-65 abstract | dvi | ps | pdf
3. Model structures for homotopy of internal categories: T. Everaert, R.W. Kieboom and T. Van der Linden, 66-94 abstract | dvi | ps | pdf
4. The shape of a category up to directed homotopy: Marco Grandis, 95-146 abstract | dvi | ps | pdf
5. Algebraic models of intuitionistic theories of sets and classes: S. Awodey and H. Forssell, 147-163 abstract | dvi | ps | pdf
6. Generic commutative separable algebras and cospans of graphs: R. Rosebrugh, N. Sabadini and R.F.C. Walters, 164-177 abstract | dvi | ps | pdf
7. A Galois theory with stable units for simplicial sets: Joao J. Xarez, 178-193 abstract | dvi | ps | pdf

* The Editors of TAC wish to thank George Janelidze, John MacDonald, Ross Street and Walter Tholen who acted as guest editors for this special volume.

Return to top.

Volume 14 - 2005

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

1. Categorical structures enriched in a quantaloid: categories, distributors and functors: Isar Stubbe, 1-45 abstract | dvi | ps | pdf
2. On essential ring embeddings and the epimorphic hull of C(X): R. Raphael, R.G. Woods, 46-52 abstract | dvi | ps | pdf
3. Absolute homology: Michael Barr, 53-59 abstract | dvi | ps | pdf
4. Thin elements and commutative shells in cubical omega-categories: Philip J. Higgins, 60-74 abstract | dvi | ps | pdf
5. Adjunction models for call-by-push-value with stacks: Paul Blain Levy, 75-110 abstract | dvi | ps | pdf
6. Abstract physical traces: Samson Abramsky and Bob Coecke, 111-124 abstract | ps | pdf
7. A monadic approach to polycategories: Juergen Koslowski, 125-156 abstract | dvi | ps | pdf
8. Introduction to coalgebra: Jiri Adamek, 157-199 abstract | dvi | ps | pdf
9. A homotopy double groupoid of a Hausdorff space II: a van Kampen theorem: R. Brown, K.H. Kamps, and T. Porter, 200-220 abstract | dvi | ps | pdf
10. Canonical and op-canonical lax algebras: Gavin J. Seal, 221-243 abstract | dvi | ps | pdf
11. On the representability of actions in a semi-abelian category: F. Borceux, G. Janelidze and G.M. Kelly, 244-286 abstract | dvi | ps | pdf
12. Groupoid enriched categories and natural systems: Teimuraz Pirashvili, 287-293 abstract | dvi | ps | pdf
13. Every group is representable by all natural transformations of some set-functor: Libor Barto and Petr Zima, 294-309 abstract | dvi | ps | pdf
14. Classification of concrete geometrical categories: Yves Diers, 310-327 abstract | dvi | ps | pdf
15. Localic completion of generalized metric spaces I: Steven Vickers, 328-356 abstract | dvi | ps | pdf
16. Enlargements of categories: Lars Brünjes, Christian Serpé, 357-398 abstract | dvi | ps | pdf
17. Notes on enriched categories with colimits of some class: G.M. Kelly and V. Schmitt, 399-423 abstract | dvi | ps | pdf
18. Birkhoff's variety theorem with and without free algebras: Jiri Adamek and Vera Trnkova, 424-450 abstract | dvi | ps | pdf
19. Generalized Brown representability in homotopy categories: Jiri Rosicky, 451-479 abstract | dvi | ps | pdf

Return to top.

Volume 13 - The Carboni Festschrift*

A special volume dedicated to Aurelio Carboni on the occasion of his 60'th birthday.

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

Foreword: The guest editors, 1-4 dvi | ps | pdf
1. On von Neumann varieties: F. Borceux and J. Rosicky, 5-26 abstract | dvi | ps | pdf
2. Commutator theory in strongly protomodular categories: Dominique Bourn, 27-40 abstract | dvi | ps | pdf
3. On extensions of lax monads: Maria Manuel Clementino and Dirk Hofmann abstract | dvi | ps | pdf
4. Universal properties of Span: R.J.MacG. Dawson, R. Pare and D.A. Pronk, 61-85 abstract | dvi | ps | pdf
5. Derivations of categorical groups: A.R. Garzon, H. Inassaridze and A. del Rio, 86-105 abstract | dvi | ps | pdf
6. Semi-abelian monadic categories: Marino Gran and Jiri Rosicky, 106-113 abstract | dvi | ps | pdf
7. Normed combinatorial homology and noncommutative tori: Marco Grandis, 114-128 abstract | dvi | ps | pdf
8. Coalgebras, braidings, and distributive laws: Stefano Kasangian, Stephen Lack, and Enrico M. Vitale, 129-146 abstract | dvi | ps | pdf
9. Composing PROPs: Stephen Lack, 147-163 abstract | dvi | ps | pdf
10. Functorial concepts of complexity for finite automata: F. William Lawvere, 164-168 abstract | dvi | ps | pdf
11. Every small Sl-enriched category is Morita equivalent to an Sl-monoid: Bachuki Mesablishvili, 169-171 abstract | dvi | ps | pdf
12. Split structures: Robert Rosebrugh and R.J. Wood, 172-183 abstract | dvi | ps | pdf
13. The monoidal centre as a limit: Ross Street, 184-190 abstract | dvi | ps | pdf
14. Generic morphisms, parametric representations and weakly cartesian monads: Mark Weber, 191-234 abstract | dvi | ps | pdf
15. Internal monotone-light factorization for categories via preorders: Joao Xarez, 235-251 abstract | dvi | ps | pdf

* The Editors of TAC wish to thank G. Janelidze, S. Lack, F.W. Lawvere, E.M. Vitale and R.J. Wood who acted as guest editors for this special volume.

Return to top.

Volume 12 - 2004

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

1. Baer invariants in semi-abelian categories I: General theory: T. Everaert and T. Van der Linden, 1-33 abstract | dvi | ps | pdf
2. Simplicial approximation: J.F. Jardine, 34-72 abstract | dvi | ps | pdf
3. Operads in higher-dimensional category theory: Tom Leinster, 73-194 abstract | dvi | ps | pdf
4. Baer invariants in semi-abelian categories II: Homology: T. Everaert and T. Van der Linden, 195-224 abstract | dvi | ps | pdf
5. Notions of flatness relative to a Grothendieck topology: Panagis Karazeris, 225-236 abstract | dvi | ps | pdf
6. Moore categories: Diana Rodelo, 237-247 abstract | dvi | ps | pdf
7. Change of base for relational variable sets: Susan Niefield, 248-261 abstract | dvi | ps | pdf
8. On subgroups of the Lambek pregroup: Michael Barr, 262-269 abstract | dvi | ps | pdf
9. Algebraically closed and existentially closed substructures in categorical context: Michel Hebert, 269-298 abstract | dvi | ps | pdf
10. Vertically iterated classical enrichment: Stefan Forcey, 299-325 abstract | dvi | ps | pdf
11. Several constructions for factorization systems: Dali Zangurashvili, 326-354 abstract | dvi | ps | pdf
12. K-purity and orthogonality: Michel Hebert, 355-371 abstract | dvi | ps | pdf
13. The double powerlocale and exponentiation: A case study in geometric logic: Steven Vickers, 372-422 abstract | dvi | ps | pdf
14. Higher-Dimensional Algebra V: 2-Groups: John C. Baez and Aaron D. Lauda, 423-491 abstract | dvi | ps | pdf
15. Higher-Dimensional Algebra VI: Lie 2-Algebras: John C. Baez and Alissa S. Crans, 492-538 abstract | dvi | ps | pdf

Return to top.

Volume 11 - 2003

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

1. Categorical models and quasigroup homotopies: George Voutsadakis, 1-14 abstract | dvi | ps | pdf
2. Morphisms and modules for poly-bicategories: J.R.B. Cockett, J. Koslowski, and R.A.G. Seely, 15-74 abstract | dvi | ps | pdf
3. The branching nerve of HDA and the Kan condition: Philippe Gaucher, 75-106 abstract | dvi | ps | pdf
4. Isomorphisms between left and right adjoints: H. Fausk, P. Hu, and J.P. May, 107-131 abstract | dvi | ps | pdf
5. The Wirthmuller isomorphism revisited: J.P. May, 132-142 abstract | dvi | ps | pdf
6. Characterization of protomodular varieties of universal algebras: Dominique Bourn and George Janelidze, 143-147 abstract | dvi | ps | pdf
7. Resolutions by polygraphs: François Métayer, 148-184 abstract | dvi | ps | pdf
8. Cubical sets and their site: Marco Grandis and Luca Mauri, 185-211 abstract | dvi | ps | pdf
9. Characterization of pointed varieties of universal algebras with normal projections: Zurab Janelidze, 212-214 abstract | dvi | ps | pdf
10. Some algebraic applications of graded categorical group theory: A.M. Cegarra and A.R. Garzon, 215-251 abstract | dvi | ps | pdf
11. Continuous categories revisited: J. Adamek, F. W. Lawvere, J. Rosicky, 252-282 abstract | dvi | ps | pdf
12. Ring epimorphisms and C(X): Michael Barr, W.D. Burgess and R. Raphael, 283-308 abstract | dvi | ps | pdf
13. Partial toposes: Jean Bénabou and Thomas Streicher, 309-320 abstract | dvi | ps | pdf
14. Some calculus with extensive quantities: wave equation: Anders Kock and Gonzalo E. Reyes, 321-336 abstract | dvi | ps | pdf
15. Exponentiability in categories of lax algebras: Maria Manuel Clementino, Dirk Hofmann and Walter Tholen, 337-352 abstract | dvi | ps | pdf
16. The category of opetopes and the category of opetopic sets: Eugenia Cheng, 353-374 abstract | dvi | ps | pdf
17. Modules: J.R.B. Cockett, J. Koslowski, R.A.G. Seely, and R.J. Wood, 375-396 abstract | dvi | ps | pdf
18. Symmetric monoidal completions and the exponential principle among labeled combinatorial structures: Matias Menni, 397-419 abstract | dvi | ps | pdf
19. Composition-representative subsets: Gary Griffing, 420-437 abstract | dvi | ps | pdf
20. The strong amalgamation property and (effective) codescent morphisms: Dali Zangurashvili, 438-449 abstract | dvi | ps | pdf

Return to top.

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.

Theory and Applications of Categories

Volume 19 - CT2006

Volume 18 - 2007

Volume 17 - Chu spaces: theory and applications*

Volume 16 - 2006

Volume 15 - CT2004*

A special volume of articles from the CT2004 Conference

Volume 14 - 2005

Volume 13 - The Carboni Festschrift*

A special volume dedicated to Aurelio Carboni on the occasion of his 60'th birthday.

Volume 12 - 2004

Volume 11 - 2003

Volume 10 - 2002

A special volume of articles from the CT2000 Conference

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

Volume 5 - 1999