!juhLavcoMtmOVJnyJr:matrix.org

Category Theory

60 Members
part of the +mathematics:matrix.org community6 Servers

Load older messages


SenderMessageTime
15 May 2020
@joel135:matrix.orgJoel SjögrenI mean coslice category.14:12:51
21 May 2020
@foocraft:matrix.orgfoocraft joined the room.23:31:54
26 May 2020
@asadoll:matrix.orgasadoll joined the room.20:25:34
4 Jun 2020
@ryankeleti:matrix.orgRyan joined the room.00:14:32
14 Jun 2020
@variety:matrix.orgvariety joined the room.20:06:16
@variety:matrix.orgvariety set a profile picture.20:14:40
@thosgood_dev:matrix.orgthosgood_dev joined the room.23:43:29
@thosgood:matrix.orgTimchanged room power levels.23:44:51
@mehmetoguzderin:matrix.orgmehmetoguzderin joined the room.23:56:33
15 Jun 2020
@adebray:matrix.orgArun joined the room.00:06:51
@adebray:matrix.orgArun changed their display name from adebray to Arun.00:07:32
@adebray:matrix.orgArun set a profile picture.00:08:44
@ang00:matrix.organg00 joined the room.00:20:12
@jlba:matrix.orgjlba joined the room.01:19:17
@joel135:matrix.orgJoel Sjögren https://ncatlab.org/nlab/show/topos+of+pointed+objects 08:48:30
@joel135:matrix.orgJoel SjögrenI wonder, what is the subobject classifier, and how does this generalize to ∞-toposes?08:49:35
@joel135:matrix.orgJoel Sjögren If Ω is to classify maps of pointed spaces (y, Y) -> (a, A) then a map (a, A) -> Ω (which I see as a type family over (a, A)) will give not only a type B(x) for each x, but will also give a single chosen b : B(a). 09:01:12
@joel135:matrix.orgJoel SjögrenI think the pullback condition on that page ensures that B(a) is actually contractible, so that no ambiguity arises when you transport b : B(a) along a path a = a.09:05:55
@thosgood:matrix.orgTim huh, interesting way to think about it via type families 11:54:31
18 Jun 2020
@zzalpha:matrix.orgzzalpha joined the room.07:11:54
@zzalpha:matrix.orgzzalpha set their display name to zzalpha.16:01:35
19 Jun 2020
@asadoll:matrix.orgasadoll set a profile picture.13:12:36
@asadoll:matrix.orgasadoll changed their profile picture.13:13:06
20 Jun 2020
@thosgood:matrix.orgTim changed the room topic to "part of the +mathematics:matrix.org community" from "a place to discuss category theory, both applied and theoretical, and any other related things | part of the +mathematics:matrix.org community".11:42:18
24 Jun 2020
@eisenvig:matrix.orgeisenvig joined the room.22:04:34
27 Jun 2020
@joel135:matrix.orgJoel Sjögren related to my question https://youtu.be/qmCh9KwrQq8?t=3069 00:13:46
28 Jun 2020
@simplyconnectedliegroup:matrix.orgsimplyconnectedliegroup joined the room.22:01:30
30 Jun 2020
@nocase_:matrix.orgnocase_ joined the room.19:45:16
1 Jul 2020
@mizorul:matrix.orgmizorul joined the room.00:50:58
2 Jul 2020
@ryankeleti:matrix.orgRyan changed their display name from ryankeleti to Ryan.14:46:41

There are no newer messages yet.


Back to Room List