Joy of Abstraction (The)

- Prologue
- Part I. Building Up to Categories: 1. Categories: the idea
- 2. Abstraction
- 3. Patterns
- 4. Context
- 5. Relationships
- 6. Formalism
- 7. Equivalence relations
- 8. Categories: the definition
- Interlude: A Tour of Math: 9. Examples we've already seen, secretly
- 10. Ordered sets
- 11. Small mathematical structures
- 12. Sets and functions
- 13. Large worlds of mathematical structures
- Part II. Doing Category Theory: 14. Isomorphisms
- 15. Monics and epics
- 16. Universal properties
- 17. Duality
- 18. Products and coproducts
- 19. Pullbacks and pushouts
- 20. Functors
- 21. Categories of categories
- 22. Natural transformations
- 23. Yoneda
- 24. Higher dimensions
- 25. Epilogue: thinking categorically
- Appendices: A. Background on alphabets
- B. Background on basic logic
- C. Background on set theory
- D. Background on topological spaces
- Glossary
- Further reading
- Acknowledgements
- Index.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Filosofia: a lógica
• Lógica matemática
• Matemática para cientistas
• Matemática populares
• A física quântica (mecânica quântica e teoria quântica de campos)
• Programação funcional