Theory and Applications of Categories

ISSN 1201 - 561X

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

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

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

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.