Gödel metric

Fibred categories are abstract entities in mathematics used to provide a general framework for descent theory. They formalise the various situations in geometry and algebra in which inverse images (or pull-backs) of objects such as vector bundles can be defined. As an example, for each topological space there is the category of vector bundles on the space, and for every continuous map from a topological space X to another topological space Y is associated the pullback functor taking bundles on Y to bundles on X. Fibred categories formalise the system consisting of these categories and inverse image functors. Similar set-ups appear in various guises in mathematics, in particular in algebraic geometry, which is the context in which fibred categories originally appeared. Fibrations also play an important role in categorical type theory and theoretical computer science, particularly in models of dependent type theory.

Fibred categories were introduced by Alexander Grothendieck in Grothendieck (1959), and developed in more detail by himself and Jean Giraud in Grothendieck (1971) in 1960/61, Giraud (1964) and Giraud (1971).

Background and motivations

There are many examples in topology and geometry where some types of objects are considered to exist on or above or over some underlying base space. The classical examples include vector bundles, principal bundles and sheaves over topological spaces. Another example is given by "families" of algebraic varieties parametrised by another variety. Typical to these situations is that to a suitable type of a map f: X → Y between base spaces, there is a corresponding inverse image (also called pull-back) operation f^* taking the considered objects defined on Y to the same type of objects on X. This is indeed the case in the examples above: for example, the inverse image of a vector bundle E on Y is a vector bundle f^*(E) on X.

Moreover, it is often the case that the considered "objects on a base space" form a category, or in other words have maps (morphisms) between them. In such cases the inverse image operation is often compatible with composition of these maps between objects, or in more technical terms is a functor. Again, this is the case in examples listed above.

However, it is often the case that if g: Y → Z is another map, the inverse image functors are not strictly compatible with composed maps: if z is an object over Z (a vector bundle, say), it may well be that

$f^{*}(g^{*}(z))\ne (g\circ f{)}^{*}(z).$

Instead, these inverse images are only naturally isomorphic. This introduction of some "slack" in the system of inverse images causes some delicate issues to appear, and it is this set-up that fibred categories formalise.

The main application of fibred categories is in descent theory, concerned with a vast generalisation of "glueing" techniques used in topology. In order to support descent theory of sufficient generality to be applied in non-trivial situations in algebraic geometry the definition of fibred categories is quite general and abstract. However, the underlying intuition is quite straightforward when keeping in mind the basic examples discussed above.

Formal definitions

There are two essentially equivalent technical definitions of fibred categories, both of which will be described below. All discussion in this section ignores the set-theoretical issues related to "large" categories. The discussion can be made completely rigorous by, for example, restricting attention to small categories or by using universes.

Cartesian morphisms and functors

If φ: F → E is a functor between two categories and S is an object of E, then the subcategory of F consisting of those objects x for which φ(x)=S and those morphisms m satisfying φ(m)=id_S, is called the fibre category (or fibre) over S, and is denoted F_S. The morphisms of F_S are called S-morphisms, and for x,y objects of F_S, the set of S-morphisms is denoted by Hom_S(x,y). The image by φ of an object or a morphism in F is called its projection (by φ). If f is a morphism of E, then those morphisms of F that project to f are called f-morphisms, and the set of f-morphisms between objects x and y in F is denoted by Hom_f(x,y). A functor φ: F → E is also called an E-category, or said to make F into an E-category or a category over E. An E-functor from an E-category φ: F → E to an E-category ψ: G → E is a functor α: F → G such that ψ o α = φ. E-categories form in a natural manner a 2-category, with 1-morphisms being E-functors, and 2-morphisms being natural transformations between E-functors whose components lie in some fibre.

A morphism m: x → y in F is called φ-cartesian (or simply cartesian) if it satisfies the following condition:

if f: T → S is the projection of m, and if n: z → y is an f-morphism, then there is precisely one T-morphism a: z → x such that n = m o a.

A cartesian morphism m: x → y is called an inverse image of its projection f = φ(m); the object x is called an inverse image of y by f.

