Book contents
- Frontmatter
- Dedication
- Contents
- Prologue
- Part One Building up to Categories
- Interlude A Tour of Math
- Part Two Doing Category Theory
- Epilogue Thinking categorically
- Appendices
- Appendix A Background on alphabets
- Appendix B Background on basic logic
- Appendix C Background on set theory
- Appendix D Background on topological spaces
- Glossary
- Further Reading
- Acknowledgements
- Index
Appendix B - Background on basic logic
from Appendices
Published online by Cambridge University Press: 13 October 2022
- Frontmatter
- Dedication
- Contents
- Prologue
- Part One Building up to Categories
- Interlude A Tour of Math
- Part Two Doing Category Theory
- Epilogue Thinking categorically
- Appendices
- Appendix A Background on alphabets
- Appendix B Background on basic logic
- Appendix C Background on set theory
- Appendix D Background on topological spaces
- Glossary
- Further Reading
- Acknowledgements
- Index
Summary
We cover some of the basic building blocks of logic, including logical implication, converse and contrapositive, quantifiers, and their negations.
- Type
- Chapter
- Information
- The Joy of AbstractionAn Exploration of Math, Category Theory, and Life, pp. 404Publisher: Cambridge University PressPrint publication year: 2022