Editors
Policy
Subscriptions

Authors - Submission Requirements

TACReprints

Cahiers Index

Search

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

Mirrors
Other

Home site - Canada

Theory and Applications of Categories

TAC logo


ISSN 1201 - 561X


Volume 16 - 2006

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


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


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


Volume 13 - The Carboni Festschrift*

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


© The Editors of Theory and Applications of Categories

Return to top.