6 citations · 6 across the 1 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
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…