Pieter Hofstra

Available identifiers

zbMath Open hofstra.pieter-j-wMaRDI QIDQ964544

List of research outcomes

Publication	Date of Publication	Type
Inner automorphisms as 2-cells	2024-08-27	Paper
Inner autoequivalences in general and those of monoidal categories in particular	2024-07-01	Paper
Polymorphic Automorphisms and the Picard Group.	2023-06-23	Paper
Pseudogroups and their torsors	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	2021-12-08	Paper
Toposes for semigroups: an invitation	2021-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q5006462	2021-08-16	Paper
Locally anisotropic toposes	2018-02-09	Paper
Unitary Theories, Unitary Categories	2016-07-08	Paper
Total maps of Turing categories	2016-05-13	Paper
Martin-Löf complexes	2013-12-11	Paper
Combinatorial realizability models of type theory	2013-12-11	Paper
Isotropy and crossed toposes	2013-09-04	Paper
Range categories. I: General theory	2012-10-22	Paper
Range categories II: Towards regularity	2012-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q3093861	2011-10-19	Paper
https://portal.mardi4nfdi.de/entity/Q5200274	2011-08-01	Paper
Categorical simulations	2010-04-22	Paper
Introduction to Turing categories	2009-01-28	Paper
Iterated realizability as a comma construction	2008-03-13	Paper
All realizability is relative	2007-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q3411959	2006-11-30	Paper
Relative completions	2004-08-19	Paper
Ordered partial combinatory algebras	2003-10-13	Paper

Research outcomes over time

This page was built for person: Pieter Hofstra