prove homogeneous system solutions are a subspace
add page for notes on aluffi
add definitoin of a category to aluffi notes
add paragraph explaining need for classes instead of sets in categories
more notes on set functions
add examples of categories