The cartesian morphisms of a fibre category F_S are precisely the isomorphisms of F_S. There can in general be more than one cartesian morphism projecting to a given morphism f: T → S, possibly having different sources; thus there can be more than one inverse image of a given object y in F_S by f. However, it is a direct consequence of the definition that two such inverse images are isomorphic in F_T.

An E-functor between two E-categories is called a cartesian functor if it takes cartesian morphisms to cartesian morphisms. Cartesian functors between two E-categories F,G form a category Cart_E(F,G), with natural transformations as morphisms. A special case is provided by considering E as an E-category via the identity functor: then a cartesian functor from E to an E-category F is called a cartesian section. Thus a cartesian section consists of a choice of one object x_S in F_S for each object S in E, and for each morphism f: T → S a choice of an inverse image m_f: x_T → x_S. A cartesian section is thus a (strictly) compatible system of inverse images over objects of E. The category of cartesian sections of F is denoted by

$\underset{⟵}{\mathrm{L}\mathrm{i}\mathrm{m}}(F/E)={\mathrm{C}\mathrm{a}\mathrm{r}\mathrm{t}}_E(E,F).$

In the important case where E has a terminal object e (thus in particular when E is a topos or the category E_/S of arrows with target S in E) the functor

$ϵ:\underset{⟵}{\mathrm{L}\mathrm{i}\mathrm{m}}(F/E)\to F_e,s\mapsto s(e)$

is fully faithful (Lemma 5.7 of Giraud (1964)).

Fibred categories and cleaved categories

The technically most flexible and economical definition of fibred categories is based on the concept of cartesian morphisms. It is equivalent to a definition in terms of cleavages, the latter definition being actually the original one presented in Grothendieck (1959); the definition in terms of cartesian morphisms was introduced in Grothendieck (1971) in 1960–1961.

An E category φ: F → E is a fibred category (or a fibred E-category, or a category fibred over E) if each morphism f of E whose codomain is in the range of projection has at least one inverse image, and moreover the composition m o n of any two cartesian morphisms m,n in F is always cartesian. In other words, an E-category is a fibred category if inverse images always exist (for morphisms whose codomains are in the range of projection) and are transitive.

If E has a terminal object e and if F is fibred over E, then the functor ε from cartesian sections to F_e defined at the end of the previous section is an equivalence of categories and moreover surjective on objects.

If F is a fibred E-category, it is always possible, for each morphism f: T → S in E and each object y in F_S, to choose (by using the axiom of choice) precisely one inverse image m: x → y. The class of morphisms thus selected is called a cleavage and the selected morphisms are called the transport morphisms (of the cleavage). A fibred category together with a cleavage is called a cleaved category. A cleavage is called normalised if the transport morphisms include all identities in F; this means that the inverse images of identity morphisms are chosen to be identity morphisms. Evidently if a cleavage exists, it can be chosen to be normalised; we shall consider only normalised cleavages below.

The choice of a (normalised) cleavage for a fibred E-category F specifies, for each morphism f: T → S in E, a functor f^*: F_S → F_T: on objects f^* is simply the inverse image by the corresponding transport morphism, and on morphisms it is defined in a natural manner by the defining universal property of cartesian morphisms. The operation which associates to an object S of E the fibre category F_S and to a morphism f the inverse image functor f^* is almost a contravariant functor from E to the category of categories. However, in general it fails to commute strictly with composition of morphisms. Instead, if f: T → S and g: U → T are morphisms in E, then there is an isomorphism of functors

$c_{f,g}:g^{*}{f}^{*}\to (f\circ g{)}^{*}.$

These isomorphisms satisfy the following two compatibilities:

1. $c_{f,{\mathrm{i}\mathrm{d}}_T}=c_{{\mathrm{i}\mathrm{d}}_S,f}={\mathrm{i}\mathrm{d}}_{f^{*}}$
2. for three consecutive morphisms $h,g,f:V\to U\to T\to S$ and object $x\in F_S$ the following holds: $c_{f,g\circ h}\cdot c_{g,h}(f^{*}(x))=c_{f\circ g,h}(x)\cdot h^{*}(c_{f,g}(x)).$

