!juhLavcoMtmOVJnyJr:matrix.org

Category Theory

509 Members
part of the +mathematics:matrix.org community43 Servers

Load older messages


SenderMessageTime
4 May 2020
@thosgood:matrix.orgTimthis is a really interesting question21:10:51
@thosgood:matrix.orgTimthat i have absolutely zero idea on how to approach21:10:59
@thosgood:matrix.orgTim when you start looking at things like fgfgf you have two natural things you could do at the start 21:11:41
@thosgood:matrix.orgTimand whether or not they agree in the end looks like checking some sort of associativity21:11:55
8 May 2020
@danimal-moo:matrix.orgcellofhuman joined the room.02:45:55
10 May 2020
@granular:converser.eugranular joined the room.23:27:23
@granular:converser.eugranularhello23:27:40
11 May 2020
@granular:converser.eugranularis no one on the server?04:18:14
@granular:converser.eugranulari wanted to learn some category theory :(04:18:30
@khinchin:matrix.orgKhinchin invited @_neb_wikipedia:matrix.orgWikipedia.04:21:04
@_neb_wikipedia:matrix.orgWikipedia joined the room.04:21:05
@khinchin:matrix.orgKhinchin
In reply to @granular:converser.eu
is no one on the server?
Hello
04:21:42
@khinchin:matrix.orgKhinchin
In reply to @granular:converser.eu
i wanted to learn some category theory :(
What do you want to learn? From scratch or from the view of algebra?
04:24:04
@chexxor:matrix.orgchexxorThere are people in this channel. Some are really knowledgeable! Some, like me, are a bit slower. 😉04:30:01
@granular:converser.eugranular
In reply to @khinchin:matrix.org
What do you want to learn? From scratch or from the view of algebra?
well i know some basic alg! i dont know if its sufficient for cat theory though
04:34:06
@khinchin:matrix.orgKhinchin
In reply to @granular:converser.eu
well i know some basic alg! i dont know if its sufficient for cat theory though
If you know group theory or more about ring, then it is already enough to study category theory via categorical algebra.
05:04:48
@granular:converser.eugranularI know some group theory yes05:54:42
@granular:converser.eugranular removed their display name granular.06:17:13
@granular:converser.eugranular 06:25:48
@granular:converser.eugranular set their display name to granular.06:27:29
@granular:converser.eugranularany book recommendations?07:18:03
@thosgood:matrix.orgTimAluffi’s book (Algebra: Chapter 0) is very good08:11:19
@khinchin:matrix.orgKhinchin
In reply to @thosgood:matrix.org
Aluffi’s book (Algebra: Chapter 0) is very good
I also start to learn category theory from this book....
09:12:22
@khinchin:matrix.orgKhinchin
In reply to @thosgood:matrix.org
Aluffi’s book (Algebra: Chapter 0) is very good
* I also started to learn category theory from this book....
09:12:44
12 May 2020
@danimal-moo:matrix.orgcellofhuman changed their display name from danimal-moo to cellofhuman.04:59:24
@danimal-moo:matrix.orgcellofhuman set a profile picture.05:35:10
14 May 2020
@joel135:matrix.orgJoel Sjögren given a space X, what do you call the objects X -> Y in the category whose initial object is the map X -> ||X||n from a space to its n-truncation? 13:45:24
15 May 2020
@thosgood:matrix.orgTimi’m not sure i understand the question... what’s the category?12:47:33
@joel135:matrix.orgJoel Sjögren I don't know exactly. Certainly it is a subcategory of the cocomma category for X. 13:09:41
@joel135:matrix.orgJoel Sjögren I am thinking that f : X -> Y should send m-spheres to boundaries of m+1-balls for all m ≥ n. 13:12:28

Show newer messages


Back to Room ListRoom Version: 4