Get personalized book recommendations based on your reading history and preferences. Our algorithm analyzes your favorite books and reading patterns to suggest your next great read.

Categorical Logic comprises books at the intersection of category theory and mathematical logic, where logical systems are described and studied via category-theoretic structures and semantics. Works in this category cover topics such as topos theory and internal languages, cartesian closed and higher categories, adjunctions and monads, fibrations and indexed categories, algebraic set theory and realizability, and categorical treatments of intuitionistic, constructive, modal, and type-theoretic logics (including the lambda calculus). Many titles connect to the semantics of programming languages, proof theory, and foundations of mathematics. The collection ranges from introductory texts to research monographs and proceedings, aimed at readers in mathematics, logic, and theoretical computer science seeking a structural, concept-driven approach to logic.

Filter books by their publication year. Enter the earliest year (Start) and latest year (End) to find books published within that period. Leave either field empty to search from the beginning of time or up to the present day.