Category Theory is Type Theorycs.stackexchange.com2 points·Scriptor··0 commentsOpen articleSaveView on HN