I’m looking for people interested in reading, and forming a reading group for the following books on which I am at various levels of progress:

  • Rudin, Walter, Principles of Mathematical Analysis, 3e.
    • Offers an introduction to analysis.
  • Hoffman and Kunze, Linear Algebra, 2e
    • Offers an introduction to linear algrbra. I am almost done with this book.
  • Munkres, Topology, 2e
    • Offers an introduction to topology.
  • Kallenberg, Olav, Foundations of Modern Probability, 2e
    • Surveys probability theory.
  • Awodey Category Theory, 2e
    • Introduces category theory.
  • Bertot and Castéran, Interactive Theorem Proving and Program Development
    • Introduction to languages with dependent types and formal verification in Coq.
  • Cover, Thomas, Elements of Information Theory, 2e
    • Introduction to Information Theory.