定义 184.108.40.206. A caregory fibered in sets over is a fibered category such that for all , is a set, i.e. only maps are identity.
We note in category theory, a set means a category where the only maps are identity (this is definition).
Note for such , we have a well-defined pullback map. Indeed, we get diagramThen we get lying over , i.e. is morphism in . But is a set, so it must be identity by definition, i.e. .
So, given , we get compatible with composition, i.e. naturally yields a presheaf where .
The next task is to show categories fibered in sets are the same as presheaves.
引理 220.127.116.11. If is a category fibered in sets and is any fibered category, then is a set.
推论 18.104.22.168. Categories fibered in sets over is a (locally small) category, i.e. is a set.
例 22.214.171.124. Given a presheaf , let be the following category: objects are with , , morphisms are in such that so .
This is a fibered category because: we just let be , and we need to show pullback exists. Suppose we havewe claim this is a pullback, i.e. all maps are Cartesian.
To check this, we have the following diagramIn this diagram, we get and suppose we are given ,We are trying to show there is unique map , i.e. we want
Why this map exists? By definition, means as we are working with presheaf. Hence we indeed get the desired arrow .
We should also check is a set, so that is fibered in sets.
The objects of are with . The morphisms are lying over identity , i.e.but and hence . Thus morphisms in are identity, i.e. is a set.
命题 126.96.36.199. There is an equivalence of categories betweengiven by
We defined the maps already, so one should check these are quasi-inverse maps
Throughout the course, we will identify with .
定义 188.8.131.52. A category is a groupoid if all morphisms are isomorphisms.
例 184.108.40.206. If is a group, then the category with one object and morphisms being is a groupoids (i.e. if object is , then we get an arrow for each ). Thus groups are examples of groupoids.
定义 220.127.116.11. A category fibered in groupoids is a fibered category such that all are groupoids.
命题 18.104.22.168. If are categories fibered in groupoids over , then the category is a groupoid.
We note in the proof, we only need being fibered in groupoids. Also, by the same argument, one can show that if is category fibered in groupoids, then all arrows are Cartesian.
Next we consider a nice example of categories fibered in groupoids.
定义 22.214.171.124. A groupoid in is such that andand we get Cartesian squareWe note in the above, we used the notation , which is just the fibered product, but we put emphasis on the two maps and that defines the fibered product.
So, here is the intuition: Here:
Here is how you supposed to think of this set of data.
is supposed to be like objects in a category, is supposed to be arrows in the category. Then what’s going on with and inis that, takes an arrow and sends it to the source, while takes an a rrow and sends it to the target.
takes objects to the identity arrow.
takes an arrow to its inverse (this supposed to exists because its a groupoid).
is like an arrow such that the source of is equal the target of . In other word, under is supposed to be “”.
The above is the intuition, and let’s give the actual axioms about groupoids in .
(Associativity): the following two maps (we dropped the in all the fibered products here)are equal.
(Identity):This says and .
(Inverse): we get diagramsThis says that and .
Last time we end up listing the axioms of groupoids in . The definition seems complicated, but the idea is not bad. Basically, should be objects, be morphisms, takes morpihsms to its source, and to the target, sends objects to identity map, to inverse arrow, and is composition of arrows.
We remark that, groupoids are sort of generalization of groups, where groups in category consists of only one object, and groupoids consists of more than one objects.
Today we are going to show we can get from groupoids in to categories fibered in groupoids over .
Given , let be a category defined as follows: objects are , and morphisms for is an element such that and (here , and hence is an arrow , i.e. it make sense to ask and so on). This is a category, where composition of arrows are given by apply , i.e. say we have and , where is given by .
Next, we define a fibered category over as follows: objects are , where and (recall objects of this category is just ). To get the morphisms, note given , we get the arrow (which is a functor)is well-defined (i.e. induces and and hence ). Then, morphisms will be given by pairs and an isomorphism in .
Then the projection is going to be .
It remains to check is a category fibered in groupoids.
The fiber is the category defined by: objects are, by definition, just (as it is the same as the objects of ). The morphism for is given by and . However, since must live over the identity, and hence . In other word, morphisms are just , i.e. is a groupoid, as desired.
Aside, if is category fibered in groupoids, for we can define , which is a category fibered in groupoids where behaves like objects of over . This notion is hardly been used, so if we need it in the future we will define it, but for now its just aside.
The next notion is rather important.
定义 126.96.36.199. Given a category fibered in groupoids, . We define a preasheafas follows.
Let in ,because is a groupoid (hence all arrows are isomorphisms). This depends on choices of pullbacks but we just fix one for all .
Why is a presheaf?
Say we have have our arrows , and . Then we getwhere and are two choices of pullback. However, note all pullbacks are isomorphic, we see that we get In particular, this means that is canonical isomorphism and hence we get (canonical) arrowwhich concludes is a presheaf (as it is compatible with composition of arrows).
Next, we define fibered products of groupoids. So, unlike normal fibered products in -category, now we are working with -categories, hence we also need to consider arrows between arrows.
We will start with a diagram of groupoidsWe are going to define so that we get the following diagram:where is arrow between arrows.
Next, we will define some arbitrary category , then we talk about universal properties that will convince us this is what fibered products should be for groupoids.
定义 188.8.131.52. For groupoids with and , let be the following category.
The objects are where and .
The morphisms for to will be a pair so that we get diagram
Next, we need to define and . They are given by and , and .
To add a few words on , we note , hence by definition this means we want that, inside , for any , we get the following commutative squareBut if you expand the definition of , this becomes exactly the square in definition of morphisms in . Hence is indeed natural trans as desired.
The universal property will be that, for all diagramwhere is a groupoid with , and isomorphism (which is natural transformation) , we get unique with diagramwhere the two arrows are natural trans between arrows (, respectively) and the composing arrows of and ( and , respectively), so that the diagramcommutes.
Well, why is this object exists? To answer this, we want to construct the unique . This will be the most “obvious” thing to do, which is . We left the details of how acts on morphisms, as it should be natural.
Now we want to make sure we get the natural transformations . That is, we want a natural trans . This is the same as, for arbitrary we want to get . Well, there is only one natural thing to do, which is take to be identity between and . We do the same for .
Next we need to check commutativity of the following diagramwhere is given by definition:Now for any , we getbut then in particular by definition. Hence it is indeed commutative.
This concludes the definition of fibered products of groupoids, and we are heading to define fibered products of categories fibered in groupoids.
For this, let be categories fibered in groupoids. Then we want to have a diagramso that for all and we get unique arrow with additional arrows between the arrows.
We want to have the property thatHowever, on the RHS, they are just fibered products of groupoids, and by -Yoneda lemma, this determines if the RHS exists.
命题 184.108.40.206 (Olsson, Prop 3.4.13). The fibered product exists.