Theory and Applications of Categories

ISSN 1201 - 561X

1. Bicategories of spans as cartesian bicategories

Stephen Lack, R.F.C. Walters, and R.J. Wood, 1-24 abstract | dvi | ps | pdf

2. The Frobenius relations meet linear distributivity

J.M. Egger, 25-38 abstract | dvi | ps | pdf

3. Joyal's arithmetic universe as list-arithmetic pretopos

Maria Emilia Maietti, 39-83 abstract | dvi | ps | pdf

4. Monads as extension systems - no iteration is necessary

F. Marmolejo and R. J. Wood, 84-113 abstract | dvi | ps | pdf

5. On a conjecture by J.H.Smith

George Raptis, 114-116 abstract | dvi | ps | pdf

6. Topos theoretic aspects of semigroup actions

Jonathon Funk and Pieter Hofstra, 117-147 abstract | dvi | ps | pdf

7. Transversal homotopy theory

Jonathan Woolf, 148-178 abstract | pdf

8. On modified Reedy and modified projective model structures

Mark W. Johnson, 179-208 abstract | dvi | ps | pdf

9. Finitely presentable morphisms in exact sequences

Michel Hébert, 209-220 abstract | dvi | ps | pdf

10. The Hopf algebra of Möbius intervals

F. W. Lawvere and M. Menni, 221-265 abstract | dvi | ps | pdf

11. Tensor products of sup-lattices and generalized sup-arrows

T. Kenney and R.J. Wood, 266-287 abstract | dvi | ps | pdf

12. Lax presheaves and exponentiability

Susan Niefield, 288-301 abstract | dvi | ps | pdf

13. The span construction

Robert Dawson, Robert Paré, Dorette Pronk, 302-377 abstract | dvi | ps | pdf

14. On *-autonomous categories of topological modules

Michael Barr, John F. Kennison, and R. Raphael, 378-393 abstract | dvi | ps | pdf

15. A logic for categories

Claudio Pisani, 394-417 abstract | dvi | ps | pdf

16. On the duality between trees and disks

David Oury, 418-450 abstract | dvi | ps | pdf

17. Internal profunctors and commutator theory; applications to extensions classification and categorical Galois Theory

Dominique Bourn, 451-488 abstract | dvi | ps | pdf

Return to top.

Foreword

The guest editors, 1-6 dvi | ps | pdf

1. Action accessibility for categories of interest

Andrea Montoli, 7-21 abstract | dvi | ps | pdf

2. Homology of n-fold groupoids

Tomas Everaert and Marino Gran, 22-41 abstract dvi | ps | pdf

3. The comprehensive factorization and torsors

Ross Street and Dominic Verity, 42-75 abstract | dvi | ps | pdf

4. Snake Lemma in incomplete relative homological categories

Tamar Janelidze, 76-91 abstract | dvi | ps | pdf

5. Monadic approach to Galois descent and cohomology

Francis Borceux, Stefaan Caenepeel and George Janelidze, 92-112 abstract | dvi | ps | pdf

6. Internal crossed modules and Peiffer Condition

Sandra Mantovani, Giuseppe Metere, 113-135 abstract | dvi | ps | pdf

7. Strongly separable morphisms in general categories

G. Janelidze and W. Tholen, 136-149 abstract | dvi | ps | pdf

8. The third cohomology group classifies double central extensions

Diana Rodelo and Tim Van der Linden, 150-169 abstract | dvi | ps | pdf

9. Star-multiplicative graphs in pointed protomodular categories

N. Martins-Ferreira, 170-198 abstract | dvi | ps | pdf

10. A metric tangential calculus

Elisabeth Burroni and Jacques Penon, 199-220 abstract | dvi | ps | pdf

11. The pointed subobject functor, 3 x 3 lemmas, and subtractivity of spans

Zurab Janelidze, 221-242 abstract | dvi | ps | pdf

12. A categorical approach to integration

Reinhard Börger, 243-250 abstract | dvi | ps | pdf

