scientific article
From MaRDI portal
Publication:3204459
zbMath0717.03028MaRDI QIDQ3204459
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenessPERcomplete categorieshigher-order type theorycategory of partial equivalence relations on the natural numbers
Categorical logic, topoi (03G30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35)
Related Items
Parametricity as isomorphism, On completeness and cocompleteness in and around small categories, An exper model for Quest, Functorial polymorphism, Unnamed Item
