scientific article
From MaRDI portal
Publication:3795831
zbMath0651.18004MaRDI QIDQ3795831
Peter J. Freyd, Aurelio Carboni, Andrej Scedrov
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
regular categoryassemblypolymorphic typesdiscrete reflectionrelation in a categoryrealizability universediscrete topos
Specification and verification (program logics, model checking, etc.) (68Q60) Categorical logic, topoi (03G30) Topoi (18B25) Categories of spans/cospans, relations, or partial maps (18B10)
Related Items
Relative completions ⋮ Maps. I: Relative to a factorisation system ⋮ On completeness and cocompleteness in and around small categories ⋮ Some free constructions in realizability and proof theory ⋮ A small complete category ⋮ On categorical structures arising from implicative algebras: from topology to assemblies ⋮ Parallelism in realizability models ⋮ A modest model of records, inheritance, and bounded quantification ⋮ Recursion over realizability structures ⋮ The category of equilogical spaces and the effective topos as homotopical quotients ⋮ Univalent polymorphism ⋮ Relations in operational categories ⋮ Extensional PERs ⋮ Sobriety for equilogical spaces ⋮ Proof-Relevant Logical Relations for Name Generation ⋮ Unifying exact completions ⋮ Aspects of predicative algebraic set theory. II: Realizability ⋮ Extensional models for polymorphism ⋮ Fixed points in Cartesian closed categories ⋮ Functorial polymorphism ⋮ Unnamed Item ⋮ Equilogical spaces ⋮ Locally cartesian closed exact completions ⋮ Aspects of Categorical Recursion Theory
