Editors
Policy
Subscriptions

Authors - Submission Requirements

TAC Reprints

Cahiers Index

Search TAC

Vol. 33 - 2018
Vol. 32 - 2017
Vol. 31 - 2016
Vol. 30 - 2015
Vol. 29 - 2014
Vol. 28 - 2013
Vol. 27 - CT2011
Vol. 26 - 2012
Vol. 25 - 2011
Vol. 24 - 2010
Vol. 23 - Bourn Festschrift
Vol. 22 - 2009
Vol. 21 - Tholen Festschrift
Vol. 20 - 2008
Vol. 19 - CT2006
Vol. 18 - 2007
Vol. 17 - Chu spaces
Vol. 16 - 2006
Vol. 15 - CT2004
Vol. 14 - 2005
Vol. 13 - Carboni Festschrift
Vol. 12 - 2004
Vol. 11 - 2003
Vol. 10 - 2002
Vol. 9 - CT2000
Vol. 8 - 2001
Vol. 7 - 2000
Vol. 6 - Lambek Festschrift
Vol. 5 - 1999
Vol. 4 - 1998
Vol. 3 - 1997
Vol. 2 - 1996
Vol. 1 - 1995

Mirrors
Other

Home site - Canada

Theory and Applications of Categories

TAC logo


ISSN 1201 - 561X


Volume 33 - 2018

1. Spans of cospans in a topos
Daniel Cicala and Kenny Courser, 1-22
abstract | pdf

2. Actor of a crossed module of Leibniz algebras
José Manuel Casas, Rafael Fernández-Casado, Xabier García-Martínez, Emzar Khmaladze, 23-42
abstract | pdf

3. On fibrant objects in model categories
Valery Isaev, 43-66
abstract | pdf

4. Dualizing cartesian and cocartesian fibrations
Clark Barwick, Saul Glasman and Denis Nardin, 67-94
abstract | pdf

5. Contravariance through enrichment
Michael Shulman, 95-130
abstract | pdf

6. Spans of cospans
Daniel Cicala, 131-147
abstract | pdf

7. Regular patterns, substitudes, Feynman categories and operads
Michael Batanin, Joachim Kock, and Mark Weber, 148-192
abstract pdf


Volume 32 - 2017

1. A structure theorem for quasi-Hopf bimodule coalgebras
Daniel Bulacu, 1-30
abstract | pdf

2. Simplicial Nerve of an $A_\infty$-category
Giovanni Faonte, 31-52
abstract | pdf

3. C-systems defined by universe categories: presheaves
Vladimir Voevodsky, 53-112
abstract | pdf

4. The $(\Pi,\lambda)$-structures on the C-systems defined by universe categories
Vladimir Voevodsky, 113-121
abstract | pdf

5. Bourn-normal monomorphisms in regular Mal'tsev categories
Giuseppe Metere, 122-147
abstract | pdf

6. Homotopy theory for algebras over polynomial monads
M. A. Batanin and C. Berger, 148-253
abstract | pdf

7. A note on injective hulls of posemigroups
Changchun Xia, Shengwei Han, Bin Zhao, 254-257
abstract | pdf

8. Witt vectors and truncation posets
Vigleik Angeltveit, 258-285
abstract | pdf

9. Classifying tangent structures using Weil algebras
Poon Leung, 286-337
abstract | pdf

10. KZ-monadic categories and their logic
Jiri Adamek and Lurdes Sousa, 338-379
abstract | pdf

11. Corelations are the prop for extraspecial commutative Frobenius monoids
Brandon Coya and Brendan Fong, 380-395
abstract | pdf

12. Monoid-like definitions of cyclic operad
Jovana Obradovic, 396-436
abstract | pdf

13. Building a model category out of multiplier ideal sheaves
Seunghun Lee, 437-487
abstract | pdf

14. A categorical approach to Picard-Vessiot theory
Andreas Maurischat, 488-525
abstract | pdf

15. Epireflective subcategories and formal closure operators
Mathieu Duckerts-Antoine, Marino Gran, and Zurab Janelidze, 526-546
abstract | pdf

16. Algebraic databases
Patrick Schultz, David I. Spivak, Christina Vasilakopoulou, and Ryan Wisnesky, 547-619
abstract | pdf

17. The two out of three property in ind-categories and a convenient model category of spaces
Ilan Barnea, 620-651
abstract | pdf

18. Frobenius algebras and homotopy fixed points of group actions on bicategories
Jan Hesse, Christoph Schweigert, and Alessandro Valentino, 652-681
abstract | pdf

19. A presentation of bases for parametrized iterativity
Jiri Adamek, Stefan Milius and Jiri Velebil, 682-718
abstract | pdf

20. Closure operators in abelian categories and spectral spaces
Abhishek Banerjee, 719-735
abstract | pdf

21. Lax distributive laws for topology, II
Hongliang Lai, Lili Shen and Walter Tholen, 736-768
abstract | pdf

22. A property of effectivization and its uses in categorical logic
Vasileios Aravantinos-Sotiropoulos and Panagis Karazeris, 769-779
abstract | pdf

23. Levi categories and graphs of groups
Mark V. Lawson and Alistair R. Wallis, 780-802
abstract | pdf

24. Metric spaces and SDG
Anders Kock, 803-822
abstract | pdf

25. A unifying approach to the acyclic models method and other lifting lemmas
Leonard Guetta, 823-834
abstract | pdf

26. Connections in tangent categories
J.R.B. Cockett and G.S.H. Cruttwell, 835-888
abstract | pdf

27. Biextensions, bimonoidal functors, multilinear functor calculus, and categorical rings
Ettore Aldrovandi, 889-969
abstract | pdf

28. A Urysohn type lemma for groupoids
Madalina Roxana Buneci, 970-994
abstract | pdf

29. A bicategory of decorated cospans
Kenny Courser, 995-1027
abstract | pdf

30. The canonical 2-gerbe of a holomorphic vector bundle
Markus Upmeier, 1028-1049
abstract | pdf

31. Classifiers for monad morphisms and adjunction morphisms
Dimitri Zaganidis, 1050-1097
abstract | pdf

32. Free objects over posemigroups in the category PoSgr_v
Shengwei Han, Changchun Xia, Xiaojuan Gu, 1098-1106
abstract | pdf

33. Combinatorics of past-similarity in higher dimensional transition systems
Philippe Gaucher, 1107-1164
abstract | pdf

34. A Dold-Kan theorem for simplicial Lie algebras
P. Carrasco and A.M. Cegarra, 1165-1212
abstract | pdf

35. Localization of enriched categories and cubical sets
Tyler Lawson, 1213-1221
abstract | pdf

36. Coexponentiability and Projectivity: Rigs, Rings, and Quantales
S.B. Niefield and R.J. Wood, 1222-1228
abstract | pdf

37. Hopf polyads, Hopf categories and Hopf group monoids viewed as Hopf monads
Gabriella Böhm, 1229-1257
abstract | pdf

38. Fibered multiderivators and (co)homological descent
Fritz Hörmann, 1258-1362
abstract | pdf

39. Kan's combinatorial spectra and their sheaves revisited
Ruian Chen, Igor Kriz and Ales Pultr, 1363-1396
abstract | pdf

40. Operads and phylogenetic trees
John C. Baez and Nina Otter, 1396-1453
abstract | pdf

41. Topological properties of non-Archimedean approach spaces
Eva Colebunders and Karen Van Opdenbosch, 1454-1484
abstract | pdf

42. Mal'tsev objects, $R_1$-spaces and ultrametric spaces
Thomas Weighill, 1485-1500
abstract | pdf

43. Action representability via spans and prefibrations
J. R. A. Gray, 1501-1521
abstract | pdf

