**Publications of Ross Street**

0. PhD Thesis: *Homotopy Classification of Filtered Complexes**,* University of Sydney, August 1968.

1. (with E. Dubuc) Dinatural
transformations, *Lecture Notes in Math.*
**137** (1970) 126--137; MR43#313.

2. Projective diagrams of
interlocking sequences, *Illinois J. Math.*
**15** (1971) 429--441; MR43#4881.

3. The formal theory of monads, *J. Pure Appl. Algebra* **2** (1972) 149--168; MR45#8701.

4. Two constructions on lax
functors, *Cahiers de topologie et g\'eom\'etrie
diff\'erentielle* **13** (1972) 217--264; MR50#436.

5. Homotopy classification of
filtered complexes, *J. Australian Math.
Soc.* **15** (1973) 298--318;
MR49#5135.

6. (with R.F.C. Walters) The
comprehensive factorization of a functor, *Bulletin
American Math. Soc.* **79** (1973)
936--941; MR49#10753.

7. (with G.M. Kelly) Review of
the elements of 2-categories, *Lecture
Notes in Math.* **420** (1974) 75--103;
MR50#10010.

8. Fibrations and Yoneda's lemma
in a 2-category, *Lecture Notes in Math.*
**420** (1974) 104--133; MR53#585.

9. Elementary cosmoi I, *Lecture Notes in Math.* **420** (1974) 134--180; MR50#7290.

10. Limits indexed by
category-valued 2-functors, *J. Pure Appl.
Algebra* **8** (1976) 149--181;
MR53#5695.

11. Internally complete
2-categories, *Notices American Math. Soc.*
**23#5** (Aug.1976) Abstract 737-18-7.

12. (with R.F.C. Walters) Yoneda
structures on 2-categories, *J. Algebra*
**50** (1978) 350--379; MR57#3214.

13. Cosmoi of internal categories, *Transactions
American Math. Soc.* **258** (1980)
271--318; MR82a:18007.

14. Fibrations in bicategories, *Cahiers de topologie et g\'eom\'etrie diff\'erentielle*
**21** (1980) 111--160; MR81f:18028.

15. (with W. Tholen, M.
Wischnewsky, and H. Wolff) Semi-topological functors III: lifting of monads and
adjoint functors, *J. Pure Appl. Algebra*
**16** (1980) 299--314; MR81g:18003.

16. Notions of topos, *Bulletin Australian Math. Soc.* **23** (1981) 199--208; MR83a:18014.

17. Conspectus of variable
categories, *J. Pure Appl. Algebra* **21** (1981) 307--338; MR84i:18006.

18. [see 85] Cauchy
characterization of enriched categories, *Rendiconti
del Seminario Matematico e Fisico di Milano* **51** (1981) 217--233; MR85e:18006; pdf

19. Two dimensional sheaf theory,
*J. Pure Appl. Algebra* **23** (1982) 251--270; MR83d:18014.

20. Characterization of
bicategories of stacks, *Lecture Notes in
Math.* **962** (1982) 282--291; MR84d:18006.

21. Enriched categories and
cohomology, *Quaestiones Math.* **6** (1983) 265--283; MR85e:18007.

22. (with R. Betti, A. Carboni,
and R. Walters) Variation through enrichment, *J. Pure Appl. Algebra* **29**
(1983) 109--127; MR85e:18005.

23. Absolute colimits in enriched
categories, *Cahiers de topologie et g\'eom\'etrie
diff\'erentielle* **24** (1983) 377--379; MR85i:18001.

24. The family approach to total
cocompleteness and toposes, *Transactions
American Math. Soc.* **284** (1984)
355--369; MR85f:18003.

25. Homotopy classification by
diagrams of interlocking sequences, *Math.
Colloquium University of Cape Town* **13**
(1984) 83--120; MR86i:55025; pdf.

26. (with A. Carboni and S.
Kasangian) Bicategories of spans and relations, *J. Pure Appl. Algebra* **33**
(1984) 259--267; MR86f:18013.

27. (with A. Carboni) Order
ideals in categories, *Pacific J. Math.*
**124** (1986) 275--288; MR88e:18005.

28. (with S. Schanuel) The free
adjunction, *Cahiers de topologie et g\'eom\'etrie
diff\'erentielle cat\'egoriques* **27** (1986) 81--83; MR87f: 18005.

29. (with B.J. Day) Categories in
which all strong generators are dense, *J.
Pure Appl. Algebra* **43** (1986)
235--242; MR88m:18013.

30. The algebra of oriented
simplexes, *J. Pure Appl. Algebra* **49** (1987) 283--335; MR89a:18019; (2.2Mb
pdf; see [52] for a correction).

