Revision #962 → #1562 · back to history
addedPresheaf of sets56f8fb96359f
addedPresheaf of continuous functions4efa409d789a
addedConstant presheaf8ecc6124c907
addedSheaf (locality and gluing)67d257feae34
addedSeparated presheaf / monopresheafdd76becb6574
addedContinuous functions form a sheaf5dcf776ee1d6
addedQuasi-coherent sheaf on Spec(A)7eff79cc0a0b
addedFibre-product characterization of sheaves747337462865
addedSheaf of sections of a continuous map2464fa146d0e
addedSheaf of branches of complex logarithm871f5965ee30
addedSkyscraper sheafb97a6cfa1243
addedStructure sheaf and differential forms on manifoldsc76bc076e1c9
addedCosheaf of compactly supported functions; sheaf of distributions1ea4822a65ac
addedTwo-point space presheaf (not separated)118198d1525d
addedBounded continuous functions (not a sheaf)4f7f99b25617
addedMorphism of sheaves16422674e727
addedDerivative as morphism of sheavesbd53153711a6
addedIso/monomorphism check on open sets21cb3976901b
addedStalk of a sheaf0cb0c5069b4e
addedGerm at a point9cd78e3d0685
addedSheafificationcfbb733ff94b
addedUniversal property of sheafificatione89ef643756b
addedQuotient sheaf862fce8f5f52
addedSheaf hom25e474f0e2ec
addedDirect sum and tensor product of sheaves362ad1cd2ca1
addedDirect image (pushforward) of a sheaf138243ee0c57
addedDirect image with compact support84843426abed
addedInverse image (pullback) of a sheaf68568a686d64
addedLocally constant sheaf2c0c484686cb
addedExtension by zeroff27a91d6f77
addedC-valued presheaff08c5d3c3508
addedSheaf condition via equalizer46941ef3c89e
addedRinged space0754e5af2030
addedLocally ringed space6f7e837f2dfa
addedSheaf of modulesdbf661e10489
addedVector bundles as locally free sheavesf9f618ad7ef5
addedFinitely generated and finitely presented sheavesd204b19838ee
addedCoherent sheafddaf8f681a93
addedOka coherence theorem21d91bd56758
addedÉtalé space of a sheaf5a5334170aa7
addedEquivalence: sheaves of sets and étalé spaces33d6c31d85cd
addedLong exact sequence in sheaf cohomology438c9b5fd659
addedDe Rham complex resolves the constant sheafedd4851199df
addedPerverse sheavese6990129df8b
addedTopos / Grothendieck topos957610e0a18b