44. Approximate categorical structures
Abdelkrim Aliouche and Carlos Simpson, 1522-1562
abstract | pdf

45. Stability properties characterising n-permutable categories
Pierre-Alain Jacqmin, Diana Rodelo, 1563-1587
abstract | pdf

46. A characterization of the Huq commutator
Vaino Tuhafeni Shaumbwa, 1588-1600
abstract | pdf

Return to top.


Volume 31 - 2016

Table of contents also available in pdf format.

1. The Euler characteristic of an enriched category
Kazunori Noguchi and Kohei Tanaka, 1-30
abstract | pdf

2. The heart of a combinatorial model category
Zhen Lin Low, 31-62
abstract | pdf

3. On the magnitude of a finite dimensional algebra
Joseph Chuang, Alastair King and Tom Leinster, 63-72
abstract | pdf

4. A two-dimensional Birkhoff's theorem
Matej Dostal, 73-100
abstract | pdf

5. Enriched algebraic theories and monads for a system of arities
Rory B. B. Lucyshyn-Wright, 101-137
abstract | pdf

6. Relative symmetric monoidal closed categories I: Autoenrichment and change of base
Rory B. B. Lucyshyn-Wright, 138-174
abstract | pdf

7. Transfinite limits in topos theory
Moritz Kerz, 175-200
abstract | pdf

8. A characterization of central extensions in the variety of quandles
Valérian Even, Marino Gran and Andrea Montoli, 201-216
abstract | pdf

9. On biadjoint triangles
Fernando Lucatelli Nunes, 217-256
abstract | pdf

10. Some insights on bicategories of fractions: representations and compositions of 2-morphisms
Matteo Tommasini, 257-329
abstract | pdf

11. Stacks and sheaves of categories as fibrant objects, II
Alexandru E. Stanculescu, 330-364
abstract | pdf

12. Spectra of compact regular frames
Guram Bezhanishvili, David Gabelaia, Mamuka Jibladze, 365-383
abstract | pdf

13. A cotriple construction of a simplicial algebra used in the definition of higher Chow groups
Jason Polak, 384-387
abstract | pdf

14. Construction of categorical bundles from local data
Saikat Chatterjee, Amitabha Lahiri and Ambar N. Sengupta, 388-417
abstract | pdf

15. Partial linearity and partial natural Mal'tsevness
Dominique Bourn, 418-443
abstract | pdf

16. Relative internal actions
James Richard Andrew Gray and Tamar Janelidze-Gray, 444-461
abstract | pdf

17. Right delocalization of model categories
Bruce R Corrigan-Salter, 462-476
abstract | pdf

18. The morphism axiom for n-angulated categories
Emilie Arentz-Hansen, Petter Andreas Bergh and Marius Thaule, 477-483
abstract | pdf

19. The snail lemma
Enrico M. Vitale, 484-501
abstract | pdf

20. Linear structures on locales
Pedro Resende and Joao Paulo Santos, 502-541
abstract | pdf

21. Representation and character theory of finite categorical groups
Nora Ganter and Robert Usher, 542-570
abstract | pdf

22. Classical and relative realizability
Jaap van Oosten and Tingxiang Zou, 571-593
abstract | pdf

23. The linearity of traces in monoidal categories and bicategories
Kate Ponto and Michael Shulman, 594-689
abstract | pdf

24. The local Joyal model structure
Nicholas J. Meadows, 690-711
abstract | pdf

25. Homotopy locally presentable enriched categories
Stephen Lack and Jiri Rosicky, 712-754
abstract | pdf

26. Compact closed bicategories
Michael Stay, 755-798
abstract | pdf

27. Strict $\omega$-categories are monadic over polygraphs
Francois Metayer, 799-806
abstract | pdf

28. The Fermat functors
Enxin Wu, 807-832
abstract | pdf

29. Enriched Yoneda lemma
Vladimir Hinich, 833-838
abstract | pdf

30. Projectivity, continuity and adjointness: quantales, Q-posets and Q-modules
Susan Niefield, 839-851
abstract | pdf

31. Tannaka theory over sup-lattices and descent for topoi
Eduardo J. Dubuc and Martin Szyld, 852-906
abstract | pdf

32. On the representations of 2-groups in Baez-Crans 2-vector spaces
Benjamin A. Heredia and Josep Elgueta, 907-927
abstract | pdf

33. Compositories and gleaves
Cecilia Flori and Tobias Fritz, 928-988
abstract | pdf

34. On Evrard's homotopy fibrant replacement of a functor
Boris Shoikhet, 989-1015
abstract | pdf

35. Monads on dagger categories
Chris Heunen and Martti Karvonen, 1016-1043
abstract | pdf

36. Products of families of types and $(\Pi,\lambda)$-structures on C-systems
Vladimir Voevodsky, 1044-1094
abstract | pdf

37. A functorial approach to Dedekind completions and the representation of vector lattices and l-algebras by normal functions
G. Bezhanishvili, P. J. Morandi, B. Olberding, 1095-1133
abstract | pdf

38. Cosheafification
Andrei V. Prasolov, 1134-1175
abstract | pdf

Return to top.


Volume 30 - 2015

Table of contents also available in pdf format.

1. On strong homotopy for quasi-schemoids
Katsuhiko Kuribayashi, 1-14
abstract | pdf

2. Model categories with simple homotopy categories
Jean-Marie Droz and Inna Zakharevich, 15-39
abstract | pdf

3. Weak braided monoidal categories and their homotopy colimits
Mirjam Solberg, 40-48
abstract | pdf

4. Un théorème A de Quillen pour les 2-foncteurs lax
Jonathan Chiche, 49-85
abstract | pdf

5. Algebraic Kan extensions in double categories
Seerp Roald Koudenburg, 86-146
abstract | pdf

6. Bicategorical homotopy pullbacks
A.M. Cegarra, B.A. Heredia, J.Remedios, 147-205
abstract | pdf

7. Characteristic subobjects in semi-abelian categories
Alan S. Cigoli and Andrea Montoli, 206-228
abstract | pdf

8. Limit closures of classes of commutative rings
Michael Barr, John F. Kennison, R. Raphael, 229-304
abstract | pdf

9. Partial-sup lattices
Toby Kenney, 305-331
abstract | pdf

10. Lax formal theory of monads, monoidal approach to bicategorical structures and generalized operads
Dimitri Chikhladze, 332-386
abstract | pdf

11. A cocategorical obstruction to tensor products of Gray-categories
John Bourke and Nick Gurski, 387-409
abstract | pdf

12. Normalizers, centralizers and action accessibility
J. R. A. Gray, 410-432
abstract | pdf

13. Operadic definitions of weak $n$-category: coherence and comparisons
Thomas Cottrell, 433-488
abstract | pdf

14. Slicing sites and semireplete factorization systems
Thorsten Palm, 489-526
abstract | pdf

15. Notes on commutation of limits and colimits
Marie Bjerrum, Peter Johnstone, Tom Leinster, William F. Sawin, 527-532
abstract | pdf

16. Polynomials in categories with pullbacks
Mark Weber, 533-598
abstract | pdf

17. Extensive categories and the size of an orbit
Ernie Manes, 599-619
abstract | pdf

18. Cartesian differential storage categories
R. Blute, J.R.B. Cockett, and R.A.G. Seely, 620-686
abstract | pdf

19. The accessibility rank of weak equivalences
G. Raptis and J. Rosický, 687-703
abstract | pdf

20. A model structure on internal categories in simplicial sets
Geoffroy Horel, 704-750
abstract | pdf

21. Categories enriched over a quantaloid: Algebras
Qiang Pu and Dexue Zhang, 751-774
abstract | pdf

22. An algebraic definition of ($\infty$,n)-categories
Camell Kachour, 775-807
abstract | pdf

