"Basic Category Theory for Computer Scientists"

Target entity: "Basic Category Theory for Computer Scientists"
Context triple: [Benjamin C. Pierce, notableWork, "Basic Category Theory for Computer Scientists"]

• A. “Abelian Categories: An Introduction to the Theory of Functors”
  “Abelian Categories: An Introduction to the Theory of Functors” is a foundational monograph in category theory that systematically develops the theory of abelian categories and functors, significantly shaping modern homological algebra.
• B. Sketches of an Elephant: A Topos Theory Compendium
  Sketches of an Elephant: A Topos Theory Compendium is a comprehensive, multi-volume reference work on topos theory that systematically develops and surveys the subject at an advanced research level.
• C. Categories for the Working Mathematician
  Categories for the Working Mathematician is a foundational textbook in category theory that systematically develops the subject and its applications for professional mathematicians.
• D. category theory
  Category theory is a branch of mathematics that studies abstract structures and relationships between them using the language of objects and morphisms, providing a unifying framework across many areas of math and theoretical computer science.
• E. Curry–Howard correspondence
  The Curry–Howard correspondence is a foundational principle in logic and computer science that establishes a deep analogy between proofs and programs, and between logical propositions and types in programming languages.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target entity: "Basic Category Theory for Computer Scientists"
Target entity description: "Basic Category Theory for Computer Scientists" is an introductory textbook by Benjamin C. Pierce that presents the fundamentals of category theory with a focus on applications in computer science, particularly in programming language semantics and type theory.

• A. “Abelian Categories: An Introduction to the Theory of Functors”
  “Abelian Categories: An Introduction to the Theory of Functors” is a foundational monograph in category theory that systematically develops the theory of abelian categories and functors, significantly shaping modern homological algebra.
• B. Sketches of an Elephant: A Topos Theory Compendium
  Sketches of an Elephant: A Topos Theory Compendium is a comprehensive, multi-volume reference work on topos theory that systematically develops and surveys the subject at an advanced research level.
• C. Categories for the Working Mathematician
  Categories for the Working Mathematician is a foundational textbook in category theory that systematically develops the subject and its applications for professional mathematicians.
• D. category theory
  Category theory is a branch of mathematics that studies abstract structures and relationships between them using the language of objects and morphisms, providing a unifying framework across many areas of math and theoretical computer science.
• E. Curry–Howard correspondence
  The Curry–Howard correspondence is a foundational principle in logic and computer science that establishes a deep analogy between proofs and programs, and between logical propositions and types in programming languages.
• F. None of above. chosen