2013/07/02 by Wouter Pieter Stekelenburg, Stekelenburg, Wouter Pieter · 1 voice
Computer Science · Mathematics · #03G30 #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #math.CT #math.LO #msc:03G30
paper · pdf · doi:10.48550/arxiv.1307.0663
arxiv created 2013/07/02 · openalex publication_date 2013/07/02 · arxiv published 2013/07/02 · arxiv updated 2013/07/02 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.