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...

formally given as a fibred category over another base category, where the base has a Grothendieck topology and where the fibred category satisfies a few axioms...

mathematical field of category theory. It is a fundamental construction in the theory of descent, in the theory of stacks, and in fibred category theory. In categorical...

algebraic topology and differential geometry. See also: Pullback (category theory) Fibred category Inverse image sheaf When the pullback is studied as an operator...

was made interim director in 1994 and director from 1995 to 2000. Fibred category "Giraud, Jean (1936–2007)". BnF catalogue général. Bibliothèque nationale...

categories. Any indexed category has an associated Grothendieck construction, which gives rise to a fibred category. Indexed category at the nLab v t e...

of a fibration generalizes the notion of a fiber bundle and plays an important role in algebraic topology, a branch of mathematics. Fibrations are used...

consider the category of families on B with only isomorphisms between families taken as morphisms. One then considers the fibred category which assigns...

functor of the third kind is the functor Mod → Ab, where Mod is the fibred category of all modules over arbitrary rings. To see this, just choose a ring...

logics, and also polymorphic and dependent types. The focus is on fibred category as universal tool in categorical logic, which is necessary in dealing...