Juan-Carlos Gandhi (![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
juan_gandhi) wrote2019-10-09 04:18 pm
juan_gandhi) wrote2019-10-09 04:18 pm
Entry tags:
my book with Table of Contents
Here
https://gumroad.com/l/lcbk02
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
no subject
Желаю удачного путешествия вашей книги в мир читателей профи и не только.
Я работала с коллегой учителем математки из Вьетнама, сумасшедший был человек в самом симпатичном смысле этого слова:)
no subject