Projects per year
Fingerprint
- 1 Similar Profiles
-
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
-
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
-
Limits and colimits in a category of lenses
Chollet, E., Clarke, B., Johnson, M., Songa, M., Wang, V. & Zardini, G., 3 Nov 2022, Proceedings of the Fourth International Conference on Applied Category Theory. Kishida, K. (ed.). Cambridge, UK: Open Publishing Association, p. 164-177 14 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 372).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
Open AccessFile3 Downloads (Pure) -
The more legs the merrier: a new composition for symmetric (multi-)lenses
Johnson, M. & Rosebrugh, R., 8 Feb 2021, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 333, p. 92-107 16 p.Research output: Contribution to journal › Conference paper › peer-review
Open AccessFile3 Citations (Scopus)11 Downloads (Pure) -
Multicategories of multiary lenses
Johnson, M. & Rosebrugh, R., 2019, Proceedings of the 8th International Workshop on Bidirectional Transformations. Cheney, J. & Ko, H-S. (eds.). CEUR Workshop Proceedings, p. 30-44 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
Open AccessFile3 Citations (Scopus)20 Downloads (Pure) -
Confidentiality in the process of (model-driven) software development
Johnson, M. & Stevens, P., 9 Apr 2018, Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming: Programming 2018. New York, NY: Association for Computing Machinery, Vol. Part F137691. p. 1-8 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
6 Citations (Scopus) -
Cospans and symmetric lenses
Johnson, M. & Rosebrugh, R., 9 Apr 2018, Proceedings of 2nd International Conference on Art, Science, and Engineering of Programming (<Programming'18> Companion). New York, NY: Association for Computing Machinery, p. 21-29 9 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
7 Citations (Scopus)