13. What are sifted colimits?

J. Adamek, J. Rosicky, E. M. Vitale, 251-260 abstract | dvi | ps | pdf

* The Editors of TAC wish to thank Andree Ehresmann, George Janelidze, Jiri Rosicky, Walter Tholen and Enrico Vitale who acted as guest editors for this special volume.

Return to top.

1. Duality for CCD lattices

Francisco Marmolejo, Robert Rosebrugh, and R.J. Wood, 1-23 abstract | dvi | ps | pdf

2. On deformations of pasting diagrams

D. N. Yetter, 24-53 abstract | dvi | ps | pdf

3. Searching for more absolute CR-epic spaces

Michael Barr, John F. Kennison, and R. Raphael, 54-76 abstract | dvi | ps | pdf

4. On endomorphism algebras of separable monoidal functors

Brian Day and Craig Pastro, 77-96 abstract | dvi | ps | pdf

5. Categories with slicing

Thorsten Palm, 97-135 abstract | dvi | ps | pdf

6. Tensor-triangulated categories and dualities

Baptiste Calmès and Jens Hornbostel, 136-198 abstract | dvi | ps | pdf

7. Lois distributives. Applications aux automates stochastiques

Elisabeth Burroni, 198-221 abstract | dvi | ps | pdf

8. Algebraic colimit calculations in homotopy theory using fibred and cofibred categories

Ronald Brown and Rafael Sivera, 222-251 abstract | dvi | ps | pdf

9. Covering space theory for directed topology

Eric Goubault, Emmanuel Haucourt, Sanjeevi Krishnan, 252-268 abstract | pdf

10. On the categorical semantics of elementary linear logic

Olivier Laurent, 269-301 abstract | dvi | ps | pdf

11. Enriched orthogonality and equivalences

M. Golasinski and L. Stramaccia, 302-312 abstract | dvi | ps | pdf

12. Weak distributive laws

Ross Street, 313-320 abstract | dvi | ps | pdf

13. An embedding theorem for Hilbert categories

Chris Heunen, 321-344 abstract | dvi | ps | pdf

14. Eventually cyclic spectra of parameterized flows

John F. Kennison, 345-375 abstract | dvi | ps | pdf

15. T-catégories représentables

Jacques Penon, 376-387 abstract | dvi | ps | pdf

16. Epimorphic covers make $R^+_G$ a site, for profinite $G$

Daniel G. Davis, 388-400 abstract | dvi | ps | pdf

17. Isbell duality for modules

Michael Barr, John F. Kennison, and R. Raphael, 401-419 abstract | dvi | ps | pdf

18. Higher-dimensional categories with finite derivation type

Yves Guiraud and Philippe Malbos, 420-478 abstract | pdf

19. A brief review of abelian categorifications

Mikhail Khovanov, Volodymyr Mazorchuk and Catharina Stroppel, 479-508 abstract | ps | pdf

20. Algebraic categories whose projectives are explicitly free

Matías Menni, 509-541 abstract | dvi | ps | pdf

21. Vector fields and flows on differentiable stacks

Richard Hepworth, 542-587 abstract | dvi | ps | pdf

22. Homotopical interpretation of globular complex by multipointed d-space

Philippe Gaucher, 588-621 abstract | dvi | ps | pdf

23. Cartesian differential categories

R.F. Blute, J.R.B. Cockett and R.A.G. Seely, 622-672 abstract | dvi | ps | pdf

Return to top.

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

Foreword

The guest editors, 1-6 dvi | ps | pdf

1. A convenient category for directed homotopy

L. Fajstrup and J. Rosicky, 7-20 abstract | dvi | ps | pdf

2. Limit preserving full embeddings

V. Trnkova and J. Sichler, 21-36 abstract | dvi | ps | pdf

3. Protolocalisations of exact Mal'cev categories

Francis Borceux, Marino Gran, Sandra Mantovani, 37-60 abstract | dvi | ps | pdf

4. Doubles for monoidal categories

