A selection of talks by Peter M. Hines:

• Categorical Coherence in the Untyped Setting
• How Category Theory Stops the Infinite Becoming Trivial
• The Naval Research Laboratory Lecture Series (selected highlights)
• Information Theory: from Cognitive Science to Communication Channels
• Distributivity and Shor's algorithm
• Logic, Meaning, and Grammar
• A Tale of Two Logics
• Types in Categorical Linguistics
• Circuits for Coherent Conditional Iteration
• The Category Theory of Quantum Logic
• Physical Systems, Constructive Logics, and Wolfram's Principle
• The Order Theory of Iteration

Peter Hines