Projects per year
Projects
Search results
-
Active
Working synthetically in higher categorical structures
Lack, S., Verity, D., Garner, R. & Street, R.
19/06/19 → 18/06/22
Project: Other
-
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
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 → 17/06/19
Project: Research
-
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