Craig Pastro and Ross Street, 61-75 abstract | dvi | ps | pdf

5. Completions in biaffine sets

Elisabetta Felaco and Eraldo Giuli, 76-90 abstract | dvi | ps | pdf

6. Weakly Mal'cev categories

N. Martins-Ferreira, 91-117 abstract | dvi | ps | pdf

7. Extensions in the theory of lax algebras

Christoph Schubert and Gavin J. Seal, 118-151 abstract | dvi | ps | pdf

8. Approximate Mal'tsev operations

Dominique Bourn and Zurab Janelidze, 152-171 abstract | dvi | ps | pdf

9. Notes on effective descent and projectivity in quasivarieties of universal algebras

Ana Helena Roque, 172-181 abstract | dvi | ps | pdf

10. Descent for compact 0-dimensional spaces

George Janelidze and Manuela Sobral, 182-190 abstract | dvi | ps | pdf

11. Analytic functors and weak pullbacks

J. Adamek and J. Velebil, 191-209 abstract | dvi | ps | pdf

12. Relative injectivity as cocompleteness for a class of distributors

Maria Manuel Clementino and Dirk Hofmann, 210-230 abstract | dvi | ps | pdf

* The Editors of TAC wish to thank Maria Manuel Clementino, George Janelidze, Jiri Rosicky and Robert Rosebrugh who acted as guest editors for this special volume.

Return to top.

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

Editorial Notice: Max Kelly, 5 June 1930 - 26 January 2007

Ross Street, 1-4 pdf

1. Locally cartesian closed categories without chosen constructions

Erik Palmgren, 5-17 abstract | dvi | ps | pdf

2. Generalized Brown representability in homotopy categories: Erratum

Jiri Rosicky, 18-24 abstract | dvi | ps | pdf

3. Frobenius objects in cartesian bicategories

R.F.C Walters and R.J. Wood, 25-47 abstract | dvi | ps | pdf

4. Abelian groupoids and non-pointed additive categories

Dominique Bourn, 48-73 abstract | dvi | ps | pdf

5. Coherence for pseudodistributive laws revisited

F. Marmolejo and R. J. Wood, 74-84 abstract | dvi | ps | pdf

6. Balanced category theory

Claudio Pisani, 85-115 abstract | dvi | ps | pdf

7. Category-theoretic models of linear Abadi and Plotkin logic

Lars Birkedal and Rasmus E. Mogelberg and Rasmus L. Petersen, 116-151 abstract | dvi | ps | pdf

8. Kan extensions in double categories (On weak double categories, Part III)

Marco Grandis and Robert Paré, 152-185 abstract | dvi | ps | pdf

9. Fundamental pushout toposes

Marta Bunge, 186-214 abstract | dvi | ps | pdf

10. Algebraic real analysis

Peter Freyd, 215-306 abstract | dvi | ps | pdf

11. Star-autonomous functor categories

Jeff Egger, 307-333 abstract | dvi | ps | pdf

12. Colimits of representable algebra-valued functors

George M. Bergman, 334-404 abstract | dvi | ps | pdf

13. Quotients of unital $A_\infty$-categories

Volodymyr Lyubashenko and Oleksandr Manzyuk, 405-496 abstract | dvi | ps | pdf

14. Core varieties, extensivity, and rig geometry

F. William Lawvere, 497-503 abstract | dvi | ps | pdf

15. Isbell duality

Michael Barr, John F. Kennison, and R. Raphael, 504-542 abstract | dvi | ps | pdf

16. Cohomology theory in 2-categories

Hiroyuki Nakaoka, 542-604 abstract | dvi | ps | pdf

17. Propriétés universelles et extensions de Kan dérivées

Denis-Charles Cisinski, 605-649 abstract | dvi | ps | pdf

18. Framed bicategories and monoidal fibrations

Michael Shulman, 650-738 abstract | dvi | ps | pdf

Return to top.

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

Proceedings of the International Category Theory Conference, CT 2006

