Post #1905729

2026-04-25 09:41 UTC

@maxsnew by the category of subgroups displayed over groups do you mean the Grothendieck construction of the presheaf on the category of groups that maps every group to its subgroups?

Replies (1)

@maxsnew@types.pl 2026-04-25 12:16

@pamorim That's one way to define it but that requires defining the Cartesian lifts from the start. You can also directly define a displayed category of subgroups as having an object S over a group G being a subgroup and then a displayed morphism over a homomorphism phi : G -> H from S over G to T over H to be a proof that for all s in S. phi(s) in T. Then Cartesian lifts have a universal property in this displayed category. More generally you can define e.g. a displayed category of monomorphisms over any category. I like the perspective of the displayed category first because there's something slightly non-trivial in defining the Cartesian lift: you have to prove that the inverse image phi^*(T) is actually a subgroup not just a subset. And for the general monomorphism case you can define the displayed category of monos even if the category doesn't have the pullbacks you need to define the inverse image

Open ##1905730