Bryce Clarke

profile photo

email: bryce.clarke@taltech.ee

google scholar: link | arXiv: link

pronouns: he / him

I am a postdoctoral researcher at the Tallinn University of Technology in Tallinn, Estonia. I am a member of the Logic and Semantics Group led by Tarmo Uustalu.

Before that, I was a postdoctoral researcher for two years at Inria Saclay in Palaiseau, France. There I worked with Gabriel Scherer and Noam Zeilberger in the PARTOUT team.

I completed my PhD with Michael Johnson at the Centre of Australian Category Theory (CoACT) at Macquarie University in Sydney, Australia.

I am broadly interested in category theory and its applications, and so far my research has focused on lenses, (op)fibrations, cofunctors, double categories, and factorisation systems.

Research papers

Publications

  1. Profunctor optics: a categorical update
    (with Derek Elkins, Jeremy Gibbons, Fosco Loregian, Bartosz Milewski, Emily Pillmore, and Mario Román)
    Compositionality, Vol. 6, No. 1, 2024. (pdf)
  2. The algebraic weak factorisation system for delta lenses
    Proceedings of the Sixth International Conference on Applied Category Theory 2023,
    Electronic Proceedings in Theoretical Computer Science, Vol. 397, 2023, pp. 54-69. (pdf)
  3. Limits and colimits in a category of lenses
    (with Emma Chollet, Michael Johnson, Maurine Songa, Vincent Wang, and Gioele Zardini)
    Proceedings of the Fourth International Conference on Applied Category Theory,
    Electronic Proceedings in Theoretical Computer Science, Vol. 372, 2022, pp. 164-177. (pdf)
  4. Delta lenses as coalgebras for a comonad
    STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations,
    CEUR Workshop Proceedings, Vol. 2999, 2021, pp. 18-27. (pdf)
  5. A diagrammatic approach to symmetric lenses
    Proceedings of the 3rd Annual International Applied Category Theory Conference 2020,
    Electronic Proceedings in Theoretical Computer Science, Vol. 333, 2021, pp. 79-91. (pdf)
  6. Internal split opfibrations and cofunctors
    Theory and Applications of Categories, Vol. 35, No. 44, 2020, pp. 1608-1633. (pdf)
  7. Internal lenses as functors and cofunctors
    Proceedings Applied Category Theory 2019,
    Electronic Proceedings in Theoretical Computer Science, Vol. 323, 2020, pp. 183-195. (pdf)

Preprints

Other writing

Research talks

Upcoming

Conferences and workshops

Seminars and Colloquia

Australian Category Seminar

Here is a list of my talks at the Australian Category Seminar.

Academic activities

Other links


Last update: 2024-05-31.