Welcome! This is where I'll be publishing all of my math notes from my classes and self-study.
There may very well be some mistakes in my proofs/exercise solutions, so proceed with caution. If you happen to spot an error, please let me know!
### List of tags:

- linear-algebra
- matrices
- model-theory
- sentential-logic
- first-order-logic
- axioms
- set-theory
- cardinality
- nonstandard-model
- order-theory
- ordinals
- matrix-factorization
- algebra
- forcing
- rings
- abstract-algebra
- p-adic-analysis
- analysis
- type-theory
- logic
- computer-science
- numerical-analysis
- category-theory
- functors
- fields
- categorical-limits
- combinatorics