Revision #139 → #1218 · back to history
addedFibre category73c3153e7827
addedCartesian morphismb45f264b12f8
addedInverse imagecff469784166
addedCartesian morphisms of a fibre are isomorphisms6ca9c5f264df
addedInverse images unique up to isomorphism7424e06ef096
addedS-category (category over S)a5e65b2d7a73
addedS-categories form a 2-categorye12e197d2f6f
addedCartesian functor673f81ed65ce
addedCartesian sectionfd1d70bd2957
addedSection functor is fully faithful (Giraud Lemma 5.7)9860973b7c6c
addedFibred category531bcd280cba
addedCartesian sections equivalent to fibre over terminal object495e6491f5de
addedCleavage and transport morphisms945d4a61d65a
addedCloven categorye07dd042d0bf
addedNormalised cleavagebd7b4da89881
addedCompatibility isomorphism of inverse image functors88149ea01946
addedCocycle compatibilities3e213be8f001
addedReconstruction of cloven category from functors5f11aec9c08d
addedSplitting and split categorybbdfc655b48f
addedSplit categories correspond to true functorscc403e86af0c
addedNot all fibred categories admit splittings936ef79f1b21
addedCo-cartesian morphismd0f358c7241b
addedCo-fibred category431c96153f50
addedCo-cleavage and co-splittingf60ff5c13bdd
added2-category of fibred categories4014ca9d9ca2
added2-category of split categoriese9165585d290
addedForgetful 2-functor8fc845c23e39
addedEvery fibred category is equivalent to a split category8c7691f092e1
addedLeft and right 2-adjoints to forgetful functor (Giraud)06dbe08ec205
addedAdjunction functors are cartesian equivalencese4e19f1dfc6e
addedCategories fibered in groupoidsa2def639902b
addedObjects functor Cat to Set is a fibration281d30015225
addedCategory of arrows468f52b05a75
addedFibrations of graphsaa6d11866034
addedFibre bundles3d3c2377fa3f
addedVector bundles343a72e190a8
addedSheaves on topological spaces8151ba745c82
addedSheaves on topoi622e7b1aae00
addedQuasi-coherent sheaves on schemes0a8ff78d27da
addedFibred category admitting no splitting7140ace067f0
addedCo-fibred category of sheavesef3bc09bb7e5
addedGroupoid objects internal to a categoryde05d766c069
addedGroup quotient [X/G]ecda6f01d6d7
addedTwo-term chain complex4df9baddd749