nLab Bryce Clarke

Selected writings

I am a postdoctoral researcher at the Inria Saclay in Palaiseau, France, where I am working with Gabriel Scherer and Noam Zeilberger in the PARTOUT team.

Before that, I was a PhD student at the Centre of Australian Category Theory (CoACT) and Macquarie University in Sydney, Australia, under the supervision of Michael Johnson and Dominic Verity.

I am broadly interested in category theory and its applications, and so far my research has focused on delta lenses, opfibrations, cofunctors, and double categories.

Selected writings

On lenses (in computer science), in particular on delta lenses:

  • Bryce Clarke, Internal lenses as functors and cofunctors, Proceedings Applied Category Theory 2019, Electronic Proceedings in Theoretical Computer Science, 323, 2020. (doi:10.4204/EPTCS.323.13)

  • Bryce Clarke, A diagrammatic approach to symmetric lenses, Proceedings of the 3rd Annual International

    Applied Category Theory Conference 2020, Electronic Proceedings in Theoretical Computer Science, 333, 2021. (doi:10.4204/EPTCS.333.6)

  • Bryce Clarke, Delta lenses as coalgebras for a comonad, Bx 2021: 9th International Workshop on Bidirectional Transformations, CEUR Workshop Proceedings, 2999, 2021. (pdf, arXiv:2108.00390)

  • Bryce Clarke, Limits and Colimits in a Category of Lenses, Proceedings of the Fourth International Conference on Applied Category Theory, Electronic Proceedings in Theoretical Computer Science, 372, 2022. (doi:10.4204/EPTCS.372.12)

On cofunctors, including their relationship to split opfibrations in internal category theory, and their generalisation to enriched category theory:

On optics (in computer science):

On the double category of lenses:

category: people

Last revised on February 16, 2023 at 10:23:58. See the history of this page for a list of all contributions to it.