{"title":"分类向上,集合向下;分类向外,集合向内!","authors":"Jonathan Kirby","doi":"10.1093/philmat/nkae010","DOIUrl":null,"url":null,"abstract":"Practical approaches to the notions of subsets and extension sets are compared, coming from broadly set-theoretic and category-theoretic traditions of mathematics. I argue that the set-theoretic approach is the most practical for ‘looking down’ or ‘in’ at subsets and the category-theoretic approach is the most practical for ‘looking up’ or ‘out’ at extensions, and suggest some guiding principles for using these approaches without recourse to either category theory or axiomatic set theory.","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":"108 1","pages":""},"PeriodicalIF":0.8000,"publicationDate":"2024-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Up with Categories, Down with Sets; Out with Categories, In with Sets!\",\"authors\":\"Jonathan Kirby\",\"doi\":\"10.1093/philmat/nkae010\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Practical approaches to the notions of subsets and extension sets are compared, coming from broadly set-theoretic and category-theoretic traditions of mathematics. I argue that the set-theoretic approach is the most practical for ‘looking down’ or ‘in’ at subsets and the category-theoretic approach is the most practical for ‘looking up’ or ‘out’ at extensions, and suggest some guiding principles for using these approaches without recourse to either category theory or axiomatic set theory.\",\"PeriodicalId\":49004,\"journal\":{\"name\":\"Philosophia Mathematica\",\"volume\":\"108 1\",\"pages\":\"\"},\"PeriodicalIF\":0.8000,\"publicationDate\":\"2024-04-13\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Philosophia Mathematica\",\"FirstCategoryId\":\"98\",\"ListUrlMain\":\"https://doi.org/10.1093/philmat/nkae010\",\"RegionNum\":1,\"RegionCategory\":\"哲学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"HISTORY & PHILOSOPHY OF SCIENCE\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Philosophia Mathematica","FirstCategoryId":"98","ListUrlMain":"https://doi.org/10.1093/philmat/nkae010","RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"HISTORY & PHILOSOPHY OF SCIENCE","Score":null,"Total":0}
Up with Categories, Down with Sets; Out with Categories, In with Sets!
Practical approaches to the notions of subsets and extension sets are compared, coming from broadly set-theoretic and category-theoretic traditions of mathematics. I argue that the set-theoretic approach is the most practical for ‘looking down’ or ‘in’ at subsets and the category-theoretic approach is the most practical for ‘looking up’ or ‘out’ at extensions, and suggest some guiding principles for using these approaches without recourse to either category theory or axiomatic set theory.
期刊介绍:
Philosophia Mathematica is the only journal in the world devoted specifically to philosophy of mathematics. The journal publishes peer-reviewed new work in philosophy of mathematics, the application of mathematics, and computing. In addition to main articles, sometimes grouped on a single theme, there are shorter discussion notes, letters, and book reviews. The journal is published online-only, with three issues published per year.