The organizers, 1-3 pdf

1. Exponentiability in homotopy slices of Top and pseudo-slices of Cat

Susan Niefield, 4-18 abstract | dvi | ps | pdf

2. Components, complements and the reflection formula

Claudio Pisani, 19-40 abstract | dvi | ps | pdf

3. Axiomatic cohesion

F. William Lawvere, 41-49 abstract | dvi | ps | pdf

4. Q-modules are Q-suplattices

Isar Stubbe, 50-60 abstract | dvi | ps | pdf

5. Iterative algebras: How iterative are they?

J. Adamek, R. Borger, S. Milius, and J. Velebil, 61-92 abstract | dvi | ps | pdf

6. Cartesian bicategories II

A. Carboni, G.M. Kelly, R.F.C. Walters, and R.J. Wood, 93-124 abstract | dvi | ps | pdf

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

1. Bicat is not triequivalent to Gray

Stephen Lack, 1-3 abstract | dvi | ps | pdf

2. Polarized category theory, modules, and game semantics

J.R.B. Cockett and R.A.G. Seely, 4-101 abstract | dvi | ps | pdf

3. Functional analysis on normed spaces: the Banach space comparison

M. Sioen and S. Verwulgen, 102-117 abstract | dvi | ps | pdf

4. On Yetter's invariant and an extension of the Dijkgraaf-Witten invariant to categorical groups

Joao Faria Martins and Timothy Porter, 118-150 abstract | dvi | ps | pdf

5. Pullback and finite coproduct preserving functors between categories of permutation representations: Corrigendum and addendum

Elango Panchadcharam and Ross Street, 151-156 abstract | dvi | ps | pdf

6. CCD lattices in presheaf categories

G. S. H. Cruttwell, F. Marmolejo and R.J. Wood, 157-171 abstract | dvi | ps | pdf

7. Monad compositions I: general constructions and recursive distributive laws

Ernie Manes and Philip Mulry, 172-208 abstract | dvi | ps | pdf

8. Quasi locally connected toposes

Marta Bunge and Jonathon Funk, 209-239 abstract | dvi | ps | pdf

9. More morphisms between bundle gerbes

Konrad Waldorf, 240-273 abstract | dvi | ps | pdf

10. Towards an n-category of cobordisms

Eugenia Cheng and Nick Gurski, 274-302 abstract | dvi | ps | pdf

11. The theory of core algebras: its completeness

Peter Freyd, 303-320 abstract | dvi | ps | pdf

12. Higher cospans and weak cubical categories (Cospans in algebraic topology, I)

Marco Grandis, 321-347 abstract | dvi | ps | pdf

13. Coherent unit actions on regular operads and Hopf algebras

Kurusch Ebrahimi-Fard and Li Guo, 348-371 abstract | dvi | ps | pdf

14. Dense morphisms of monads

Panagis Karazeris and Jiri Velebil, 372-399 abstract | dvi | ps | pdf

15. Enriched model categories and an application to additive endomorphism spectra

Daniel Dugger and Brooke Shipley, 400-439 abstract | dvi | ps | pdf

16. Nuclei of categories with tensor products

Alexei Davydov, 440-472 abstract | dvi | ps | pdf

17. Exploring the gap between linear and classical logic

Francois Lamarche, 473-535 abstract | dvi | ps | pdf

18. On the axiomatisation of Boolean categories with and without medial

Lutz Strassburger, 536-601 abstract | dvi | ps | pdf

19. Collared cospans, cohomotopy and TQFT (cospans in algebraic topology, II)

Marco Grandis, 602-630 abstract | dvi | ps | pdf

20. A universal property of the monoidal 2-category of cospans of ordinals and surjections

M. Menni, N. Sabadini and R. F. C. Walters, 631-653 abstract | dvi | ps | pdf

21. Quotients of tannakian categories

J.S. Milne, 654-664 abstract | dvi | ps | pdf

22. Familial 2-functors and parametric right adjoints

