On the self-predicative universals of category theory [pdf]philpapers.org1 point·lainon··0 commentsOpen articleSaveView on HN