10 citations · 16 across the 3 of their papers we have counts for
3 papers
math.CT2021
Isbell conjugacy and the reflexive completion
Tom Avery, Tom Leinster
The reflexive completion of a category consists of the Set-valued functors on it that are canonically isomorphic to their double conjugate. After reviewing both this construction a…
math.CT2017★ 6 cited
Structure and Semantics
Tom Avery
There are many category-theoretic notions of algebraic theory, including Lawvere theories, monads, PROPs and operads. The first central notion of this thesis is a common generalisa…
math.CT2014★ 10 cited
Codensity and the Giry monad
Tom Avery
The Giry monad on the category of measurable spaces sends a space to a space of all probability measures on it. There is also a finitely additive Giry monad in which probability me…