
Doctor Stephen Lack
ADJUNCT ASSOCIATE PROFESSOR,
Deans Unit School of Computing, Engineering & Math
Personal
Qualifications
- PhD University of Cambridge (UK)
- BSc University of Sydney
UWS Organisational Unit (School / Division)
- Deans Unit School of Computing, Engineering & Math
Contact
| Email: | S.Lack@uws.edu.au |
|---|---|
| Extension: | |
| Mobile: | |
| Location: | |
| Website: |
Publications
Chapters in Books
- Lack, S. (2009), 'A 2-categories companion', Towards higher categories, Springer 9781441915238.
Journal Articles
- Lack, S. (2012), 'Non-canonical isomorphisms', Journal of Pure and Applied Algebra, 5.
- Bohm, G., Lack, S., Lack, S. and Street, R. (2011), 'Weak bimonads and weak Hopf monads', Journal of Algebra, 30.
- Lack, S., Lack, S. and Rosicky, J. (2011), 'Notions of Lawvere theory', Applied Categorical Structures, 29.
- Bohm, G., Lack, S., Lack, S. and Street, R. (2011), 'On the 2-Categories of Weak Distributive Laws', Communications in Algebra, 17.
- Lack, S. (2011), 'A Quillen model structure for Gray-categories', Journal of K-Theory, 39.
- Lack, S., Walters, R. and Wood, R. (2010), 'Bicategories of spans as cartesian bicategories', Theory and Applications of Categories, 24.
- Lack, S. (2010), 'Note on the construction of free monoids', Applied Categorical Structures, 13.
- Lack, S. (2010), 'Icons', Applied Categorical Structures, 19.
- Lack, S. and Power, J. (2009), 'Gabriel-Ulmer duality and Lawvere theories enriched over a general base', Journal of Functional Programming, 22.
- Lack, S. and Paoli, S. (2008), '2-nerves for bicategories', K-theory, 23.
- Lack, S. (2007), 'Bicat is not triequivalent to Gray', Theory and Appplications of Categories, 3.
- Lack, S. (2007), 'Homotopy-theoretic aspects of 2-monads', Journal of Homotopy and Related Structures, 32.
- Cockett, R. and Lack, S. (2007), 'Restriction categories III: colimits, partial limits, and extensivity', Mathematical structures in Computer Science, 43.
- Johnstone, P., Lack, S. and Sobocinski, P. (2007), 'Quasitoposes, quasiadhesive categories, and Artin glueing', Lecture Notes in Computer Science, 15.
- Day, B. and Lack, S. (2007), 'Limits of small functors', Journal of Pure and Applied Algebra, 13.
- Lack, S. and Sobocinski, P. (2006), 'Toposes are adhesive', Lecture Notes in Computer Science, 15.
- Lack, S. and Sobocinski, P. (2005), 'Adhesive and quasiadhesive categories', Theoretical Informatics and Applications, 35.
- Lack, S. (2005), 'Limits for lax morphisms', Applied Categorical Structures, 15.
- Lack, S. and Paoli, S. (2005), 'An operadic approach to internal structures', Applied categorical structures, 18.
- Lack, S. (2004), 'A Quillen model structure for bicategories', K-theory, 13.
- Lack, S. (2004), 'The 3-by-3 lemma for regular Goursat categories', Homology, homotopy, and applications, 3.
- Kasangian, S., Lack, S. and Vitale, E. (2004), 'Coalgebras, braidings, and distributive laws', Theory and Applications of Categories, 18.
- Lack, S. (2004), 'Composing PROPs', Theory and Applications of Categories, 17.
- Kelly, G. and Lack, S. (2004), 'Monoidal functors generated by adjunction, with applications to transport of structure', Fields Institute Communications, 22.
- Bunge, M. and Lack, S. (2003), 'Van Kampen theorems for toposes', Advances in Mathematics, 27.
- Crockett, J. and Lack, S. (2003), 'Restriction cfategories. II. Partial map classification', Theoretical Computer Science, 42.
- Cockett, J. and Lack, S. (2002), 'Restriction categories I: categories of partial maps', Restriction categories I: categories of partial maps, 37.
- Lack, S. and Street, R. (2002), 'The formal theory of monads II', Journal of Pure and Applied Algebra, 23.
- Lack, S. (2002), 'Codescent objects and coherence', Journal of Pure and Applied Algebra, 19.
Conference Papers
- Lack, S. and Sobocinski, P. (2004), 'Adhesive categories', Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004, Barcelona.
- Kelly, G. and Lack, S. (2004), 'Monoidal functors gererated by adjunction, with applications to transport of structure', Fields Institute Communications, .
Research
Previous Projects
| Title: | Operadic techniques in the theory of crossed modules and hypercrossed complexes |
|---|---|
| Years: | 2004-03-31 - 2005-03-30 |
| ID: | P0013666 |
| UWS Researchers: | Stephen Lack |
| Funding: |
|
| Title: | Cohomology enhanced: an application of enriched and higher categories [via Macquarie University] |
| Years: | 2007-02-05 - 2010-02-04 |
| ID: | P0015373 |
| UWS Researchers: | Stephen Lack |
| Funding: |
|
| Title: | Category theory arising from geometry, algebra, computer science and physics [via Macquarie University] |
| Years: | 2005-10-18 - 2006-12-31 |
| ID: | P0010000 |
| UWS Researchers: | Stephen Lack |
| Funding: |
|
| Title: | Applicable categorical structures [via Macquarie Uni] |
| Years: | 2010-01-01 - 2010-07-12 |
| ID: | P00017827 |
| UWS Researchers: | Stephen Lack |
| Funding: |
|