It can be shown (see Grothendieck (1971) section 8) that, inversely, any collection of functors f^*: F_S → F_T together with isomorphisms c_f,g satisfying the compatibilities above, defines a cleaved category. These collections of inverse image functors provide a more intuitive view on fibred categories; and indeed, it was in terms of such compatible inverse image functors that fibred categories were introduced in Grothendieck (1959).

The paper by Gray referred to below makes analogies between these ideas and the notion of fibration of spaces.

These ideas simplify in the case of groupoids, as shown in the paper of Brown referred to below, which obtains a useful family of exact sequences from a fibration of groupoids.

Splittings and split fibred categories

A (normalised) cleavage such that the composition of two transport morphisms is always a transport morphisms is called a splitting, and a fibred category with a splitting is called a split (fibred) category. In terms of inverse image functors the condition of being a splitting means that the composition of inverse image functors corresponding to composable morphisms f,g in E equals the inverse image functor corresponding to f o g. In other words, the compatibility isomorphisms c_f,g of the previous section are all identities for a split category. Thus split E-categories correspond exactly to true functors from E to the category of categories.

Unlike cleavages, not all fibred categories admit splittings. For an example, see below.

Co-cartesian morphisms and co-fibred categories

One can invert the direction of arrows in the definitions above to arrive at corresponding concepts of co-cartesian morphisms, co-fibred categories and split co-fibred categories (or co-split categories). More precisely, if φ: F →E is a functor, then a morphism m: x → y in F is called co-cartesian if it is cartesian for the opposite functor φ^op: F^op → E^op. Then m is also called a direct image and y a direct image of x for f = φ(m). A co-fibred E-category is anE-category such that direct image exists for each morphism in E and that the composition of direct images is a direct image. A co-cleavage and a co-splitting are defined similarly, corresponding to direct image functors instead of inverse image functors.

Properties

The 2-categories of fibred categories and split categories

The categories fibred over a fixed category E form a 2-category Fib(E), where the category of morphisms between two fibred categories F and G is defined to be the category Cart_E(F,G) of cartesian functors from F to G.

Similarly the split categories over E form a 2-category Scin(E) (from French catégorie scindée), where the category of morphisms between two split categories F and G is the full sub-category Scin_E(F,G) of E-functors from F to G consisting of those functors that transform each transport morphism of F into a transport morphism of G. Each such morphism of split E-categories is also a morphism of E-fibred categories, i.e., Scin_E(F,G) ⊂ Cart_E(F,G).

There is a natural forgetful 2-functor i: Scin(E) → Fib(E) that simply forgets the splitting.

Existence of equivalent split categories

While not all fibred categories admit a splitting, each fibred category is in fact equivalent to a split category. Indeed, there are two canonical ways to construct an equivalent split category for a given fibred category F over E. More precisely, the forgetful 2-functor i: Scin(E) → Fib(E) admits a right 2-adjoint S and a left 2-adjoint L (Theorems 2.4.2 and 2.4.4 of Giraud 1971), and S(F) and L(F) are the two associated split categories. The adjunction functors S(F) → F and F → L(F) are both cartesian and equivalences (ibid.). However, while their composition S(F) → L(F) is an equivalence (of categories, and indeed of fibred categories), it is not in general a morphism of split categories. Thus the two constructions differ in general. The two preceding constructions of split categories are used in a critical way in the construction of the stack associated to a fibred category (and in particular stack associated to a pre-stack).

Examples

