Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Fibred_category> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- Fibred_category abstract "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).".
- Fibred_category wikiPageExternalLink 0412512.
- Fibred_category wikiPageExternalLink 0206203.
- Fibred_category wikiPageExternalLink Grothendieck+fibration.
- Fibred_category wikiPageExternalLink bookinfo.html.
- Fibred_category wikiPageExternalLink index.html.
- Fibred_category wikiPageExternalLink FibLec.pdf.
- Fibred_category wikiPageID "2086749".
- Fibred_category wikiPageRevisionID "603594771".
- Fibred_category hasPhotoCollection Fibred_category.
- Fibred_category subject Category:Category_theory.
- Fibred_category comment "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.".
- Fibred_category label "Fibred category".
- Fibred_category sameAs Νηματική_κατηγορία.
- Fibred_category sameAs m.02y_58g.
- Fibred_category sameAs Q5446431.
- Fibred_category sameAs Q5446431.
- Fibred_category wasDerivedFrom Fibred_category?oldid=603594771.
- Fibred_category isPrimaryTopicOf Fibred_category.