1 citations · 1 across the 2 of their papers we have counts for
3 papers
math.CT2022★ 1 cited
Inner autoequivalences in general and those of monoidal categories in particular
Pieter Hofstra, Martti Karvonen
We develop a general theory of (extended) inner autoequivalences of objects of any 2-category, generalizing the theory of isotropy groups to the 2-categorical setting. We show how…
cs.LO2021
Polymorphic Automorphisms and the Picard Group
Pieter Hofstra, Jason Parker, Philip J. Scott
We investigate the concept of definable, or inner, automorphism in the logical setting of partial Horn theories. The central technical result extends a syntactical characterization…
math.CT2020
Aspects of categorical recursion theory
Pieter Hofstra, Philip Scott
We present a survey of some developments in the general area of category-theoretic approaches to the theory of computation, with a focus on topics and ideas particularly close to t…