my book with Table of Contents

[juan_gandhi]

Here

https://gumroad.com/l/lcbk02

Chapter 1. Functions

• General Ideas
• Main Definitions
• Special Classes of Functions
• Binary Relations
• Binary Operations

 

Chapter 2. Abstractions of Algebra

• Monoids
• Semigroups
• Magmas

Chapter 3. Partial Orders, Graphs, and DAGs

Chapter 4. Boolean Logic

• The Language of First-Order Logic
• Valid and Sound Arguments
• Proofs
• Normal Forms

Chapter 5. Non-Boolean Logic

• The Meaning of Non-Booleanness
• Proof in Intuitionistic Logic

Chapter 6. Quantifiers

• Universal Quantifier
• Existential Quantifier
• Connectives and Quantifiers in Boolean Logic
• Connectives and Quantifiers in Intuitionistic Logic

Chapter 7. Models and Theories

• Algebraic and Geometric Theories
• Models

Chapter 8. Category: Multi-Tiered Monoid

Chapter 9. Working with Categories

• Arrows in a Category
• Initial and Terminal Objects

Chapter 10. Manipulating Objects in a Category

• Product, Sum
• Equalizer, Coequalizer
• Pullback, Pushout

Chapter 11. Relations Between Categories

• Functors
• Building New Categories
• Product of Two Categories
• Sum of Two Categories
• Contravariant Functor
• Variance in Programming Languages

Chapter 12. Relations Between Functors

• Natural Transformations
• Adjoint Functors
• Limits

Chapter 13. Cartesian Closed Categories

• Basic Ideas
• Examples
• Definition: Bicartesian Closed Category

Chapter 14. Monads

• Main Ideas
• Every Adjunction Gives a Monad

Chapter 15. Monads: Algebras and Kleisli

• Category of Algebras
• Free Algebras as Functors
• Forgetting and Freedom
• Kleisli Category

 

Comments

[yonyonson]

Поздравляю! Большое дело. Фундаментальная книжка - это очень большое дело, для большинства - неподъемное.

Надеюсь, фраза "долбил главу" не исчезнет из дыбров ;)
А книжку, видимо, придется читать даже мне. Я давно мечтал покуситься на математику. Учился в физ-мат.классе, после чего думал, что изучал в нем математику и что я ее не люблю. Почитал недавно пару глав из книжки Куранта, проникся. Правда, думать надо. Не всегда времени и энергии хватает, но стыдно не заниматься математикой, особенно в наш век, когда всякие поверхностные компетенции устаревают не за годы, а за месяцы.
Как-то я раньше упустил, что книжка настолько фундаментальная, еще раз поздравляю и спасибо за труд.

[juan_gandhi]

Да у меня есть что подолбить, конечно.
Спасибо.