Fibrations and recursivity

DOI10.1051/ita/1995290301931zbMath0833.03017OpenAlexW1603906406MaRDI QIDQ4850324

Richard Mijoule

Publication date: 17 March 1996

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/92504

zbMATH Keywords

partial functionsfixed-point theorempresheavesfibred categoriescategory-theoretic recursion theory

Mathematics Subject Classification ID

Fibered categories (18D30) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Abstract and axiomatic computability and recursion theory (03D75)

Cites Work

• Generalized Banach-Mazur functionals in the topos of recursive sets
• Fibered categories and the foundations of naive category theory
• Tripos theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Fibrations and recursivity