Pieter Hofstra
From MaRDI portal
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