23. Reflexivity and dualizability in categorified linear algebra
Martin Brandenburg, Alexandru Chirvasitu, and Theo Johnson-Freyd, 808-835
abstract | pdf

24. Categories in control
John C. Baez and Jason Erbele, 836-881
abstract | pdf

25. Actions in modified categories of interest with application to crossed modules
Y. Boyaci, J. M. Casas, T. Datuashvili and E. O. Uslu, 882-908
abstract | pdf

26. Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness
F. W. Lawvere and M. Menni, 909-932
abstract | pdf

27. On the second cohomology categorical group and a Hochschild-Serre 2-exact sequence
A.R. Garzon and E.M. Vitale, 933-984
abstract | pdf

28. Skew-monoidal reflection and lifting theorems
Stephen Lack and Ross Street, 985-1000
abstract | pdf

29. Deligne groupoid revisited
Paul Bressler, Alexander Gorokhovsky, Ryszard Nest and Boris Tsygan, 1001-1016
abstract | pdf

30. Finite categories with pushouts
D. Tambara, 1017-1031
abstract | pdf

31. Reduced smooth stacks?
Giorgio Trentinaglia, 1032-1066
abstract | pdf

32. Cyclic homology arising from adjunctions
Niels Kowalzig, Ulrich Krähmer, and Paul Slevin, 1067-1095
abstract | pdf

33. Decorated cospans
Brendan Fong, 1096-1120
abstract | pdf

34. A note on transport of algebraic structures
Henrik Holm, 1121-1131
abstract | pdf

35. Generalized covering space theories
Jeremy Brazas, 1132-1162
abstract | pdf

36. Building a Model Category out of cofibrations and fibrations
Seunghun Lee, 1163-1180
abstract | pdf

37. A C-system defined by a universe category
Vladimir Voevodsky, 1181-1214
abstract | pdf

38. Intercategories
Marco Grandis and Robert Paré, 1215-1255
abstract | pdf

39. Stacks of Ann-Categories and their morphisms
Ettore Aldrovandi, 1256-1286
abstract | pdf

40. Segal group actions
Matan Prasma, 1287-1305
abstract | pdf

41. On reflective subcategories of locally presentable categories
J. Adamek and J. Rosicky, 1306-1318
abstract | pdf

42. Gauge invariant surface holonomy and monopoles
Arthur J. Parzygnat, 1319-1428
abstract | pdf

43. Transformation double categories associated to 2-group actions
Jeffrey C. Morton and Roger Picken, 1429-1468
abstract | pdf

44. Proximity biframes and compactifications of completely regular ordered spaces
Guram Bezhanishvili and Patrick J. Morandi, 1469-1500
abstract | pdf

45. $A_\infty$-morphisms with several entries
Volodymyr Lyubashenko, 1501-1551
abstract | pdf

46. Homotopy unital $A_\infty$-morphisms with several entries
Volodymyr Lyubashenko, 1552-1623
abstract | pdf

47. The waves of a total category
R.J. Wood, 1624-1646
abstract | pdf

48. Limits of abstract elementary classes
M. Lieberman, J. Rosicky, 1647-1658
abstract | pdf

49. Operads as polynomial 2-monads
Mark Weber, 1659-1712
abstract | pdf

50. Internal algebra classifiers as codescent objects of crossed internal categories
Mark Weber, 1713-1792
abstract | pdf

51. Algebras of open dynamical systems on the operad of wiring diagrams
Dmitry Vagner, David I. Spivak, and Eugene Lerman, 1793-1822
abstract | pdf

52. Mutation pairs and triangulated quotients
Zengqiang Lin and Minxiong Wang, 1823-1840
abstract | pdf

53. Profinite topological spaces
G. Bezhanishvili, D. Gabelaia, M. Jibladze, P. J. Morandi, 1841-1863
abstract | pdf

54. Algebraically coherent categories
Alan S. Cigoli, James R. A. Gray and Tim Van der Linden, 1864-1905
abstract | pdf

55. Groupoids in categories with pretopology
Ralf Meyer and Chenchang Zhu, 1906-1998
abstract | pdf

56. On the 3-representations of groups and the 2-categorical traces
Wei Wang, 1999-2047
abstract | pdf

Return to top.


Volume 29 - 2014

Table of contents also available in pdf format.

1. Some stability properties of epimorphism classes
Dali Zangurashvili, 1-16
abstract | pdf

