Uniform preorders and partial combinatory algebras

MaRDI QIDQ6862431zbMATH OpenFDO

Authors Jonas Frey

Publication date 9 February 2026

Published in Theory and Applications of Categories (Search for Journal in Brave)

Full work available at URL http://www.tac.mta.ca/tac/volumes/45/4/45-04abs.html#vol45

zbMATH Keywords

cocompletionindexed preorderpartial combinatory algebrarealizabilitytriposuniform preorder

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Categorical logic, topoi (03G30) Fibered categories (18D30)

Cites work

• A characterization of generalized existential completions
• A topos for continuous logic
• All realizability is relative
• Categories of partial equivalence relations as localizations
• Characterizing partitioned assemblies and realizability toposes
• Effective operations of type 2 in PCAs
• Frames and Locales
• Homotopy type theory. Univalent foundations of mathematics
• scientific article; zbMATH DE number 3700811 (Why is no real title available?)
• scientific article; zbMATH DE number 1129148 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• Locally cartesian closed exact completions
• Monads for which structures are adjoint to units
• Realizability. An introduction to its categorical side
• The Dialectica monad and its cousins
• The existential completion
• Tripos theory
• Triposes, q-toposes and toposes

This page was built for publication: Uniform preorders and partial combinatory algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6862431)