nLab category with extra structure on objects

Contents

Contents

Idea

A subcategory π’Ÿ\mathcal{D} of a category π’ž\mathcal{C} can be defined as a subset Ob D\mathrm{Ob}_D of Ob π’ž\mathrm{Ob}_\mathcal{C} and for all X,Y∈Ob π’žX,Y \in \mathrm{Ob}_\mathcal{C}, a subset π’Ÿ[X,Y]\mathcal{D}[X,Y] such that:

  • for every X∈Ob π’ŸX \in \mathrm{Ob}_\mathcal{D}, we have id Xβˆˆπ’Ÿ[X,X]\mathrm{id}_X \in \mathcal{D}[X,X],
  • for all objects X,Y,Z∈Ob π’ŸX,Y,Z \in \mathrm{Ob}_\mathcal{D} and for all morphisms fβˆˆπ’Ÿ[X,Y]f \in \mathcal{D}[X,Y], gβˆˆπ’Ÿ[Y,Z]g \in \mathcal{D}[Y,Z], we have f;gβˆˆπ’Ÿ[X,Z]f;g \in \mathcal{D}[X,Z].

We then obtain that π’Ÿ\mathcal{D} is a category.

A category which will not form a subcategory of the base category can also be obtained starting from a category. The idea is that instead of selecting subsets of objects and morphisms, we add some structure on the objects. We can add different structures to the same starting object, ending up with different objects with extra structure. The set of morphisms between two objects with extra structure can be seen as a subset of the morphisms between the underling objects in the initial category. We try to give an abstract account of how the candidate objects with extra structure and morphisms between them can be made into a category. We don’t explicitly introduce extra structure but the framework is meant to abstract what’s going on in purely categorical terms.

Given a category with extra structure on objects π’Ÿ\mathcal{D} with base category π’ž\mathcal{C}, we obtain a faitfhful forgetful functor U:π’Ÿβ†’π’žU:\mathcal{D} \rightarrow \mathcal{C}. We can’t really see π’Ÿ\mathcal{D} as a subcategory of π’ž\mathcal{C} since the image of a functor is properly defined only if this functor is injective on objects. And most of the time UU will not be injective on objects. However, we can use the full image of UU. The full image of UU is not properly a subcategory of π’Ÿ\mathcal{D} since the morphisms live in π’Ÿ\mathcal{D} but the objects live in π’ž\mathcal{C}. This full image can be intuitively identified with the category π’Ÿ\mathcal{D} here. This is because although the objects of π’Ÿ\mathcal{D} can’t be reduced to objects of π’ž\mathcal{C}, the morphisms of π’Ÿ\mathcal{D} can be seen as morphisms of π’ž\mathcal{C}.

Definition and proposition

Let π’ž\mathcal{C} be a category. We call category with extra structure on objects π’Ÿ\mathcal{D} with base category π’ž\mathcal{C} the data of:

  • a set Ob π’Ÿ\mathrm{Ob}_\mathcal{D} together with a function
    U:Ob π’Ÿβ†’Ob π’ž, U:\mathrm{Ob}_\mathcal{D} \rightarrow \mathrm{Ob}_\mathcal{C},
  • for all X,Y∈Ob π’ŸX,Y \in \mathrm{Ob}_\mathcal{D}, a set π’Ÿ[X,Y]\mathcal{D}[X,Y],
  • for all X,Y∈Ob π’ŸX,Y \in \mathrm{Ob}_\mathcal{D}, an injection
    U:π’Ÿ[X,Y]β†’π’ž[U(X),U(Y)], U:\mathcal{D}[X,Y] \rightarrow \mathcal{C}[U(X),U(Y)],

such that:

  • id U(X)∈U(π’Ÿ[X,X])\mathrm{id}_{U(X)} \in U(\mathcal{D}[X,X]) for every X∈Ob π’ŸX \in \mathrm{Ob}_\mathcal{D},
  • U(u);U(v)∈U(π’Ÿ[X,Z])U(u);U(v) \in U(\mathcal{D}[X,Z]) for all X,Y,Z∈Ob π’ŸX,Y,Z \in \mathrm{Ob}_\mathcal{D}, uβˆˆπ’Ÿ[X,Y]u \in \mathcal{D}[X,Y], vβˆˆπ’Ÿ[Y,Z]v \in \mathcal{D}[Y,Z].

Proposition

The set Ob π’Ÿ\mathrm{Ob}_\mathcal{D} together with the sets π’Ÿ[X,Y]\mathcal{D}[X,Y] for all X,Y∈Ob π’ŸX,Y \in \mathrm{Ob}_\mathcal{D} form a category π’Ÿ\mathcal{D} with identities and composition defined as follows:

  • u;v:=U βˆ’1(U(u);U(v))u;v\,:= U^{-1}(U(u);U(v)) for all X,Y,Z∈Ob π’ŸX,Y,Z \in \mathrm{Ob}_\mathcal{D}, uβˆˆπ’Ÿ[X,Y]u \in \mathcal{D}[X,Y] and vβˆˆπ’Ÿ[Y,Z]v \in \mathcal{D}[Y,Z],
  • id X=U βˆ’1(id U(X))\mathrm{id}_X=U^{-1}(\mathrm{id}_{U(X)}).

Moreover the functions U:Ob π’žβ†’Ob π’ŸU:\mathrm{Ob}_\mathcal{C} \rightarrow \mathrm{Ob}_\mathcal{D} and U:π’Ÿ[X,Y]β†’π’ž[U(X),U(Y)]U:\mathcal{D}[X,Y] \rightarrow \mathcal{C}[U(X),U(Y)] for all X,Y∈Ob π’ŸX,Y \in \mathrm{Ob}_\mathcal{D} define a faithful functor from π’Ÿ\mathcal{D} to π’ž\mathcal{C}.

Last revised on August 23, 2024 at 01:18:18. See the history of this page for a list of all contributions to it.