Steve Lack's papers (or click here to go back to my homepage)

1. (with Aurelio Carboni and R.F.C. Walters) Introduction to extensive and distributive categories, J. Pure Appl. Alg. 84(1993), 145-158.
   
2. (with G.M. Kelly) Finite-product-preserving functors, Kan extensions, and strongly-finitary monads, Appl. Categ. Structures 1(1993), 84-94.
   
3. (with G.M. Kelly and R.F.C. Walters) Coinverters and categories-of-fractions for categories with structure, Appl. Categ. Structures 1(1993), 95-102.
   
4. (with G.M. Kelly) On property-like structures, Theory Appl. Categ. 3(1997), 213-250.
   
5. On the monadicity of finitary monads, J. Pure Appl. Alg. 140(1999), 65-73.
   
6. A note on the exact completion of a regular category, and its infinitary generalizations, Theory Appl. Categ., 5(1999), 70-80.
   
7. A coherent approach to pseudomonads, Adv. Math., 152(2000), 179-202.
   
8. (with G.M. Kelly) On the monadicity of categories with chosen colimits, Theory Appl. Categ. 7(2000), 148-170.
   
9. (with E.M. Vitale) When do completion processes give rise to extensive categories?,
   J. Pure Appl. Alg., 159(2001), 203-230.
   
10. (with J.R.B. Cockett) The extensive completion of a distributive category, Theory Appl. Categ., 8(2001), 541-554.
    
11. (with G.M. Kelly) V-Cat is locally presentable or locally bounded if V is so, Theory Appl. Categ., 8(2001), 555-575.
    
12. (with J.R.B. Cockett) Restriction categories I: categories of partial maps, Theoretical Computer Science, 270(2002), 223-259.
    
13. (with J. Adamek, F. Borceux, and J. Rosicky) A classification of accessible categories, J. Pure Appl. Alg., 175(2002), 7-30
    
14. Codescent objects and coherence, J. Pure Appl. Alg., 175(2002), 223-241.
    
15. (with Ross Street) The formal theory of monads II, J. Pure Appl. Alg., 175(2002), 243-265.
    
16. A Quillen model structure for 2-categories, K-Theory, 26(2002), 171-205.
    
17. (with J.R.B. Cockett) Restriction categories II: partial map classification, Theoretical Computer Science, 294(2003), 61-102.
    
18. (with Marta Bunge) Van Kampen theorems for toposes, Advances in Mathematics, 179(2003), 291-317.
    
19. The 3-by-3 lemma for regular Goursat categories, Homology, Homotopy and Applications, 6(2004), 1-3.
    
20. (with G.M. Kelly) Monoidal functors generated by adjunctions, with applications to transport of structure, Fields Institute Communications 43(2004), 319--340.
    
21. (with Pawel Sobocinski) Adhesive categories, in Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004 (=Lecture Notes in Computer Science 2987), Springer, 2004, pp. 273--288.
    
22. (with Stefano Kasangian and Enrico M. Vitale) Coalgebras, braidings, and distributive laws, Theory and Applications of Categories, 13(2004), 129-146.
    
23. Composing PROPs, Theory and Applications of Categories, 13(2004), 147-163.
    
24. A Quillen model structure for bicategories, K-theory, 33:185--197, 2004.
    
25. (with Pawel Sobocinski) Adhesive and quasiadhesive categories, Theoretical Informatics and Applications, 39(3):511-546, 2005.
    
26. Limits for lax morphisms, Applied Categorical Structures, 13(3):189-203, 2005.
    
27. (with Simona Paoli) An operadic approach to internal structures, Applied Categorical Structures, 13(3):205-222, 2005.
    
28. (with Pawel Sobocinski) Toposes are adhesive, International Conference on Graph Transformation, Brazil, 2006.
    
29. (with J.R.B. Cockett) Restriction categories III: colimits, partial limits, and extensivity, Mathematical Structures in Computer Science, 17:775-817, 2007; also arXiv:math.CT/0610500.
    
30. (with B.J. Day) Small limits of functors, Journal of Pure and Applied Algebra, 210:651-683, 2007; also arXiv:math.CT/0610439.
    
31. Homotopy-theoretic aspects of 2-monads, Journal of Homotopy and Related Structures 2:229-260, 2007; also arXiv:math.CT/0607646.
    
32. Bicat is not triequivalent to Gray, Theory and Applications of Categories, 1:1-3, 2007; also arXiv:math.CT/0612299.
33. (with P.T. Johnstone and Pawel Sobocinski) Quasitoposes, quasiadhesive categories, and Artin gluing, in 2nd Conference on Algebra and Coalgebra in Computer Science (CALCO 2007), Lecture Notes in Computer Science 4624:312-326, 2007.
34. (with Simona Paoli) 2-nerves of bicategories, K-theory, 38:153-175, 2008; also arXiv:math.CT/0607271.
    
35. (with John Power), Gabriel-Ulmer duality and Lawvere theories enriched over a general base, Journal of Functional Programming, 19:265-286, 2009.
36. A 2-categories companion, in Towards Higher Categories, eds. John C. Baez and J. Peter May, Springer, 2009; also arXiv:math.CT/0702535.
    
37. Icons, Applied Categorical Structures, to appear; also arXiv:0711.4657.
38. Note on the construction of free monoids, Applied Categorical Structures, 18:17-29, 2010; also arXiv:0802.1946.
39. (with Jiri Rosicky), Notions of Lawvere theory, Applied Categorical Structures, to appear; also arXiv:0810.2578.
40. (with R.F.C. Walters and R.J. Wood) Bicategories of spans as cartesian bicategories, submitted; also arXiv:0920.2996.
41. Non-canonical isomorphisms, submitted; also arXiv:0920.2996.
42. A Quillen model structure for Gray-categories, submitted; also arXiv:1001.2366.
43. (with Dimitri Chikhladze and Ross Street) Hopf monoidal comonads, submitted; also arXiv:1002.1122.