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 B.J. Day) Small limits of functors, Journal of Pure and Applied Algebra, 210:651-663, 2007.
    
30. Bicat is not triequivalent to Gray, Theory and Applications of Categories, 18:1-3, 2007.
    
31. (with J.R.B. Cockett) Restriction categories III: colimits, partial limits, and extensivity, Mathematical Structures in Computer Science, to appear.
    
32. (with Simona Paoli) 2-nerves of bicategories, K-theory, to appear.
    
33. Homotopy-theoretic aspects of 2-monads, Journal of Homotopy and Related Structures, to appear.
34. (with P.T. Johnstone and Pawel Sobocinski), Quasitoposes, quasiadhesive categories, and Artin gluing, accepted in 2nd Conference on Algebra and Coalgebra in Computer Science (CALCO 2007).