Projects per year
Projects 2007 2022
Active
Working synthetically in higher categorical structures
Lack, S., Verity, D., Garner, R. & Street, R.
19/06/19 → 18/06/22
Project: Other
Monoidal categories and beyond: new contexts and new applications
Street, R., Verity, D., Lack, S., Garner, R. & MQRES Inter Tuition Fee only, M. I. T. F. O.
30/06/16 → …
Project: Research
Transforming exams across Australia: processes and platform for e-exams in high stakes, supervised environments
Bower, M., Hillier, M., Fluck, A., Cowling, M., Howah, K., Blackmore, K., Newhouse, P., Verity, D., Baird, M., Grant, S., Leitch, S., Geer, R. & White, B.
1/01/16 → …
Project: Research
Centre of Australian Category Theory (CoACT)
Lack, S., Verity, D., Street, R., Chikhladze, D., Cohen, J., Corbett, J., Davydov, A., Flax, L., Kennett, C., Paoli, S., Palm, T., Pastro, C., Weber, M., Valckenborgh, F., Batanin, M. & Johnson, M.
1/01/09 → …
Project: Research
Finished
Structural homotopy theory: a category-theoretic study
Street, R., Lack, S., Verity, D., Garner, R., MQRES, M., MQRES 3 (International), M. 3., MQRES 4 (International), M. & MQRES (International), M. (.
1/01/13 → 31/12/16
Project: Research
Applicable categorical structures
Street, R., Johnson, M., Lack, S., Verity, D. & Lan, R.
1/01/10 → 30/06/14
Project: Research
Cohomology enhanced: an application of enriched and higher categories
Street, R., Johnson, M., Lack, S. & Verity, D.
1/01/07 → 31/12/10
Project: Research