A note on Russell's paradox in locally Cartesian closed categories
From MaRDI portal
Publication:914668
DOI10.1007/BF00370830zbMath0702.03036MaRDI QIDQ914668
Publication date: 1989
Published in: Studia Logica (Search for Journal in Brave)
Russell's paradox; categorical version of the paradox; fragment of Martin-Löf's extensional type theory; generic morphism; locally cartesian closed category
03G30: Categorical logic, topoi
18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)
03F35: Second- and higher-order arithmetic and fragments
Related Items
A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points, Intuitionistic sets and ordinals
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A note on inconsistencies caused by fixpoints in a cartesian closed category
- Generalized algebraic theories and contextual categories
- On the syntax of Martin-Löf's type theories
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory
- Locally cartesian closed categories and type theory