31. Correction to
"Fibrations in bicategories", *Cahiers
de topologie et g\'eom\'etrie diff\'erentielle cat\'egoriques* **28** (1987) 53--56; MR88i: 18004.

32. (with D. Schumacher) Some
parametrized categorical concepts, *Communications
in Algebra* **16** (1988) 2313--2347;
MR89k:18001.

33. Fillers for nerves, *Lecture Notes in Math. ***1348** (1988) 337--341; MR89m:18011.

34. (with B.J. Day) Localisation
of locally presentable categories, *J.
Pure Appl. Algebra* **58** (1989)
227-- 233; MR90g:18012.

35. (with G.J. Bird, G.M. Kelly,
and A.J. Power) Flexible limits for 2-categories, *J. Pure Appl. Algebra* **61**
(1989) 1--27; MR91a:18009.

36. (with B.J. Day) Localisation
of locally presentable categories II, *J.
Pure Appl. Algebra* **63** (1990)
225--229; MR91h:18007.

37. (with A. Joyal) The geometry
of tensor calculus I, *Advances in
Math.* **88** (1991) 55--112; MR92d:18011.

38. (with A. Joyal) Tortile
Yang-Baxter operators in tensor categories, *J.
Pure Appl. Algebra* **71** (1991) 43--51;
MR92e:18006.

39. Quantum Groups : an entree to
modern algebra (Notes from a Graduate Lecture Course March-June 1990; nearly
all available as html or ps).

40. (with A. Joyal) An introduction to Tannaka duality and quantum groups; Part II of Category Theory, Proceedings, Como 1990
(Editors A. Carboni, M.C. Pedicchio and G. Rosolini) *Lecture Notes in Math.* **1488**
(Springer-Verlag Berlin, Heidelberg 1991) 411--492; MR93f:18015.

41. Parity complexes, *Cahiers de topologie et g\'eom\'etrie diff\'erentielle
cat\'egoriques* **32** (1991) 315--343; MR93f:18014.

42. (with A. Joyal) Pullbacks
equivalent to pseudopullbacks, *Cahiers de
topologie et g\'eom\'etrie diff\'erentielle cat\'egoriques* **34** (1993) 153--156; MR94a:18004.

43. (with G. Janelidze and D.
Schumacher) Galois theory in variable categories, *Applied Categorical Structures* **1**
(1993) 103--110; MR94k:18011.

44. (with A. Joyal) Braided
tensor categories, *Advances in
Math.* **102** (1993) 20--78; MR94m:18008; for earlier version see "Other widely circulated output ix" below.

45. Categorical structures, *Handbook of Algebra* **Volume 1** (editor M. Hazewinkel; Elsevier Science, Amsterdam 1996;
ISBN 0 444 82212 7) 529--577; pdf.

46. (with A. Carboni, S. Johnson
and D. Verity) Modulated bicategories, *J.
Pure Appl. Algebra* **94** (1994)
229--282; MR96f:18008.

47. (with R. Gordon and A.J.
Power) Coherence for tricategories, *Memoirs
of the American Math. Society* **117**
(1995) Number 558 (ISBN 0-8218-0344-1); MR96j:18002.

48. Higher categories, strings,
cubes and simplex equations, *Applied
Categorical Structures* **3** (1995)
29--77 & 303; MR96b:18009; pdf.

49. (with A. Joyal) The category
of representations of the general linear groups over a finite field, *J. Algebra* **176** (3) (1995) 908--946; MR96k:20082.

50. Ideals, radicals, and
structure of additive categories, *Applied
Categorical Structures* **3** (1995)
139--149; MR96e:18003; pdf.