1. Categories of arrows: For any category E the category of arrows A(E) in E has as objects the morphisms in E, and as morphisms the commutative squares in E (more precisely, a morphism from (f: X → T) to (g: Y → S) consists of morphisms (a: X → Y) and (b: T → S) such that bf = ga). The functor which takes an arrow to its target makes A(E) into an E-category; for an object S of E the fibre E_S is the category E_/S of S-objects in E, i.e., arrows in E with target S. Cartesian morphisms in A(E) are precisely the cartesian squares in E, and thus A(E) is fibred over E precisely when fibre products exist in E.
2. Fibre bundles: Fibre products exist in the category Top of topological spaces and thus by the previous example A(Top) is fibred over Top. If Fib is the full subcategory of A(Top) consisting of arrows that are projection maps of fibre bundles, then Fib_S is the category of fibre bundles on S and Fib is fibred over Top. A choice of a cleavage amounts to a choice of ordinary inverse image (or pull-back) functors for fibre bundles.
3. Vector bundles: In a manner similar to the previous examples the projections (p: V → S) of real (complex) vector bundles to their base spaces form a category Vect_R (Vect_C) over Top (morphisms of vector bundles respecting the vector space structure of the fibres). This Top-category is also fibred, and the inverse image functors are the ordinary pull-back functors for vector bundles. These fibred categories are (non-full) subcategories of Fib.
4. Sheaves on topological spaces: The inverse image functors of sheaves make the categories Sh(S) of sheaves on topological spaces S into a (cleaved) fibred category Sh over Top. This fibred category can be described as the full sub-category of A(Top) consisting of etale spaces of sheaves. As with vector bundles, the sheaves of groups and rings also form fibred categories of Top.
5. Sheaves on topoi: If E is a topos and S is an object in E, the category E_S of S-objects is also a topos, interpreted as the category of sheaves on S. If f: T → S is a morphism in E, the inverse image functor f^* can be described as follows: for a sheaf F on E_S and an object p: U → T in E_T one has f^*F(U) = Hom_T(U, f^*F) equals Hom_S(f o p, F) = F(U). These inverse image make the categories E_S into a split fibred category on E. This can be applied in particular to the "large" topos TOP of topological spaces.
6. Quasi-coherent sheaves on schemes: Quasi-coherent sheaves form a fibred category over the category of schemes. This is one of the motivating examples for the definition of fibred categories.
7. Fibred category admitting no splitting: A group G can be considered as a category with one object and the elements of G as the morphisms, composition of morphisms being given by the group law. A group homomorphism f: G → H can then be considered as a functor, which makes G into a H-category. It can be checked that in this set-up all morphisms in G are cartesian; hence G is fibred over H precisely when f is surjective. A splitting in this setup is a (set-theoretic) section of f which commutes strictly with composition, or in other words a section of f which is also a homomorphism. But as is well known in group theory, this is not always possible (one can take the projection in a non-split group extension).
8. Co-fibred category of sheaves: The direct image functor of sheaves makes the categories of sheaves on topological spaces into a co-fibred category. The transitivity of the direct image shows that this is even naturally co-split.

See also

• Grothendieck construction

References

