omegaplusone

117
reputation

Logic, category theory, algebra