M. Knepley, M. Adams, G. Gorman, David Ham, Patrick M. Farrell, Michael Lange
{"title":"课堂讲稿","authors":"M. Knepley, M. Adams, G. Gorman, David Ham, Patrick M. Farrell, Michael Lange","doi":"10.12987/9780300185812-012","DOIUrl":null,"url":null,"abstract":"It is VERY hard to compute homotopy groups. We want to put as much algebraic structure as possible in order to make computation easier. You can’t add maps in HoTop but you can in Spectra (i.e. Spectra is an Ab-category). The motivation to go to S−Alg = HoS then becomes that you want an abelian category We want to study the ring-like objects that arise in this category. “Ring-like” means ring-object, i.e. using the lens of category theory. They have no points, so you can’t do traditional algebra. To measure complexity of these we’ll use dimension.","PeriodicalId":401418,"journal":{"name":"The Extreme of the Middle","volume":"79 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2017-12-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Lecture Notes\",\"authors\":\"M. Knepley, M. Adams, G. Gorman, David Ham, Patrick M. Farrell, Michael Lange\",\"doi\":\"10.12987/9780300185812-012\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"It is VERY hard to compute homotopy groups. We want to put as much algebraic structure as possible in order to make computation easier. You can’t add maps in HoTop but you can in Spectra (i.e. Spectra is an Ab-category). The motivation to go to S−Alg = HoS then becomes that you want an abelian category We want to study the ring-like objects that arise in this category. “Ring-like” means ring-object, i.e. using the lens of category theory. They have no points, so you can’t do traditional algebra. To measure complexity of these we’ll use dimension.\",\"PeriodicalId\":401418,\"journal\":{\"name\":\"The Extreme of the Middle\",\"volume\":\"79 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2017-12-31\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"The Extreme of the Middle\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.12987/9780300185812-012\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"The Extreme of the Middle","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.12987/9780300185812-012","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
It is VERY hard to compute homotopy groups. We want to put as much algebraic structure as possible in order to make computation easier. You can’t add maps in HoTop but you can in Spectra (i.e. Spectra is an Ab-category). The motivation to go to S−Alg = HoS then becomes that you want an abelian category We want to study the ring-like objects that arise in this category. “Ring-like” means ring-object, i.e. using the lens of category theory. They have no points, so you can’t do traditional algebra. To measure complexity of these we’ll use dimension.