1 citations · 1 across the 3 of their papers we have counts for
5 papers
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…
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…
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…
Combinatorial realizability models of type theory
Pieter Hofstra, Michael A. Warren
We introduce a new model construction for Martin-Löf intensional type theory, which is sound and complete for the 1-truncated version of the theory. The model formally combines the…
Martin-Löf Complexes
Steve Awodey, Pieter Hofstra, Michael A. Warren
In this paper we define Martin-Löf complexes to be algebras for monads on the category of (reflexive) globular sets which freely add cells in accordance with the rules of intension…