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

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, 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; also see http://arxiv.org/abs/1610.07281.

129. (with George Janelidze) Real sets
(submitted); see arxiv.org/abs/1704.08787.

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

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

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.

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