HackerPapers

arXiv:1307.0663math.LO

Categories of assemblies for realizability

Wouter Pieter Stekelenburg

HN submission. Found in a submission link or body. Submitters do not count as commenters in the main ranking; a submission is not an endorsement.

Abstract

This paper introduces categories of assemblies which are closely connected to realizability interpretations and which are based on an important subcategory of the effective topos. There is a list of properties which characterize these categories of assemblies up to equivalence.

arXiv comments
Journal reference
DOI
Subjects
math.LOLogic math.CTCategory Theory

On Hacker News

No comments linking this paper were found in the collected sources. Found in 1 HN submission from Nov 2021 to Nov 2021. Open submission discussions.

Comments linking this paper, per year.

Discussed in comments0 threads

No comments linking this paper were found in the collected sources. Open submission discussions.

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.