Monthly Archives: April 2016

Free Objects and Universal Properties, Because Most General is Too Wordy

So we often see these constructions come up. For a set , we define the free group as the group of words under string concatenation of . Similarly, the free monoid over is just words given by under concatenation. We … Continue reading

Posted in Math | Leave a comment

Finite Dimensional Vector Spaces are Naturally Isomorphic to Their Double Dual

Yay first legitimate post on the new site! So this is a statement that is thrown around a lot but not exactly quite understood by most people, so my goal here is to define and make sense of everything that … Continue reading

Posted in Math | Leave a comment

New Blog!

Because paid hosting is expensive and not very useful I’ve decided to host my own server! Same theme as the previous blog, but now on my own machine! Here is some inline math: . Below is a commutative diagram for … Continue reading

Posted in Uncategorized | Leave a comment