my book with Table of Contents
Oct. 9th, 2019 04:18 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
juan_gandhiHere
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
Date: 2019-10-10 01:50 pm (UTC)