51. (with A. Joyal and D. Verity)
Traced monoidal categories, *Mathematical
Proceedings of the Cambridge Philosophical Society* **119** (3) (1996) 425--446; MR96m:18014. [Related documents: http://www.math.mq.edu.au/~street/AmyY.pdf and http://dx.doi.org/10.1017/S0305004109002606].

52. Parity complexes: corrigenda,
*Cahiers de topologie et g\'eom\'etrie
diff\'erentielle cat\'egoriques* **35** (1994) 359--361; MR95j:18005.

53. (with A. Joyal) The geometry
of tensor calculus II (draft document, also see
(xii) below).

54. (with D. Verity) Surface
diagrams for tricategories; superseded by

M. McIntyre and T. Trimble, The geometry of Gray-categories, *Advances in Math. *(withdrawn; but see http://ncatlab.org/toddtrimble/published/Surface+diagrams).

55. (with B. Day) Kan extensions
along promonoidal functors, *Theory and
Applications of Categories* **1** (4) (1995) 72--78; MR96a:18003.

56. (with P. Freyd) On the size
of categories, *Theory and
Applications of Categories* **1 **(9) (1995) 174--178; MR96m:18004.

57. Low-dimensional topology and
higher-order categories, *Proceedings of
CT95**, Halifax, 9-15 July 1995*; pdf.

58. Fusion operators and
cocycloids in monoidal categories, *Applied
Categorical Structures* **6 **(2)
(Special Issue on ``Quantum Groups, Hopf Algebras and Category Theory'', ed. A.
Verschoren, 1998) 177--191; MR99d:18008; pdf.

59. Descent theory (notes of
three lectures presented at Oberwolfach, September 1995); pdf.

60. (with B.J. Day) Monoidal
bicategories and Hopf algebroids, *Advances in
Math.* **129** (1997) 99--157; MR99f:18013; Remark
on Example 11.

61. (with Renato Betti and
Dietmar Schumacher) Factorizations in bicategories (preprint 1995).

62. (with P.J. Freyd, P.W.
O'Hearn, A.J. Power, M. Takeyama, and R.D. Tennent) Bireflectivity, *Theoretical
Computer Science* **228 (1-2)** (1999) 49--76; MR2000i:68110.

63. The quantum double and
related constructions, *J. Pure Appl.
Algebra* **132** (1998) 195--206;
MR99e:16054.

64. The role of Michael Batanin's monoidal globular
categories, in: ``Higher Category Theory''
(editors E. Getzler and M. Kapranov) *Contemporary
Mathematics* **230** (A.M.S. 1998) 99--116;
MR 2000a:18006.

65. (see [110]) Parenthetic
remarks (preprint, pdf).

66. (with M. Batanin) The universal property of the multitude of trees, *J. Pure Appl.
Algebra* **154** (2000) 3--13; MR2001f:18014.

67. (with G. Janelidze) Galois
theory in symmetric monoidal categories, *Macquarie
Mathematics Report 98/235* (April 1998); preliminary announcement* *in *Seminarberichte
aus dem Fachbereich Mathematik, *Band **63**,
Teil **3** (1998) 365-375; *Journal of Algebra *220 (1999) 174--187;
MR2000h:18017.

68. Braids among the groups *Seminarberichte aus dem Fachbereich
Mathematik, *Band **63**, Teil **5** (1998) 699--703.

69. The petit topos of globular
sets, *J. Pure Appl.
Algebra* **154** (2000) 299--315; MR2001f:18008.

70. (with G.M. Kelly, A. Labella
and V. Schmitt) Categories enriched on two sides, *J. Pure Appl. Algebra* **168
(1)** (8 March 2002) 53--98; MR2003f:18006 pdf.

71. (with S. Lack) The formal
theory of monads II, *J. Pure Appl.
Algebra* **175 (1-3)** (2002) 243--265;
MR2003m:18007 ps.gz.

72. (with B.J. Day) Lax monoids,
pseudo-operads, and convolution, in: "Diagrammatic Morphisms and
Applications", *Contemporary
Mathematics* **318** (AMS; ISBN
0-8218-2794-4; April 2003) 75--96; MR2004c:18011; pdf.

73. (with J. Bichon) Militaru's
D-equation in monoidal categories, *Applied
Categorical Structures* **11** (2003)
337--357; MR2004f:18011; ps.gz.

74. Functorial calculus in
monoidal bicategories, *Applied
Categorical Structures* **11** (2003)
219--227; MR2004f:18010; pdf.

75. (with B.J. Day and P.
McCrudden) Dualizations and antipodes, *Applied
Categorical Structures* **11** (2003)
229--260; MR2004b:18013; pdf.

76. Weak omega-categories, in: ``Diagrammatic
Morphisms and Applications'', *Contemporary
Mathematics* **318** (AMS; ISBN
0-8218-2794-4; April 2003) 207--213; MR 2004c:18008; pdf.

77. (with B.J. Day) Abstract
substitution in enriched categories, *J.
Pure Appl. Algebra* **179 **(2003) 49--63;
MR2004d:18008; pdf.

78. (with A. Davydov) Roots of
unity as a Lie algebra, *Georgian
Mathematical Journal* **9(4)** (2002)
683--690; MR2004c:18010 pdf.

79. (with B.J. Day) Quantum
categories, star autonomy, and quantum groupoids, in "Galois Theory, Hopf
Algebras, and Semiabelian Categories", *Fields
Institute Communications* **43**
(American Math. Soc. 2004) 187--226 (preprint pdf or math.CT/0301209).

80. Categorical and combinatorial
aspects of descent theory, *Applied
Categorical Structures* **12** (2004)
537--576 (preprint at pdf and math.CT/0303175; also see the supplementary expository article [o] below); MR2005h:18022.

81. The monoidal centre as a
limit, *Theory and Applications of
Categories ***13(13)** (ed. G.
Janelidze, S. Lack, F.W. Lawvere, E.M. Vitale and R.J. Wood: volume dedicated
to Aurelio Carboni for his 60th birthday; 2004) 184--190 (old preprint pdf or even older version at math.CT/0304053); MR2005h:18027.

82. (with R. Buchweitz and A.
Davydov) The Gerstenhaber homotopy in a monoidal bicategory (in preparation).

83. Frobenius monads and
pseudomonoids, *J. Math. Physics* **45(10) **(October 2004) 3930--3948 (old
preprint pdf);
MR2005h:18026.

84. Monoidal actions, enriched
categories, and convolution (in preparation).

85. [see 18] Cauchy
characterization of enriched categories, *Reprints in
Theory and Applications of Categories*__ 4__ (2004) 1--16.

86. An Australian conspectus of
higher categories, in: *Towards Higher
Categories, *edited by John C. Baez and J. Peter May, The IMA Volumes in
Mathematics and its Applications, Volume **152
**(Springer, 2009) 237--264 (arising from the 2004 Summer
Program: n-Categories: Foundations and Applications, 1-18 June 2004 at the IMA of the University of Minnesota,
Minneapolis); available at pdf.

87. (with Brian Day and Elango Panchadcharam) Lax braidings and the lax centre,
in ``Hopf Algebras and Generalizations'',* Contemporary
Mathematics* **441** (2007; pdf; details) 1--17.

88. [see 21] Enriched categories
and cohomology with author commentary, *Reprints in
Theory and Applications of Categories *** 14** (2005) 1--18.

89. (with Brian Day) Centres of
monoidal categories of functors, in ``Categories in Algebra, Geometry and
Mathematical Physics'', *Contemporary
Mathematics* **431** (2007) 187--202
(details).

90. [see 39] Quantum Groups: a path to current algebra, *Australian
Math. Society Lecture Series ***19**
(Cambridge University Press; 18 January 2007; ISBN-978-0-521-69524-4).

91. (with Brian Day and Elango
Panchadcharam) On centres and lax centres for promonoidal categories, Colloque
International ``Charles Ehresmann : 100 ans Universit\'e de Picardie Jules
Verne \`a Amiens 7-8-9 Octobre 2005'' <pdf>.

92. (with Eduardo Dubuc) A
construction of 2-filtered bicolimits of categories, *Cahiers de topologie et geometrie differentielle categoriques* **47(2)** (2006) 83--106 <pdf>.

93. (with Elango Panchadcharam)
Mackey functors on compact closed categories, *Journal of Homotopy and Related Structures* **2(2) **(2007) 261--293;* *http://arxiv.org/abs/0706.2922.

94. (with Elango Panchadcharam)
Pullback and finite coproduct preserving functors between categories of
permutation representations, *Theory and
Applications of Categories* **16(28)** (2006) 771--784 <pdf>.

95. (with Elango Panchadcharam)
Pullback and finite coproduct preserving functors between categories of
permutation representations: corrigendum and addendum, *Theory and Applications of Categories*, **18(5)** (2007) 151--156 <pdf>.

96. (with Craig Pastro) Weak Hopf
monoids in braided monoidal categories, *Algebra
and Number Theory* **3(2)** (2009)
149--207; http://pjm.math.berkeley.edu/ant/2009/3-2/index.xhtml.

97. (with Craig Pastro) Closed
categories, star-autonomy, and monoidal comonads, *Journal of Algebra ***321(11)**
(1 June 2009) 3494--3520 (Special Issue in Honor of Gus Lehrer; http://arxiv.org/abs/0712.0418).

98. (with Craig Pastro) Doubles
for monoidal categories, *Theory and
Applications of Categories* **21(4)**
(2008) 61--75; pdf (also http://arxiv.org/abs/0711.1859).

99. (with Ignacio Lopez-Franco
and Richard Wood) Duals invert, *Applied
Categorical Structures* **19(1)**
(February 2011) 321--362 (published
online 8 September 2009: (special
volume in memory of Max Kelly).

100. (with Ronald Brown) Covering
morphisms of crossed complexes and of cubical omega-groupoids are closed under
tensor product, *Cahiers de topologie et g\'eom\'etrie
diff\'erentielle cat\'egoriques* **52(3)**
(2011) 188--208 (also see http://arxiv.org/abs/1009.5609).

101. Weak distributive laws, *Theory and Applications of Categories* **22(12)** (2009) 313--320; <http://www.tac.mta.ca/tac/volumes/22/12/22-12.pdf>.

102.
(with Micah Blake McCurdy) What separable Frobenius monoidal functors preserve,
*Cahiers
de topologie et g\'eom\'etrie diff\'erentielle cat\'egoriques* **51(1) **(2010)** **29--50 (volume
celebrating Francis Borceux's '60^{th} birthday); http://arxiv.org/pdf/0904.3449v1).

103.
(with Dimitri Chikhladze and Stephen Lack) Hopf monoidal comonads, *Theory and
Applications of Categories* **24(19)** (2010) 554--563 (http://www.tac.mta.ca/tac/volumes/24/19/24-19.pdf ; also see http://arxiv.org/pdf/1002.1122).

104.
(with Dominic Verity) The comprehensive factorization and torsors, *Theory
and Applications of Categories* **23(3)** (2010) 42--75; (in the volume
celebrating Dominique Bourn's 60^{th} birthday; pdf).

105.
(with Gabriella Boehm and Stephen Lack) Weak bimonads and weak Hopf monads, *Journal of Algebra* **328** (2011) 1--30 (published online at http://dx.doi.org/10.1016/j.jalgebra.2010.07.032; also see http://arxiv.org/abs/1002.4493).

106.
(with Thomas Booker) Torsors, herds and flocks, *Journal of Algebra* **330**
(2011) 346--374 (also see http://arxiv.org/abs/0912.4551).

107.
(with Gabriella Boehm and Stephen Lack) On the 2-categories of weak
distributive laws, *Communications in
Algebra* **39(12)** (2011) 4567--4583
(dedicated to Miriam Cohen; also see arXiv:1009.3454).

108. (with
Gabriella Boehm, Thomas Booker, Brian Day and Stephen Lack) Separable enriched
categories and absolute ends (in preparation).

109.
(with Gabriella Boehm and Stephen Lack) Idempotent splittings, colimit
completions, and weak aspects of the theory of monads, *Journal of
Pure and Applied Algebra* **216(2)** (2012) 385--403; also
see arXiv:1102.4931.

110. (see
[65]) Parenthetic remarks, in ``Associahedra, Tamari Lattices and Related
Structures'', Tamari Memorial Festschrift, editors F. Mueller-Hoissen, J. Pallo
and J. Stasheff, *Progress in Mathematics ***299** (Birkhauser, 29 June 2012) 251--268.

111.
(with Thomas Booker) Tannaka duality and convolution for duoidal categories, *Theory and Applications of Categories* **28(6)** (2013)166--205.

112. The
core of adjoint functors, *Theory and Applications of Categories* **27(4)** (2012) 47--64.

113. Monoidal
categories in, and linking, geometry and algebra, *Bulletin of the Belgian Mathematical Society – Simon Stevin ***19(5) **(2012) 769--821** **(see http://arxiv.org/abs/1201.2991).

114. Categories
in categories, and size matters, *Higher
Structures* (2017,
to appear) pdf.

115. (with
Stephen Lack) Skew monoidales, skew warpings and quantum categories, *Theory and
Applications of Categories* **26(15)** (2012) 385--402.

116.
Skew-closed categories, *Journal of Pure and Applied Algebra* **217**(6) (June 2013) 973--988 (doi:
10.1016/j.jpaa.2012.09.020 published online 22 Oct 2012; also see http://arxiv.org/abs/1205.6522).

117.
(with Stephen Lack) A skew-duoidal Eckmann-Hilton argument and quantum
categories, *Applied Categorical
Structures* **22 **(2014) 789--803
(doi: 10.1007/s10485-013-9356-1; also see http://arxiv.org/abs/1210.8192).

118.
(with Stephen Lack) Triangulations, orientals, and skew-monoidal categories, *Advances in Math.* 258 (2014) 351--396.

119.
(with Mitchell Buckley, Richard Garner and Stephen Lack) The Catalan simplicial
set, *Mathematical
Proceedings of the Cambridge Philosophical Society* **158(2)**
(March 2015) 211--222; early version at http://arxiv.org/abs/1307.0265).

120. (with
Stephen Lack) Combinatorial categorical equivalences of Dold-Kan type, *Journal of
Pure and Applied Algebra ***219** (2015) 4343--4367;
slightly corrected at http://arxiv.org/abs/1402.7151.

121. (with
Stephen Lack) On monads and warpings, *Cahiers
de topologie et g\'eom\'etrie diff\'erentielle cat\'egoriques* **55** (2014) 244--266; pdf.

122. (with
Stephen Lack) Skew-monoidal reflection and lifting theorems, *Theory and
Applications of Categories* **30(28)** (2015) 985--1000; http://arxiv.org/abs/1410.6972.

123. Kan
extensions and cartesian monoidal categories, *Seminarberichte Mathematik* **87**
(FernUniversit\"at in Hagen, 2015) 89--96; see http://arxiv.org/abs/1409.6405.

124. Pointwise
extensions and sketches in bicategories, http://arxiv.org/abs/1409.6427.

125. Weighted
tensor products of Joyal species, graphs, and charades, *SIGMA* **12** (2016) 005,
20pp; http://www.emis.de/journals/SIGMA/2016/005/.

126.
(with Hans-E. Porst) Generalizations of the Sweedler dual, *Applied Categorical Structures* (in the volume to the memory of Horst
Herrlich) **24 **(2016) 619--647.

127.
(with Richard Garner) Coalgebras governing both weighted Hurwitz products and
their pointwise transforms, in: ``New trends in Hopf algebras and tensor
categories'', *Bulletin of the Belgian Mathematical Society – Simon Stevin ***23** (2016) 643--666; see http://arxiv.org/abs/1510.05323.

128. Wreaths,
mixed wreaths and twisted coactions, *Tbilisi
Mathematical Journal* (in the volume
in honour of Peter Freyd and Bill Lawvere) **10(3)**
(2017) 1--22.

129.
(with George Janelidze) Real sets, *Tbilisi Mathematical Journal* (in the volume
in honour of Peter Freyd and Bill Lawvere) **10(3)**
(2017) 23--49.

130. (with Branko Nikoli\'c) Extension creation under comonadic base change; see http://arxiv.org/abs/1809.02356.

131.
(with George Janelidze) Infinitary addition, real
numbers, and taut monads, *Applied Categorical Structures* DOI:10.1007/s10485-018-9524-4 (to appear).

132.
(with Branko Nikoli\'c) Hopf rings for grading and differentials;
see http://arxiv.org/abs/1806.09318.

**Volumes Edited**

(with
George Janelidze, John MacDonald and Walter Tholen) Proceedings of CT2004 at
UBC (Vancouver), *Theory
and Applications of Categories* **15**.

(with
Aurelio Carboni and George Janelidze) Special Volume celebrating the 70^{th}
birthday of Professor Max Kelly, *Journal
of Pure and Applied Algebra* **175(1-3)**
(8 November 2002).

(with
Jawad Abuhlail, Gabriella Boehm, Tomasz Brzezinski, H. Peter Gumm, Salah-Eddine
Kabbaj and Robert Wisbauer) "Interactions of Algebraic and Coalgebraic
Structures (Theory and Applications)" *Arabian
Journal for Science and Engineering, Section C: Theme Issues* **33(2 C)** (December 2008).

(with
Maria Manuel Clementino and Samson Abramsky) Special Issues devoted to CT2007
at Carvoeiro (Algarve, Portugal):

a) "Topology and
Homotopy" *Applied Categorical
Structures* **17(3)** (June 2009)

b) "Semi-abelian
Categories" *Applied Categorical
Structures* **17(4)** (August 2009)

c) "Toposes and Functor
Categories" *Applied Categorical
Structures* **18(2) **(April 2010)

d) "Enriched and Higher
Categories" *Applied Categorical
Structures* **18(3)** (June 2010).

(with
Martin Hyland, George Janelidze, Michael Johnson, Peter Johnstone, Stephen
Lack, Walter Tholen and Richard Wood) Special Issue: Dedicated to the Memory of
Professor Gregory Maxwell Kelly *Applied Categorical Structures* **19(1)** (February 2011).

(with Marino
Gran, Maria Manuel Clementino, Manuela Sobral and Walter Tholen) Special Issue
celebrating the 60^{th} birthday of George Janelidze: *Applied Categorical Structures* **22 **(2014).

**Volume Dedicated**

"Categories
in Algebra, Geometry and Mathematical Physics", Conference and Workshop in
honor of Ross Street's 60^{th} Birthday, Macquarie University 11-16
July 2005 and Australian National University 18-21 July 2005; edited by Alexei
Davydov, Michael Batanin, Michael Johnson, Stephen Lack and Amnon Neeman; *Contemporary Mathematics* **431** (American Math. Society, 2007).

**Expository Articles**

a.
Geometry using painting, *Parabola* **10** **#2**
(1974) 8--13.

b.
Numbers from space, *Reflections* **7** (Math. Assoc. of NSW, 1982) 8--10.

c. An
efficient construction of the real numbers, *Gazette
Australian Math. Soc.* **12** (1985)
57--58. Click here for a full version (jointly with Vacation
Scholars James Douglas, Rony Kirollos, Ben Odgers and Nguyen Hanh Vo; February
2004) including the original article. There is also the older September 2003 update.

d. The
mathematics of knots, *Reflections* **21 (4)** (Math. Assoc. of NSW, 1996) 12--21.

e. Bicategories and 2-categories, *Encyclopaedia of Mathematics, Supplement II* (ed. M. Hazewinkel;
Kluwer Academic, 2000) 65--67.

f. Higher-dimensional categories; n-categories, *Encyclopaedia of Mathematics, Supplement II* (ed. M. Hazewinkel;
Kluwer Academic, 2000) 254--257.

g.
Consequences of splitting idempotents (November 1996, notes; pdf); Addendum

h. Branches of higher dimensional algebra, Talk at Aust Math Soc
Conference at the University of Sydney (30 September 1998)

i.
Rationals, reals, complexes! What next? (Blakers Lecture, National Mathematics
Summer School, 18 January 1999; it is a talk about quaternions)

j. Trees,
permutations and the tangent function, *Reflections*
**27 (2) **(Math. Assoc. of NSW, May
2002) 19--23; pdf and math.HO/0303267; beamer version.

k.
Powerful functors; pdf

l. The
3-cocycle condition; pdf

m. Formal
representation theory, Invited talk at the Fields Institute (Toronto, Canada,
September 2002); audio and lecture notes.

n. **Lack's lemma**** **on comma
objects**.**

o.
Lecture at ICIAM 2003 (11 July 2003) "Categorical and combinatorial
aspects of descent theory", 2003ICIAM.pdf* *(while this is intended to be
self-contained, it is supplementary to [80] above).

p.
Monoidal categories for the combinatorics of group representations; pdf

q. Frobenius algebras and monoidal categories, Lecture at the Annual Meeting
of the Australian Math. Soc. (29 September 2004).

r. Bicategories

t. Talk to Macquarie Philosophy Students' Society

u. Sculptured Journey, *aMUSine*
Issue **8**: "Journeys".

v. Duality and well pointedness.

**Book Reviews**

I. Review
of: J.W. Gray, *Formal Category Theory:
Adjointness for 2-Categories* (Lecture Notes in Math. **391**, Springer 1974); in *Mathematical
Reviews* 51#8207 (April 1976) 1153.

II.
Review of: Kirill Mackenzie, *Lie
Groupoids and Lie Algebroids in Differential Geometry* (London Math. Soc.
Lecture Note Series No.**124**,
Cambridge University Press 1987); in *Gazette
Australian Math. Soc.* **16#3** (June
1989) 66--68.

III.
Review of: Colin McLarty, *Elementary
Categories, Elementary Toposes* (Oxford University Press 1992); in *Zentralblatt f\"ur Mathematik* **762 (12)** (1993) #18001.

IV.
Review of: Robert Gordon, *G-Categories*
(Memoirs Amer. Math. Soc. **101** (1993)
#482); in *Mathematical Reviews* MR#
93f:18003.

V. Review
of: Frederick Chong and Ronald J. Andrews, *A
View of Mathematics: Big Picture Plus Close-ups* (The Mathematical
Association of New South Wales, March 1995), *Gazette Australian Math. Soc.* **23
(5)** (1996) 214--215.

VI.
Review of: David N. Yetter, *Functorial
knot theory: Categories of tangles, coherence, categorical deformations, and
topological invariants *(Series on Knots and Everything **26**, World Scientific, Singapore, 2001): in *Bulletin of the London Mathematical Society ***35** (2003) 137--139.

VII.
Review of: Tom Leinster, *Higher Operads,
Higher Categories,* (London Math. Soc. Lecture Note Series **298**, Cambridge University Press 2004);
in *Mathematical Reviews *MR2094071.

VIII.
Review of: Peter T. Johnstone, *Sketches
of an elephant. A topos theory compendium. I and II *(Oxford Logic Guides **44**; Oxford Science Publications.
Oxford: Clarendon Press, 2002); in *Zentralblatt
f\"ur Mathematik* Zbl 1071.18002.

IX.
Review of: Steve Awodey, *Category Theory* (Oxford Logic
Guides **49**; Oxford University Press
(2006) 256 pp.); in *Zentralblatt f\"ur
Mathematik* Zbl 1100.18001.

X. Review
of: Eckmann-Tierney eds: *Seminar on
Triples and Categorical Homology Theory* (Repr. Theory Appl.
Categ. No. 18 (2008) 303 pp.); in *Mathematical Reviews* MR2410935 (2009m:18005).

XI.
Review of: Jean-Pierre Marquis, *From a
geometrical point of view*. *A study of
the history and philosophy of category theory* (Logic, Epistemology, and the
Unity of Science **14**: Springer,
Dordrecht, 2009); in *Mathematical Reviews*
MR2730089.

XII.
Review of: John C. Baez, Aristide Baratin, Laurent Freidel and Derek K. Wise:
Infinite-dimensional representations of 2-groups, (Memoirs American Math. Soc. **219(1032)**); in *Mathematical Reviews* MR2978538.

XIII.
Review of: Marco Grandis, *Homological algebra. The
interplay of homology with distributive lattices and orthodox semigroups.*
(Hackensack, NJ: World Scientific, 2012); in *Zentralblatt
f\"ur Mathematik *Zbl
1280.18001.

XIV.
Review of: Nick Gurski, *Coherence in Three-Dimensional
Category Theory,* Cambridge Tracts in Mathematics **201 **(CUP, 2013); in *Zentralblatt
fuer Mathematik.*

XV.
Review of: Daniel Sch\"appi, *The
Formal Theory of Tannaka Duality*, Ast\'erisque **357** (Soci\'et\'e Math\'ematique de France, 2013) ); in *Zentralblatt
f\"ur Mathematik.*

**Speech**

In
celebration of Professor Chong's eightieth birthday, *Reflections* **24 (2)** (May,
1999) 2--3.

**Obituaries and biographies**

Professor
Frederick Chong, *Gazette Austral. Math.
Society* **26 #4** (October 1999)
211--213; pdf.

Professor
G. Maxwell Kelly, "Polymath revelled in the mystery of numbers" *Sydney Morning Herald* (Timelines 11
April 2007).

Professor G. Maxwell Kelly, *Gazette Austral. Math. Society* **34
#2 **(May 2007) 94--96.

(with W.
Chen and K. Matthews) Dr Peter Pleasants, *Gazette
Austral. Math. Society* **35 #3 **(July
2008) 162--165.

"Gregory
Maxwell Kelly 1930-2007", *Historical Records of
Australian Science* **21(2)** (CSIRO Publishing,
2010) 237--251.

"Brian
John Day 16 January 1945 - 16 June 2012", *Gazette
Austral. Math. Society* **40** **#2** (May 2013)** **99--101.

**Other widely circulated output**

i. The
universal property of the representation functor (1972).

ii.
(editor, with G.M. Kelly) *Abstracts of
the Sydney Category Seminar 1972.* (First printing at Univ. of NSW; second at Macquarie
University).

iii. The
calculus of modules (1976).

iv. Topos
theory: Survey (1978), Notes for a senior algebra course (1978), Lectures at Monash Univ. (Jan 1974), Topic list at Christchurch New Zealand (Nov 2004).

v. The comprehensive construction of free colimits, *Macquarie Math. Reports 79000* (1979).

vi. (see
[104]) One-dimensional non-abelian cohomology, *Macquarie Math. Reports 810024* (1981).

vii. An
unpublished theorem of P.J. Freyd and R. Street discussed with attribution in
[G.M. Kelly and V. Koubek, The large limits that all good categories admit, *J. Pure Appl. Algebra* 22 (1981)
253-263].

viii.
(with B.J. Day) An additive Giraud theorem (1984).

ix. (with
A. Joyal) Braided monoidal categories, *Macquarie Math Reports 860081* (1986); *Macquarie Math Reports 850067* (1985).

x. Gray's tensor product of 2-categories (February 1988).

xi. A
construction of the Azumaya complex, on page 116 of ``The Azumaya complex of a
commutative ring'' by J.W. Duskin, *Lecture
Notes in Math.* **1348** (1988)107--117;
MR90c:13003.

xii.
(with A. Joyal) Planar diagrams and tensor algebra (1988).

xiii.
Higher descent structures, Geometric and Logical Aspects of Descent Theory
17.09.-23.09.1995 (Tagungsbericht 38/1995, Mathematisches Forschungsinstitut
Oberwolfach).

xiv. Higher-dimensional nerves (handwritten notes, 1982).

**Other material.**

A. (with
S. Eilenberg) Rewrite systems, algebraic structures, and higher-order
categories (handwritten manuscripts; for example).

B. (with
G.J. Bird, G.M. Kelly and A.J. Power) Explicit formulas for the strict
reflections of pseudo and lax natural transformations.

C. The
Tannakian adjunction.

D. Complex functorial analysis

F. Complete objects relative to a theory (June 1976)

G. Understanding Steiner (8 October 1990)

I. Synthetic Plane Projective Geometry (Lecture Notes, 1971)

J. Note on Hall's Marriage Theorem