Mark Weber, 665-732 abstract | dvi | ps | pdf

Return to top.

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

Preface

The guest editors, 1-9 dvi | ps | pdf

1. The Chu construction: history of an idea

Michael Barr, 10-16 abstract | dvi | ps | pdf

2. Coherence of the double involution on *-autonomous categories

J.R.B. Cockett, M. Hasegawa and R.A.G. Seely, 17-29 abstract | dvi | ps | pdf

3. A Parigot-style linear $\lambda$-calculus for full intuitionistic linear

Valeria de Paiva and Eike Ritter, 30-48 abstract | dvi | ps | pdf

4. The Dialectica interpretation of first-order classical affine logic

Masaru Shirahata,49-79 abstract | dvi | ps | pdf

5. Approximable concepts, Chu spaces, and information systems

Guo-Qiang Zhang and Gongqin Shen, 79-102 abstract | dvi | ps | pdf

6. An extended view of the Chu-construction

Jurgen Koslowski, 103-126 abstract | dvi | ps | pdf

7. Dialectica and Chu constructions: cousins?

Valeria de Paiva, 127-152 abstract | dvi | ps | pdf

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

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.

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

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.

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.

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

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 | pdf | Xy-pic fonts

2. The Chu construction

Michael Barr, pp. 17-35 abstract | dvi | ps | | pdf | rsfs fonts

3. A counterexample to a conjecture of Barr

Sarah Whitehouse, pp. 36-39 abstract | dvi | dvi.Z | ps | ps.Z | pdf

4. An algebraic description of locally multipresentable categories

Jiri Adamek and Jiri Rosicky, pp. 40-53 abstract | dvi | dvi.Z | ps | ps.Z | pdf | rsfs fonts

5. Finiteness of a non-abelian tensor product of groups

N. Inassaridze, pp. 54-61 abstract | dvi | dvi.Z | ps | ps.Z | pdf

6. On quantic conuclei in orthomodular lattices

Leopoldo Roman and Rita E. ZuaZua, pp. 62-68 abstract | dvi | dvi.Z | ps | ps.Z | pdf

7. Combinatorics of curvature and the Bianchi identity

Anders Kock, pp. 69-89 abstract | dvi | dvi.Z | ps | ps.Z | pdf

8. Remarks on quintessential and persistent localizations

Peter T. Johnstone, pp. 90-99 abstract | dvi | dvi.Z | ps | ps.Z | pdf

9. Glueing analysis for complemented subtoposes

Anders Kock and Till Plewe, pp. 100-112 abstract | dvi | dvi.Z | ps | ps.Z | pdf

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

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

2. Functorial and algebraic properties of Brown's P functor

Luis-Javier Hernandez-Paricio, pp. 10-53 abstract | dvi | dvi.Z | ps | ps.Z | pdf

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 | pdf | Xy-pic fonts

4. Kan extensions along promonoidal functors

Brian Day and Ross Street, pp. 72-77 abstract | dvi | dvi.Z | ps | ps.Z | pdf

5. Symmetric monoidal categories model all connective spectra

R. W. Thomason, pp. 78-118 abstract | dvi | dvi.Z | ps | ps.Z | pdf | Xy-pic, Cyrillic fonts

6. Distributive adjoint strings

Robert Rosebrugh and R. J. Wood, pp. 119-145 abstract | dvi | dvi.Z | ps | ps.Z | pdf | Reference

7. A forbidden-suborder characterization of binarily-composable diagrams in double categories

Robert Dawson, pp. 146-153 abstract | dvi | dvi.Z | ps | ps.Z | pdf

8. Categorical data-specifications

Frank Piessens and Eric Steegmans, pp. 156-173 abstract | dvi | dvi.Z | ps | ps.Z | pdf | Xy-pic fonts

9. On the size of categories

Peter Freyd and Ross Street, pp. 174-181 abstract | dvi | dvi.Z | ps | ps.Z | pdf

© The Editors of Theory and Applications of Categories

Return to top.