I discourage reading these writings of mine. I thought I was going to be a mathematician, but I changed my mind. These texts contain mistakes and unfinished work left in confusing state, and I expect you to not understand them.
A common theme of these writings is the restatement of existing mathematical concepts using type theory and non-standard analysis. There are drafts for category theory, differential calculus, logic, computation theory, computation model, and unary algebra.