• One of the biggest reasons investing in a Singapore new launch is an effective things is as a result of it is doable to be lent massive quantities of money at very low interest rates that you should utilize to purchase it. Then, if property values continue to go up, then you'll get a really high return on funding (ROI). Simply make sure you purchase one of the higher properties, reminiscent of the ones at Fernvale the Riverbank or any Singapore landed property Get Earnings by means of Renting
  
  In its statement, the singapore property listing - website link, government claimed that the majority citizens buying their first residence won't be hurt by the new measures. Some concessions can even be prolonged to chose teams of consumers, similar to married couples with a minimum of one Singaporean partner who are purchasing their second property so long as they intend to promote their first residential property. Lower the LTV limit on housing loans granted by monetary establishments regulated by MAS from 70% to 60% for property purchasers who are individuals with a number of outstanding housing loans on the time of the brand new housing purchase. Singapore Property Measures - 30 August 2010 The most popular seek for the number of bedrooms in Singapore is 4, followed by 2 and three. Lush Acres EC @ Sengkang
  
  Discover out more about real estate funding in the area, together with info on international funding incentives and property possession. Many Singaporeans have been investing in property across the causeway in recent years, attracted by comparatively low prices. However, those who need to exit their investments quickly are likely to face significant challenges when trying to sell their property – and could finally be stuck with a property they can't sell. Career improvement programmes, in-house valuation, auctions and administrative help, venture advertising and marketing, skilled talks and traisning are continuously planned for the sales associates to help them obtain better outcomes for his or her shoppers while at Knight Frank Singapore. No change Present Rules
  
  Extending the tax exemption would help. The exemption, which may be as a lot as $2 million per family, covers individuals who negotiate a principal reduction on their existing mortgage, sell their house short (i.e., for lower than the excellent loans), or take part in a foreclosure course of. An extension of theexemption would seem like a common-sense means to assist stabilize the housing market, but the political turmoil around the fiscal-cliff negotiations means widespread sense could not win out. Home Minority Chief Nancy Pelosi (D-Calif.) believes that the mortgage relief provision will be on the table during the grand-cut price talks, in response to communications director Nadeam Elshami. Buying or promoting of blue mild bulbs is unlawful.
  
  A vendor's stamp duty has been launched on industrial property for the primary time, at rates ranging from 5 per cent to 15 per cent. The Authorities might be trying to reassure the market that they aren't in opposition to foreigners and PRs investing in Singapore's property market. They imposed these measures because of extenuating components available in the market." The sale of new dual-key EC models will even be restricted to multi-generational households only. The models have two separate entrances, permitting grandparents, for example, to dwell separately. The vendor's stamp obligation takes effect right this moment and applies to industrial property and plots which might be offered inside three years of the date of buy. JLL named Best Performing Property Brand for second year running
  
  The data offered is for normal info purposes only and isn't supposed to be personalised investment or monetary advice. Motley Fool Singapore contributor Stanley Lim would not personal shares in any corporations talked about. Singapore private home costs increased by 1.eight% within the fourth quarter of 2012, up from 0.6% within the earlier quarter. Resale prices of government-built HDB residences which are usually bought by Singaporeans, elevated by 2.5%, quarter on quarter, the quickest acquire in five quarters. And industrial property, prices are actually double the levels of three years ago. No withholding tax in the event you sell your property. All your local information regarding vital HDB policies, condominium launches, land growth, commercial property and more
  
  There are various methods to go about discovering the precise property. Some local newspapers (together with the Straits Instances ) have categorised property sections and many local property brokers have websites. Now there are some specifics to consider when buying a 'new launch' rental. Intended use of the unit Every sale begins with 10 p.c low cost for finish of season sale; changes to 20 % discount storewide; follows by additional reduction of fiftyand ends with last discount of 70 % or extra. Typically there is even a warehouse sale or transferring out sale with huge mark-down of costs for stock clearance. Deborah Regulation from Expat Realtor shares her property market update, plus prime rental residences and houses at the moment available to lease Esparina EC @ Sengkang