2. Erratum to `Towards a homotopy theory of higher dimensional transition systems'
Philippe Gaucher, 17-20
abstract | pdf

3. On the image of the almost strict Morse n-category under almost strict n-functors
Sonja Hohloch, 21-47
abstract | pdf

4. Obvious natural morphisms of sheaves are unique
Ryan Cohen Reich, 48-99
abstract | pdf

5. Mapping Spaces of Gray-Categories
Björn Gohla, 100-187
abstract | pdf

6. Analytic spectrum of rig categories
Frederic Paugam, 188-197
abstract | pdf

7. A Galois theory for monoids
Andrea Montoli, Diana Rodelo and Tim Van der Linden, 198-214
abstract | pdf

8. Twisted actions of categorical groups
Saikat Chatterjee, Amitabha Lahiri, and Ambar N. Sengupta, 215-255
abstract | pdf

9. The theory and practice of Reedy categories
Emily Riehl and Dominic Verity, 256-301
abstract | pdf

10. Finite products in partial morphism categories
S.N. Hosseini, A.R. Shir Ali Nasab, 302-314
abstract | pdf

11. Duality in non-abelian algebra I. From cover relations to Grandis ex2-categories
Zurab Janelidze and Thomas Weighill, 315-331
abstract | pdf

12. On the infinity category of homotopy Leibniz algebras
David Khudaverdyan, Norbert Poncin, Jian Qiu, 332-370
abstract | pdf

13. Projective lines as groupoids with projection structure
Anders Kock, 371-388
abstract | pdf

14. Toward categorical risk measure theory
Takanori Adachi, 389-405
abstract | pdf

15. Topological functors as total categories
Richard Garner, 406-421
abstract | pdf

16. A Bayesian characterization of relative entropy
John C. Baez and Tobias Fritz, 422-456
abstract | pdf

17. Extending obstructions to noncommutative functorial spectra
Benno van den Berg and Chris Heunen, 457-474
abstract | pdf

18. Enriched factorization systems
Rory B. B. Lucyshyn-Wright, 475-495
abstract | pdf

19. Sequential multicategories
Claudio Pisani, 496-541
abstract | pdf

20. Continuous cohesion over sets
Matias Menni, 542-568
abstract | pdf

21. On deformations of pasting diagrams, II
Tej Shrestha and D. N. Yetter, 569-608
abstract | pdf

22. Realizable homotopy colimits
Beatriz Rodriguez Gonzalez, 609-634
abstract | pdf

23. Constructing model categories with prescribed fibrant objects
Alexandru E. Stanculescu, 635-653
abstract | pdf

24. Stacks and sheaves of categories as fibrant objects, I
Alexandru E. Stanculescu, 654-695
abstract | pdf

25. The weakly globular double category of fractions of a category
Simona Paoli, Dorette Pronk, 696-774
abstract | pdf

26. Diagrammatic characterisation of enriched absolute colimits
Richard Garner, 775-780
abstract | pdf

27. On pointwise Kan extensions in double categories
Seerp Roald Koudenburg, 781-818
abstract | pdf

28. A Serre-Swan theorem for gerbe modules on étale Lie groupoids
Christoph Schweigert, Christopher Tropp and Alessandro Valentino, 819-835
abstract | pdf

29. Bicategorical fibration structures and stacks
Dorette A. Pronk and Michael A. Warren, 836-873
abstract | pdf

30. More on geometric morphisms between realizability toposes
Eric Faber and Jaap van Oosten, 874-895
abstract | pdf

31. Completion, closure, and density relative to a monad, with examples in functional analysis and sheaf theory
Rory B. B. Lucyshyn-Wright, 896-928
abstract | pdf

32. Iterated icons
Eugenia Cheng and Nick Gurski, 929-977
abstract | pdf

Return to top.


Volume 28 - 2013

Table of contents also available in dvi or pdf format.

1. The monoidal structure of strictification
Nick Gurski, 1-23
abstract | dvi | ps | pdf

2. Free products of higher operad algebras
Mark Weber, 24-65
abstract | dvi | ps | pdf

3. Duality for distributive spaces
Dirk Hofmann, 66-122
abstract | dvi | ps | pdf

4. Semiunital semimonoidal categories (Applications to semirings and semicorings)
Jawad Abuhlail, 123-149
abstract | dvi | ps | pdf

5. On the monad of internal groupoids
Dominique Bourn, 150-165
abstract | dvi | ps | pdf

6. Tannaka duality and convolution for duoidal categories
Thomas Booker and Ross Street, 166-205
abstract | dvi | ps | pdf

7. Traced *-autonomous categories are compact closed
Tamás Hajgató and Masahito Hasegawa, 206-212
abstract | dvi | ps | pdf

8. Tightly bounded completions
Marta Bunge, 213-240
abstract | dvi | ps | pdf

9. Geometric morphisms of realizability toposes
Peter Johnstone, 241-249
abstract | dvi | ps | pdf

10. Diagonal model structures
J.F. Jardine, 250-268
abstract | dvi | ps | pdf

11. Homotopy theories of diagrams
J.F. Jardine, 269-303
abstract | dvi | ps | pdf

12. n-tuple groupoids and optimally coupled factorizations
Dany Majard, 304-331
abstract | pdf

13. Codensity and the ultrafilter monad
Tom Leinster, 332-370
abstract | dvi | ps | pdf

14. No-iteration pseudomonads
F. Marmolejo and R.J. Wood, 371-402
abstract | dvi | ps | pdf

15. Tensors, monads and actions
Gavin J. Seal, 403-434
abstract | dvi | ps | pdf

16. Bounded Archimedean l-algebras and Gelfand-Neumark-Stone duality
Guram Bezhanishvili, Patrick J. Morandi, Bruce Olberding, 435-475
abstract | dvi | ps | pdf

17. Connections on non-Abelian gerbes and their holonomy
Urs Schreiber and Konrad Waldorf, 476-540
abstract | dvi | ps | pdf

18. Subgroupoids and quotient theories
Henrik Forssell, 541-551
abstract | dvi | ps | pdf

19. Sur les types d'homotopie modélisés par les $\infty$-groupoides stricts
Dimitri Ara, 552-576
abstract | dvi | ps | pdf

20. Categories enriched over a quantaloid: Isbell adjunctions and Kan adjunctions
Lili Shen and Dexue Zhang, 577-615
abstract | dvi | ps | pdf

21. Enriched indexed categories
Michael Shulman, 616-695
abstract | dvi | ps | pdf

22. Tight spans, Isbell completions and semi-tropical modules
Simon Willerton, 696-732
abstract | pdf

23. The algebra of the nerves of omega-categories
Richard Steiner, 733-779
abstract | dvi | ps | pdf

24. Complicial structures in the nerves of omega-categories
Richard Steiner, 780-803
abstract | dvi | ps | pdf

25. Multitensor lifting and strictly unital higher category theory
Michael Batanin, Denis-Charles Cisinski and Mark Weber, 804-856
abstract | dvi | ps | pdf

26. Multitensors as monads on categories of enriched graphs
Mark Weber, 857-932
abstract | dvi | ps | pdf

27. A double categorical model of weak 2-categories
Simona Paoli and Dorette Pronk, 933-980
abstract | dvi | ps | pdf

28. Forms and exterior differentiation in Cartesian differential categories
G.S.H. Cruttwell, 981-1001
abstract | dvi | ps | pdf

29. Relative Mal'tsev categories
Tomas Everaert, Julia Goedecke, Tamar Janelidze-Gray and Tim Van der Linden, 1002-1021
abstract | dvi | ps | pdf

30. On theories of superalgebras of differentiable functions
David Carchedi and Dmitry Roytenberg, 1022-1098
abstract | dvi | ps | pdf

31. Tannaka--Krein duality for compact quantum homogeneous spaces. I. General theory
Kenny De Commer and Makoto Yamashita, 1099-1138
abstract | dvi | ps | pdf

32. The Gleason cover of a realizability topos
Peter Johnstone, 1139-1152
abstract | dvi | ps | pdf

33. Galois theories of commutative semigroups via semilattices
Isabel A. Xarez and Joao J. Xarez, 1153-1169
abstract | dvi | ps | pdf

Return to top.


Volume 27 - CT2011*

A special volume of articles from the CT2011 Conference

Table of contents also available in dvi or pdf format.

Introduction
The guest editors, 1
dvi | ps | pdf

1. Remarks on exactness notions pertaining to pushouts
Richard Garner, 2-9
abstract | dvi | ps | pdf

2. Exponentiability via double categories
Susan Niefield, 10-26
abstract | dvi | ps | pdf

3. On the axioms for adhesive and quasiadhesive categories
Richard Garner and Stephen Lack, 27-46
abstract | dvi | ps | pdf

4. The core of adjoint functors
Ross Street, 47-64
abstract | dvi | ps | pdf

5. Weakly Mal'tsev categories and strong relations
Zurab Janelidze and Nelson Martins-Ferreira, 65-79
abstract | dvi | ps | pdf

6. Symmetry of regular diamonds, the Goursat property, and subtractivity
Marino Gran, Zurab Janelidze, Diana Rodelo and Aldo Ursini, 80-96
abstract | dvi | ps | pdf

7. Exact completions and small sheaves
Michael Shulman, 97-173
abstract | dvi | ps | pdf

8. The Ursini commutator as normalized Smith-Pedicchio commutator
Sandra Mantovani, 174-188
abstract | dvi | ps | pdf

9. Higher central extensions via commutators
Diana Rodelo and Tim Van der Linden, 189-209
abstract | dvi | ps | pdf

10. Descent in monoidal categories
Bachuki Mesablishvili, 210-221
abstract | dvi | ps | pdf

11. The *-autonomous category of uniform sup semi-lattices
Michael Barr, John F. Kennison, and R. Raphael, 222-241
abstract | dvi | ps | pdf

12. Lawvere completeness as a topological property
Serdar Sozubek, 242-262
abstract | dvi | ps | pdf

13. Generalized Hopf modules for bimonads
Marcelo Aguiar and Stephen U. Chase, 263-326
abstract | dvi | ps | pdf

14. Proper maps for lax algebras and the Kuratowski-Mrówka theorem
Maria Manuel Clementino and Walter Tholen, 327-346
abstract | dvi | ps | pdf

15. On actions and strict actions in homological categories
Manfred Hartl and Bruno Loiseau, 347-392
abstract | dvi | ps | pdf

16. Composition of modules for lax functors
Robert Paré, 393-444
abstract | dvi | ps | pdf

17. Elementary quotient completion
Maria Emilia Maietti and Giuseppe Rosolini, 445-463
abstract | dvi | ps | pdf

18. An equational metalogic for monadic equational systems
Marcelo Fiore, 464-492
abstract | dvi | ps | pdf

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

Return to top.


Volume 26 - 2012

Table of contents also available in dvi or pdf format.

1. Kan extensions and lax idempotent pseudomonads
F. Marmolejo and R.J. Wood, 1-29
abstract | dvi | ps | pdf

2. On the iteration of weak wreath products
Gabriella Böhm, 30-59
abstract | dvi | ps | pdf

3. On diagram-chasing in double complexes
George M. Bergman, 60-96
abstract | dvi | ps | pdf

4. Commutative monads as a theory of distributions
Anders Kock, 97-131
abstract | dvi | ps | pdf

5. Closed categories vs. closed multicategories
Oleksandr Manzyuk, 132-175
abstract | dvi | ps | pdf

6. Syntactic characterizations of properties of classifying toposes
Olivia Caramello, 176-193
abstract | dvi | ps | pdf

7. Note on star-autonomous comonads
Craig Pastro, 194-203
abstract | dvi | ps | pdf

8. A characterization of representable intervals
Michael A. Warren, 204-232
abstract | dvi | ps | pdf

9. Graphical Methods for Tannaka duality of weak bialgebras and weak Hopf algebras
Micah Blake McCurdy, 232-280
abstract | pdf

10. Notes on Bimonads and Hopf Monads
Bachuki Mesablishvili and Robert Wisbauer, 281-303
abstract | dvi | ps | pdf

11. The coalgebraic structure of cell complexes
Thomas Athorne, 304-330
abstract | dvi | ps | pdf

12. Congruences of Morita equivalent small categories
Valdis Laan, 331-337
abstract | dvi | ps | pdf

13. Injective hulls of partially ordered monoids
J. Lambek, Michael Barr, John F. Kennison, R. Raphael, 338-348
abstract | dvi | ps | pdf

14. Biequivalences in tricategories
Nick Gurski, 349-384
abstract | dvi | ps | pdf

15. Skew monoidales, skew warpings and quantum categories
Stephen Lack and Ross Street, 385-402
abstract | dvi | ps | pdf

16. A presheaf interpretation of the generalized Freyd conjecture
Anna Marie Bohmann and J. P. May, 403-411
abstract | dvi | ps | pdf

17. Range categories I: General theory
J.R.B. Cockett, Xiuzhan Guo and Pieter Hofstra, 412-452
abstract | dvi | ps | pdf

18. Range categories II: Towards regularity
J.R.B. Cockett, Xiuzhan Guo and Pieter Hofstra, 453-500
abstract | dvi | ps | pdf

19. Opetopes and chain complexes
Richard Steiner, 501-519
abstract | pdf

20. Modeling stable one-types
Niles Johnson, Angélica M. Osorno, 520-537
abstract | dvi | ps | pdf

21. Yoneda representations of flat functors and classifying toposes
Olivia Caramello, 538-553
abstract | dvi | ps | pdf

22. Bimonadicity and the explicit basis property
Matias Menni, 554-581
abstract | dvi | ps | pdf

23. Duality and traces for indexed monoidal categories
Kate Ponto and Michael Shulman, 582-659
abstract | pdf

24. Isotropy and crossed toposes
Jonathon Funk, Pieter Hofstra and Benjamin Steinberg, 660-709
abstract | dvi | ps | pdf

25. Site characterizations for geometric invariants of toposes
Olivia Caramello, 710-728
abstract | dvi | ps | pdf

26. Span, cospan, and other double categories
Susan Niefield, 729-742
abstract | dvi | ps | pdf

27. Tangled circuits
R. Rosebrugh, N. Sabadini and R. F. C. Walters, 743-767
abstract | dvi | ps | pdf

28. Décalage and Kan's simplicial loop group functor
Danny Stevenson, 768-787
abstract | dvi | ps | pdf

29. Internal categories, anafunctors and localisations
David Michael Roberts, 788-829
abstract | dvi | ps | pdf

Return to top.


Volume 25 - 2011

Table of contents also available in dvi or pdf format.

1. A category of quantum categories
Dimitri Chikhladze, 1-37
abstract | dvi | ps | pdf

2. A remark about the Connes fusion tensor product
Andreas Thom, 38-50
abstract | dvi | ps | pdf

3. Remarks on punctual local connectedness
Peter Johnstone, 51-63
abstract | dvi | ps | pdf

4. Comparative smootheology
Andrew Stacey, 64-117
abstract | dvi | ps | pdf

5. Monoidal functor categories and graphic Fourier transforms
Brian J. Day, 118-141
abstract | dvi | ps | pdf

6. Reflective-coreflective equivalence
Erik Bédos, S. Kaliszewski, and John Quigg, 142-179
abstract | dvi | ps | pdf

7. An embedding theorem for adhesive categories
Stephen Lack, 180-188
abstract | dvi | ps | pdf

8. Model-categories of coalgebras over operads
Justin R. Smith, 189-246
abstract | dvi | ps | pdf

9. A small observation on co-categories
Peter LeFanu Lumsdaine, 247-250
abstract | dvi | ps | pdf

10. Higher categorified algebras versus bounded homotopy algebras
David Khudaverdyan, Ashis Mandal, and Norbert Poncin, 250-275
abstract | dvi | ps | pdf

11. Symmetry and Cauchy completion of quantaloid-enriched categories
Hans Heymans and Isar Stubbe, 276-294
abstract | dvi | ps | pdf

12. Towards a homotopy theory of higher dimensional transition systems
Philippe Gaucher, 294-341
abstract | dvi | ps | pdf

13. Covariant presheaves and subalgebras
Ulrich Höhle, 342-367
abstract | dvi | ps | pdf

14. On involutive monoidal categories
J.M. Egger, 368-393
abstract | dvi | ps | pdf

15. The Faà di Bruno construction
J.R.B. Cockett and R.A.G. Seely, 394-425
abstract | dvi | ps | pdf

16. Semidirect products and crossed modules in varieties of right $\Omega$-loops
Edward B. Inyangala, 426-435
abstract | dvi | ps | pdf

17. Yoneda theory for double categories
Robert Paré, 436-489
abstract | dvi | ps | pdf

18. Flows: cocyclic and almost cocyclic
Michael Barr, John F. Kennison, and R. Raphael, 490-507
abstract | dvi | ps | pdf

19. Countable meets in coherent spaces with applications to the cyclic spectrum
Michael Barr, John F. Kennison, and R. Raphael, 508-532
abstract | dvi | ps | pdf

20. On reflective-coreflective equivalence and associated pairs
Erik Bédos, S. Kaliszewski, and John Quigg, 533-536
abstract | dvi | ps | pdf

21. Differential restriction categories
J.R.B. Cockett, G.S.H. Cruttwell, and J. D. Gallagher, 537-613
abstract | dvi | ps | pdf

22. Symbolic dynamics and the category of graphs
Terrence Bisson and Aristide Tsemo, 614-640
abstract | dvi | ps | pdf

Return to top.


Volume 24 - 2010

Table of contents also available in dvi or pdf format.

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

18. Higher Dimensional Algebra VII: Groupoidification
John C. Baez, Alexander E. Hoffnung, and Christopher D. Walker, 489-553
abstract | dvi | ps | pdf

19. Hopf monoidal comonads
Dimitri Chikhladze, Stephen Lack, and Ross Street, 554-563
abstract | dvi | ps | pdf

20. Strictification of categories weakly enriched in symmetric monoidal categories
Bertrand J. Guillou, 564-579
abstract | dvi | ps | pdf

21. A unified framework for generalized multicategories
G.S.H. Cruttwell and Michael A. Shulman, 580-655
abstract | dvi | ps | pdf

Return to top.


Volume 23 - The Bourn Festschrift*

A special volume dedicated to Dominique Bourn on the occasion of his 60'th birthday.

Table of contents also available in dvi or pdf format.

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.


Volume 22 - 2009

Table of contents also available in dvi or pdf format.

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.


Volume 21 - The Tholen Festschrift*

A special volume dedicated to Walter Tholen on the occasion of his 60'th birthday.

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

Foreword
The guest editors, 1-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.


Volume 20 - 2008

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.


Volume 19 - CT2006

A special volume of articles from the CT2006 Conference

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


Volume 18 - 2007

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.


Volume 17 - Chu spaces: theory and applications*

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.


Volume 16 - 2006

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

1. Monads of effective descent type and comonadicity
Bachuki Mesablishvili, 1-45
abstract | dvi | ps | pdf

2. Action groupoid in protomodular categories
Dominique Bourn, 46-58
abstract | dvi | ps | pdf

3. Inverting weak dihomotopy equivalence using homotopy continuous flow
Philippe Gaucher, 59-83
abstract | dvi | ps | pdf

4. Frobenius algebras and ambidextrous adjunctions
Aaron D. Lauda, 84-122
abstract | dvi | ps | pdf

5. Every Grothendieck topos has a one-way site
Colin McLarty, 123-126
abstract | dvi | ps | pdf

6. Points of affine categories and additivity
A. Carboni and G. Janelidze, 127-131
abstract | dvi | ps | pdf

7. Preserving homology
Michael Barr, 132-143
abstract | dvi | ps | pdf

8. Thin fillers in the cubical nerves of omega-categories
Richard Steiner, 144-173
abstract | dvi | ps | pdf

9. Free A_\infty-categories
Volodymyr Lyubashenko and Oleksandr Manzyuk, 174-205
abstract | dvi | ps | pdf

10. A characterization of quantic quantifiers in orthomodular lattices
Leopoldo Román, 206-217
abstract | dvi | ps | pdf

11. Exponentiability in lax slices of Top
Susan Niefield, 218-235
abstract | dvi | ps | pdf

12. Closedness properties of internal relations I: A unified approach to Mal'tsev, unital and subtractive categories
Zurab Janelidze, 236-261
abstract | dvi | ps | pdf

13. Closedness properties of internal relations II: Bourn localization
Zurab Janelidze, 262-282
abstract | dvi | ps | pdf

14. Categorical structures enriched in a quantaloid: tensored and cotensored categories
Isar Stubbe, 283-306
abstract | dvi | ps | pdf

15. Stable meet semilattice fibrations and free restriction categories
J.R.B. Cockett and Xiuzhan Guo, 307-341
abstract | dvi | ps | pdf

16. TFT Construction of RCFT correlators V: Proof of modular invariance and factorisation
Jens Fjelstad, Jurgen Fuchs, Ingo Runkel and Christoph Schweigert, 342-433
abstract | ps | pdf

17. Spectra of finitely generated Boolean flows
John F. Kennison, 434-459
abstract | dvi | ps | pdf

18. Paths in double categories
R. J. MacG. Dawson, R. Paré, and D. A. Pronk, 460-521
abstract | dvi | ps | pdf

19. Numerology in topoi
Peter Freyd, 522-528
abstract | dvi | ps | pdf

20. Categorical representations of categorical groups
John W. Barrett and Marco Mackaay, 529-557
abstract | dvi | ps | pdf

21. Compactifications, C(X) and ring epimorphisms
W.D. Burgess and R. Raphael, 558-584
abstract | dvi | ps | pdf

22. On categorical crossed modules
P. Carrasco, A.R. Garzon and E.M. Vitale, 585-618
abstract | dvi | ps | pdf

23. Equivalence of 2D-multitopic category and ana-bicategory
Param Jyothi Reddy R, 619-667
abstract | ps | pdf

24. Descent for monads
Pieter Hofstra and Federico De Marchi, 668-699
abstract | dvi | ps | pdf

25. Topological *-autonomous categories
Michael Barr, 700-708
abstract | dvi | ps | pdf

26. Quotient models of a category up to directed homotopy
Marco Grandis, 709-735
abstract | dvi | ps | pdf

27. Categories of components and loop-free categories
Emmanuel Haucourt, 736-770
abstract | pdf

28. Pullback and finite coproduct preserving functors between categories of permutation representations
Elango Panchadcharam and Ross Street, 771-784
abstract | dvi | ps | pdf

29. Categorified algebra and quantum mechanics
Jeffrey Morton, 785-854
abstract | ps | pdf

30. A cohomological description of connections and curvature over posets
John E. Roberts and Giuseppe Ruzzi, 855-895
abstract | dvi | ps | pdf

31. Generating families in a topos
Toby Kenney, 896-922
abstract | dvi | ps | pdf

32. Copower objects and their applications to finiteness in topoi
Toby Kenney, 923-956
abstract | dvi | ps | pdf

Return to top.


Volume 15 - CT2004*

A special volume of articles from the CT2004 Conference

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.


Volume 14 - 2005

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

1. Categorical structures enriched in a quantaloid: categories, distributors and functors
Isar Stubbe, 1-45
abstract | dvi | ps | pdf

2. On essential ring embeddings and the epimorphic hull of C(X)
R. Raphael, R.G. Woods, 46-52
abstract | dvi | ps | pdf

3. Absolute homology
Michael Barr, 53-59
abstract | dvi | ps | pdf

4. Thin elements and commutative shells in cubical omega-categories
Philip J. Higgins, 60-74
abstract | dvi | ps | pdf

5. Adjunction models for call-by-push-value with stacks
Paul Blain Levy, 75-110
abstract | dvi | ps | pdf

6. Abstract physical traces
Samson Abramsky and Bob Coecke, 111-124
abstract | ps | pdf

7. A monadic approach to polycategories
Juergen Koslowski, 125-156
abstract | dvi | ps | pdf

8. Introduction to coalgebra
Jiri Adamek, 157-199
abstract | dvi | ps | pdf

9. A homotopy double groupoid of a Hausdorff space II: a van Kampen theorem
R. Brown, K.H. Kamps, and T. Porter, 200-220
abstract | dvi | ps | pdf

10. Canonical and op-canonical lax algebras
Gavin J. Seal, 221-243
abstract | dvi | ps | pdf

11. On the representability of actions in a semi-abelian category
F. Borceux, G. Janelidze and G.M. Kelly, 244-286
abstract | dvi | ps | pdf

12. Groupoid enriched categories and natural systems
Teimuraz Pirashvili, 287-293
abstract | dvi | ps | pdf

13. Every group is representable by all natural transformations of some set-functor
Libor Barto and Petr Zima, 294-309
abstract | dvi | ps | pdf

14. Classification of concrete geometrical categories
Yves Diers, 310-327
abstract | dvi | ps | pdf

15. Localic completion of generalized metric spaces I
Steven Vickers, 328-356
abstract | dvi | ps | pdf

16. Enlargements of categories
Lars Brünjes, Christian Serpé, 357-398
abstract | dvi | ps | pdf

17. Notes on enriched categories with colimits of some class
G.M. Kelly and V. Schmitt, 399-423
abstract | dvi | ps | pdf

18. Birkhoff's variety theorem with and without free algebras
Jiri Adamek and Vera Trnkova, 424-450
abstract | dvi | ps | pdf

19. Generalized Brown representability in homotopy categories
Jiri Rosicky, 451-479
abstract | dvi | ps | pdf

Return to top.


Volume 13 - The Carboni Festschrift*

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

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

Foreword
The guest editors, 1-4
dvi | ps | pdf

1. On von Neumann varieties
F. Borceux and J. Rosicky, 5-26
abstract | dvi | ps | pdf

2. Commutator theory in strongly protomodular categories
Dominique Bourn, 27-40
abstract | dvi | ps | pdf

3. On extensions of lax monads
Maria Manuel Clementino and Dirk Hofmann
abstract | dvi | ps | pdf

4. Universal properties of Span
R.J.MacG. Dawson, R. Pare and D.A. Pronk, 61-85
abstract | dvi | ps | pdf

5. Derivations of categorical groups
A.R. Garzon, H. Inassaridze and A. del Rio, 86-105
abstract | dvi | ps | pdf

6. Semi-abelian monadic categories
Marino Gran and Jiri Rosicky, 106-113
abstract | dvi | ps | pdf

7. Normed combinatorial homology and noncommutative tori
Marco Grandis, 114-128
abstract | dvi | ps | pdf

8. Coalgebras, braidings, and distributive laws
Stefano Kasangian, Stephen Lack, and Enrico M. Vitale, 129-146
abstract | dvi | ps | pdf

9. Composing PROPs
Stephen Lack, 147-163
abstract | dvi | ps | pdf

10. Functorial concepts of complexity for finite automata
F. William Lawvere, 164-168
abstract | dvi | ps | pdf

11. Every small Sl-enriched category is Morita equivalent to an Sl-monoid
Bachuki Mesablishvili, 169-171
abstract | dvi | ps | pdf

12. Split structures
Robert Rosebrugh and R.J. Wood, 172-183
abstract | dvi | ps | pdf

13. The monoidal centre as a limit
Ross Street, 184-190
abstract | dvi | ps | pdf

14. Generic morphisms, parametric representations and weakly cartesian monads
Mark Weber, 191-234
abstract | dvi | ps | pdf

15. Internal monotone-light factorization for categories via preorders
Joao Xarez, 235-251
abstract | dvi | ps | pdf

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

Return to top.


Volume 12 - 2004

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

1. Baer invariants in semi-abelian categories I: General theory
T. Everaert and T. Van der Linden, 1-33
abstract | dvi | ps | pdf

2. Simplicial approximation
J.F. Jardine, 34-72
abstract | dvi | ps | pdf

3. Operads in higher-dimensional category theory
Tom Leinster, 73-194
abstract | dvi | ps | pdf

4. Baer invariants in semi-abelian categories II: Homology
T. Everaert and T. Van der Linden, 195-224
abstract | dvi | ps | pdf

5. Notions of flatness relative to a Grothendieck topology
Panagis Karazeris, 225-236
abstract | dvi | ps | pdf

6. Moore categories
Diana Rodelo, 237-247
abstract | dvi | ps | pdf

7. Change of base for relational variable sets
Susan Niefield, 248-261
abstract | dvi | ps | pdf

8. On subgroups of the Lambek pregroup
Michael Barr, 262-269
abstract | dvi | ps | pdf

9. Algebraically closed and existentially closed substructures in categorical context
Michel Hebert, 269-298
abstract | dvi | ps | pdf

10. Vertically iterated classical enrichment
Stefan Forcey, 299-325
abstract | dvi | ps | pdf

11. Several constructions for factorization systems
Dali Zangurashvili, 326-354
abstract | dvi | ps | pdf

12. K-purity and orthogonality
Michel Hebert, 355-371
abstract | dvi | ps | pdf

13. The double powerlocale and exponentiation: A case study in geometric logic
Steven Vickers, 372-422
abstract | dvi | ps | pdf

14. Higher-dimensional algebra V: 2-Groups
John C. Baez and Aaron D. Lauda, 423-491
abstract | dvi | ps | pdf

15. Higher-dimensional algebra VI: Lie 2-algebras
John C. Baez and Alissa S. Crans, 492-538
abstract | dvi | ps | pdf

Return to top.


Volume 11 - 2003

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

1. Categorical models and quasigroup homotopies
George Voutsadakis, 1-14
abstract | dvi | ps | pdf

2. Morphisms and modules for poly-bicategories
J.R.B. Cockett, J. Koslowski, and R.A.G. Seely, 15-74
abstract | dvi | ps | pdf

3. The branching nerve of HDA and the Kan condition
Philippe Gaucher, 75-106
abstract | dvi | ps | pdf

4. Isomorphisms between left and right adjoints
H. Fausk, P. Hu, and J.P. May, 107-131
abstract | dvi | ps | pdf

5. The Wirthmuller isomorphism revisited
J.P. May, 132-142
abstract | dvi | ps | pdf

6. Characterization of protomodular varieties of universal algebras
Dominique Bourn and George Janelidze, 143-147
abstract | dvi | ps | pdf

7. Resolutions by polygraphs
François Métayer, 148-184
abstract | dvi | ps | pdf

8. Cubical sets and their site
Marco Grandis and Luca Mauri, 185-211
abstract | dvi | ps | pdf

9. Characterization of pointed varieties of universal algebras with normal projections
Zurab Janelidze, 212-214
abstract | dvi | ps | pdf

10. Some algebraic applications of graded categorical group theory
A.M. Cegarra and A.R. Garzon, 215-251
abstract | dvi | ps | pdf

11. Continuous categories revisited
J. Adamek, F. W. Lawvere, J. Rosicky, 252-282
abstract | dvi | ps | pdf

12. Ring epimorphisms and C(X)
Michael Barr, W.D. Burgess and R. Raphael, 283-308
abstract | dvi | ps | pdf

13. Partial toposes
Jean Bénabou and Thomas Streicher, 309-320
abstract | dvi | ps | pdf

14. Some calculus with extensive quantities: wave equation
Anders Kock and Gonzalo E. Reyes, 321-336
abstract | dvi | ps | pdf

15. Exponentiability in categories of lax algebras
Maria Manuel Clementino, Dirk Hofmann and Walter Tholen, 337-352
abstract | dvi | ps | pdf

16. The category of opetopes and the category of opetopic sets
Eugenia Cheng, 353-374
abstract | dvi | ps | pdf

17. Modules
J.R.B. Cockett, J. Koslowski, R.A.G. Seely, and R.J. Wood, 375-396
abstract | dvi | ps | pdf

18. Symmetric monoidal completions and the exponential principle among labeled combinatorial structures
Matias Menni, 397-419
abstract | dvi | ps | pdf

19. Composition-representative subsets
Gary Griffing, 420-437
abstract | dvi | ps | pdf

20. The strong amalgamation property and (effective) codescent morphisms
Dali Zangurashvili, 438-449
abstract | dvi | ps | pdf

Return to top.


Volume 10 - 2002

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

1. A survey of definitions of n-category
Tom Leinster, 1-70
abstract | dvi | dvi.gz | ps | ps.gz | pdf

2. A homotopy double groupoid of a Hausdorff space
Ronald Brown, Keith A. Hardie, Klaus Heiner Kamps, Timothy Porter, 71-93
abstract | dvi | dvi.gz | ps | ps.gz | pdf

3. Entity-relationship-attribute designs and sketches
Michael Johnson, Robert Rosebrugh and R.J. Wood, 94-112
abstract | dvi | dvi.gz | ps | ps.gz | pdf

4. Homology of Lie algebras with $\Lambda/q\Lambda$ coefficients and exact sequences
Emzar Khmaladze, 113-126
abstract | dvi | dvi.gz | ps | ps.gz | pdf

5. Exponentiability of perfect maps: four approaches
Susan Niefield, 127-133
abstract | dvi | dvi.gz | ps | ps.gz | pdf

6. Coherence for factorization algebras
Robert Rosebrugh and R.J. Wood, 134-147
abstract | dvi | dvi.gz | ps | ps.gz | pdf

7. More on injectivity in locally presentable categories
J. Rosicky, J. Adamek and F. Borceux, 148-161
abstract | dvi | dvi.gz | ps | ps.gz | pdf

8. Colocalizations and their realizations as spectra
Friedrich W. Bauer, 162-179
abstract | dvi | dvi.gz | ps | ps.gz | pdf

9. On some properties of pure morphisms of commutative rings
Bachuki Mesablishvili, 180-186
abstract | dvi | dvi.gz | ps | ps.gz | pdf

10. Change of base, Cauchy completeness and reversibility
Anna Labella and Vincent Schmitt, 187-219
abstract | dvi | dvi.gz | ps | ps.gz | pdf

11. Derived operations in Goguen categories
Michael Winter, 220-247
abstract | dvi | dvi.gz | ps | ps.gz | pdf

12. Sober spaces and continuations
Paul Taylor, 248-300
abstract | dvi | dvi.gz | ps | ps.gz | pdf

13. Subspaces in abstract Stone duality
Paul Taylor, 301-368
abstract | dvi | dvi.gz | ps | ps.gz | pdf

14. Directed homotopy theory, II. Homotopy constructs
Marco Grandis, 369-391
abstract | dvi | dvi.gz | ps | ps.gz | pdf

15. The cyclic spectrum of a Boolean flow
John F. Kennison, 392-409
abstract | dvi | dvi.gz | ps | ps.gz | pdf

16. Simultaneously reflective And coreflective subcategories of presheaves
Robert El Bashir and Jiri Velebil, 410-423
abstract | dvi | dvi.gz | ps | ps.gz | pdf

17. Entropic Hopf algebras and models of non-commutative logic
Richard F. Blute, Francois Lamarche, Paul Ruet, 424-460
abstract | dvi | dvi.gz | ps | ps.gz | pdf

18. HSP subcategories of Eilenberg-Moore algebras
Michael Barr, 461-468
abstract | dvi | dvi.gz | ps | ps.gz | pdf

19. Opmonoidal monads
Paddy McCrudden, 469-485
abstract | dvi | dvi.gz | ps | ps.gz | pdf

20. A duality relative to a limit doctrine
C. Centazzo and E.M. Vitale, 486-497
abstract | dvi | dvi.gz | ps | ps.gz | pdf

Return to top.


Volume 9 - CT2000*

A special volume of articles from the CT2000 Conference

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

1. Infinitesimal aspects of the Laplace operator
Anders Kock, 1-16
abstract | dvi | dvi.gz | ps | ps.gz | pdf

2. A note on exactness and stability in homotopical algebra
Marco Grandis, 27-42
abstract | dvi | dvi.gz | ps | ps.gz | pdf

3. Simplicial torsors
Tibor Beke, 43-60
abstract | dvi | dvi.gz | ps | ps.gz | pdf

4. A note on actions of a monoidal category
G. Janelidze and G.M. Kelly, 61-91
abstract | dvi | dvi.gz | ps | ps.gz | pdf

5. Classifying spaces of categories and term rewriting
Maurizio G. Citterio, 92-105
abstract | dvi | dvi.gz | ps | ps.gz | pdf

6. Categorical domain theory: Scott topology, powercategories, coherent categories
Panagis Karazeris, 106-120
abstract | dvi | dvi.gz | ps | ps.gz | pdf

7. The Hurwitz action and braid group orderings
Jonathon Funk, 121-150
abstract | dvi | dvi.gz | ps | ps.gz | pdf

8. Centrality and normality in protomodular categories
Dominique Bourn and Marino Gran, 151-165
abstract | dvi | dvi.gz | ps | ps.gz | pdf

9. The alternation hierarchy for the theory of $\mu$-lattices
Luigi Santocanale, 166-197
abstract | dvi | dvi.gz | ps | ps.gz | pdf

10. Simplicial matrices and the nerves of weak n-categories I: nerves of bicategories
John W. Duskin, 198-308
abstract | dvi | dvi.gz | ps | ps.gz | pdf

Participants in the CT2000 conference
309-311
dvi | ps | pdf

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

Return to top.


Volume 8 - 2001

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

1. $n$-Permutable locally finitely presentable categories
Marino Gran and Maria-Cristina Pedicchio, 1-15
abstract | dvi | dvi.gz | ps | ps.gz | pdf

2. Exponentiable morphisms: posets, spaces, locales, and Grothendieck toposes
Susan Niefield, 16-32
abstract | dvi | dvi.gz | ps | ps.gz | pdf

3. On sifted colimits and generalized varieties
J. Adamek and J. Rosicky, 33-53
abstract | dvi | dvi.gz | ps | ps.gz | pdf

4. On Mackey topologies in topological abelian groups
Michael Barr and Heinrich Kleisli, 54-62
abstract | dvi | dvi.gz | ps | ps.gz | pdf

5. Finite sum - product logic
J.R.B. Cockett and R.A.G. Seely, 63-99
abstract | dvi | dvi.gz | ps | ps.gz | pdf

6. On the pullback stability of a quotient map with respect to a closure operator
Lurdes Sousa, 100-113
abstract | dvi | dvi.gz | ps | ps.gz | pdf

7. Duality for simple $\omega$-categories and disks
Mihaly Makkai and Marek Zawadowski, 114-243
abstract | dvi | dvi.gz | ps | ps.gz | pdf

8. Finite sets and symmetric simplicial sets
Marco Grandis, 244-252
abstract | dvi | dvi.gz | ps | ps.gz | pdf

9. How algebraic is algebra?
J. Adamek, F. W. Lawvere and J. Rosicky, 253-283
abstract | dvi | dvi.gz | ps | ps.gz | pdf

10. Localization of $V$-categories
Bjorn Ian Dundas, 284-312
abstract | dvi | dvi.gz | ps | ps.gz | pdf

11. Limites inductives point par point dans les catégories accessibles
Pierre Ageron, 313-323
abstract | dvi | dvi.gz | ps | ps.gz | pdf

12. Combinatorics of branchings in higher dimensional automata
Philippe Gaucher, 324-376
abstract | dvi | dvi.gz | ps | ps.gz | pdf

13. How large are left exact functors?
J. Adamek, V. Koubek and V. Trnkova, 377-390
abstract | dvi | dvi.gz | ps | ps.gz | pdf

14. A categorical genealogy for the congruence distributive property
Dominique Bourn, 391-407
abstract | dvi | dvi.gz | ps | ps.gz | pdf

15. Pseudogroupoids and commutators
George Janelidze and M.Cristina Pedicchio, 408-456
abstract | dvi | dvi.gz | ps | ps.gz | pdf

16. Perfect maps are exponentiable - categorically
Gunther Richter and Walter Tholen, 457-464
abstract | dvi | dvi.gz | ps | ps.gz | pdf

17. Essential localizations and infinitary exact completion
Enrico M. Vitale, 465-480
abstract | dvi | dvi.gz | ps | ps.gz | pdf

18. Cartesian closed topological hull of the construct of closure spaces
V. Claes, E. Lowen-Colebunders and G. Sonck, 481-489
abstract | dvi | dvi.gz | ps | ps.gz | pdf

19. A sheaf-theoretic view of loop spaces
Mark W. Johnson, 490-508
abstract | dvi | dvi.gz | ps | ps.gz | pdf

20. On functors which are lax epimorphisms
Jiri Adamek, Robert El Bashir, Manuela Sobral, Jiri Velebil, 509-21
abstract | dvi | dvi.gz | ps | ps.gz | pdf

21. Closure operators in exact completions
Matias Menni, 522-540
abstract | dvi | dvi.gz | ps | ps.gz | pdf

22. The extensive completion of a distributive category
J.R.B. Cockett and Stephen Lack, 541-554
abstract | dvi | dvi.gz | ps | ps.gz | pdf

23. V-Cat is locally presentable or locally bounded if V is so
G. M. Kelly and Stephen Lack, 555-575
abstract | dvi | dvi.gz | ps | ps.gz | pdf

Return to top.


Volume 7 - 2000

Table of contents also available in dvi or pdf 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 pdf 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 pdf 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 pdf 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 pdf 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 or pdf 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.


Volume 1 - 1995

Table of contents also available in dvi or pdf 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.


Valid HTML 4.01 Transitional

Valid CSS!