Doctor Stephen Lack

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:
  • University of Western Sydney
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:
  • Australian Research Council (ACRG)
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:
  • Australian Research Council (ACRG)
Title:Applicable categorical structures [via Macquarie Uni]
Years:2010-01-01 - 2010-07-12
ID:P00017827
UWS Researchers:Stephen Lack
Funding:
  • Australian Research Council (ACRG)

University of Western Sydney

Locked Bag 1797
Penrith NSW 2751

Tel: +61 2 9852 5222

ABN 53 014 069 881
CRICOS Provider No: 00917k

Visit our mobile site