List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Inner automorphisms as 2-cells Theory and Applications of Categories | 2024-08-27 | Paper |
| Inner autoequivalences in general and those of monoidal categories in particular Journal of Pure and Applied Algebra | 2024-07-01 | Paper |
| Polymorphic Automorphisms and the Picard Group. (available as arXiv preprint) | 2023-06-23 | Paper |
| Pseudogroups and their torsors Semigroup Forum | 2022-05-31 | Paper |
| Inner autoequivalences in general and those of monoidal categories in particular | 2022-05-07 | Paper |
| Isotropy of algebraic theories | 2022-05-03 | Paper |
| Aspects of categorical recursion theory Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics | 2021-12-08 | Paper |
| Toposes for semigroups: an invitation Semigroup Forum | 2021-11-19 | Paper |
| Locally anisotropic toposes. II | 2021-08-16 | Paper |
| Locally anisotropic toposes Journal of Pure and Applied Algebra | 2018-02-09 | Paper |
| Unitary theories, unitary categories Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
| Total maps of Turing categories | 2016-05-13 | Paper |
| Martin-Löf complexes Annals of Pure and Applied Logic | 2013-12-11 | Paper |
| Combinatorial realizability models of type theory Annals of Pure and Applied Logic | 2013-12-11 | Paper |
| Isotropy and crossed toposes Theory and Applications of Categories | 2013-09-04 | Paper |
| Range categories. I: General theory Theory and Applications of Categories | 2012-10-22 | Paper |
| Range categories II: Towards regularity Theory and Applications of Categories | 2012-10-22 | Paper |
| The Dialectica monad and its cousins | 2011-10-19 | Paper |
| Topos theoretic aspects of semigroup actions | 2011-08-01 | Paper |
| Categorical simulations Journal of Pure and Applied Algebra | 2010-04-22 | Paper |
| Introduction to Turing categories Annals of Pure and Applied Logic | 2009-01-28 | Paper |
| Iterated realizability as a comma construction Mathematical Proceedings of the Cambridge Philosophical Society | 2008-03-13 | Paper |
| All realizability is relative Mathematical Proceedings of the Cambridge Philosophical Society | 2007-02-07 | Paper |
| Descent for monads | 2006-11-30 | Paper |
| Descent for monads | 2006-11-30 | Paper |
| Relative completions Journal of Pure and Applied Algebra | 2004-08-19 | Paper |
| Ordered partial combinatory algebras Mathematical Proceedings of the Cambridge Philosophical Society | 2003-10-13 | Paper |
Research outcomes over time
This page was built for person: Pieter Hofstra
