Goto Chapter: Top 1 2 Ind
 [Top of Book]  [Contents]   [Next Chapter] 

PreSheaves

Categories of (co)presheaves

2024.04-01

22 April 2024

Mohamed Barakat
Email: mohamed.barakat@uni-siegen.de
Homepage: https://mohamed-barakat.github.io
Address:
Walter-Flex-Str. 3
57068 Siegen
Germany

Kamal Saleh
Email: kamal.saleh@uni-siegen.de
Homepage: https://github.com/kamalsaleh
Address:
Department Mathematik
Universität Siegen
Walter-Flex-Straße 3
57068 Siegen
Germany

Contents

1 Category of presheaves of a (linear) category
 1.1 Attributes

  1.1-1 Source
  1.1-2 Target
  1.1-3 OppositeOfSource
  1.1-4 Source
  1.1-5 Target
  1.1-6 YonedaEmbeddingOfSourceCategory
 1.2 Constructors

  1.2-1 PreSheaves
 1.3 Operations

  1.3-1 ApplyObjectInPreSheafCategoryToObject
  1.3-2 ApplyObjectInPreSheafCategoryToMorphism
  1.3-3 ApplyMorphismInPreSheafCategoryToObject
 1.4 GAP categories

  1.4-1 IsPreSheafCategory
  1.4-2 IsCellInPreSheafCategory
  1.4-3 IsObjectInPreSheafCategory
  1.4-4 IsMorphismInPreSheafCategory
 1.5 Examples

  1.5-1 The terminal category
  1.5-2 The category of presheaves of SkeletalFinSets
2 Category of presheaves (with bounds) of a (linear) category
 2.1 GAP categories

  2.1-1 IsPreSheafWithBoundsCategory
  2.1-2 IsCellInPreSheafWithBoundsCategory
  2.1-3 IsObjectInPreSheafWithBoundsCategory
  2.1-4 IsMorphismInPreSheafWithBoundsCategory
 2.2 Attributes

  2.2-1 Source
  2.2-2 Target
  2.2-3 OppositeOfSource
  2.2-4 Source
  2.2-5 Target
  2.2-6 YonedaEmbedding
  2.2-7 YonedaEmbeddingOfSourceCategory
  2.2-8 CoYonedaLemmaOnObjects
  2.2-9 CoYonedaLemmaOnMorphisms
 2.3 Constructors

  2.3-1 PreSheavesWithBounds
 2.4 Operations

  2.4-1 ApplyObjectInPreSheafCategoryToObject
  2.4-2 ApplyObjectInPreSheafCategoryToMorphism
  2.4-3 ApplyMorphismInPreSheafCategoryToObject
Index

 [Top of Book]  [Contents]   [Next Chapter] 
Goto Chapter: Top 1 2 Ind

generated by GAPDoc2HTML