• Template:Cite document
• One of the biggest reasons investing in a Singapore new launch is an effective things is as a result of it is doable to be lent massive quantities of money at very low interest rates that you should utilize to purchase it. Then, if property values continue to go up, then you'll get a really high return on funding (ROI). Simply make sure you purchase one of the higher properties, reminiscent of the ones at Fernvale the Riverbank or any Singapore landed property Get Earnings by means of Renting
  
  In its statement, the singapore property listing - website link, government claimed that the majority citizens buying their first residence won't be hurt by the new measures. Some concessions can even be prolonged to chose teams of consumers, similar to married couples with a minimum of one Singaporean partner who are purchasing their second property so long as they intend to promote their first residential property. Lower the LTV limit on housing loans granted by monetary establishments regulated by MAS from 70% to 60% for property purchasers who are individuals with a number of outstanding housing loans on the time of the brand new housing purchase. Singapore Property Measures - 30 August 2010 The most popular seek for the number of bedrooms in Singapore is 4, followed by 2 and three. Lush Acres EC @ Sengkang
  
  Discover out more about real estate funding in the area, together with info on international funding incentives and property possession. Many Singaporeans have been investing in property across the causeway in recent years, attracted by comparatively low prices. However, those who need to exit their investments quickly are likely to face significant challenges when trying to sell their property – and could finally be stuck with a property they can't sell. Career improvement programmes, in-house valuation, auctions and administrative help, venture advertising and marketing, skilled talks and traisning are continuously planned for the sales associates to help them obtain better outcomes for his or her shoppers while at Knight Frank Singapore. No change Present Rules
  
  Extending the tax exemption would help. The exemption, which may be as a lot as $2 million per family, covers individuals who negotiate a principal reduction on their existing mortgage, sell their house short (i.e., for lower than the excellent loans), or take part in a foreclosure course of. An extension of theexemption would seem like a common-sense means to assist stabilize the housing market, but the political turmoil around the fiscal-cliff negotiations means widespread sense could not win out. Home Minority Chief Nancy Pelosi (D-Calif.) believes that the mortgage relief provision will be on the table during the grand-cut price talks, in response to communications director Nadeam Elshami. Buying or promoting of blue mild bulbs is unlawful.
  
  A vendor's stamp duty has been launched on industrial property for the primary time, at rates ranging from 5 per cent to 15 per cent. The Authorities might be trying to reassure the market that they aren't in opposition to foreigners and PRs investing in Singapore's property market. They imposed these measures because of extenuating components available in the market." The sale of new dual-key EC models will even be restricted to multi-generational households only. The models have two separate entrances, permitting grandparents, for example, to dwell separately. The vendor's stamp obligation takes effect right this moment and applies to industrial property and plots which might be offered inside three years of the date of buy. JLL named Best Performing Property Brand for second year running
  
  The data offered is for normal info purposes only and isn't supposed to be personalised investment or monetary advice. Motley Fool Singapore contributor Stanley Lim would not personal shares in any corporations talked about. Singapore private home costs increased by 1.eight% within the fourth quarter of 2012, up from 0.6% within the earlier quarter. Resale prices of government-built HDB residences which are usually bought by Singaporeans, elevated by 2.5%, quarter on quarter, the quickest acquire in five quarters. And industrial property, prices are actually double the levels of three years ago. No withholding tax in the event you sell your property. All your local information regarding vital HDB policies, condominium launches, land growth, commercial property and more
  
  There are various methods to go about discovering the precise property. Some local newspapers (together with the Straits Instances ) have categorised property sections and many local property brokers have websites. Now there are some specifics to consider when buying a 'new launch' rental. Intended use of the unit Every sale begins with 10 p.c low cost for finish of season sale; changes to 20 % discount storewide; follows by additional reduction of fiftyand ends with last discount of 70 % or extra. Typically there is even a warehouse sale or transferring out sale with huge mark-down of costs for stock clearance. Deborah Regulation from Expat Realtor shares her property market update, plus prime rental residences and houses at the moment available to lease Esparina EC @ Sengkang
• 55 years old Systems Administrator Antony from Clarence Creek, really loves learning, PC Software and aerobics. Likes to travel and was inspired after making a journey to Historic Ensemble of the Potala Palace.
  
  You can view that web-site... ccleaner free download
• Brown, R., "Fibrations of groupoids", J. Algebra 15 (1970) 103-132.
• 55 years old Systems Administrator Antony from Clarence Creek, really loves learning, PC Software and aerobics. Likes to travel and was inspired after making a journey to Historic Ensemble of the Potala Palace.
  
  You can view that web-site... ccleaner free download
• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
• Angelo Vistoli, Notes on Grothendieck topologies, fibered categories and descent theory, arXiv:math.AG/0412512.
• Fibred Categories à la Bénabou, Thomas Streicher
• An introduction to fibrations, topos theory, the effective topos and modest sets, Wesley Phoa
• R. Brown and R. Sivera, `Algebraic colimit calculations in homotopy theory using fibred and cofibred categories', Theory and Applications of Categories, 22 (2009) 222-251.

• ncatlab entry on Grothendieck fibrations