Texas mathematician studying applied category theory. Trying to make sense of it all. I'm building a small company called TOCK Analytics, whose concept won an award from the office of Senator Ted Cruz, and is receiving many well wishes. Thank you so much!