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

LazyCategories

Construct an equivalent lazy category out of a CAP category

2025.05-01

3 May 2025

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

Contents

1 Lazy categories
 1.1 Examples

  1.1-1 Disassembling the snake in the Abelian category
  1.1-2 Disassembling the snake in the Abelian category (only lift primitve operations)
  1.1-3 Disassembling the snake in the free Abelian category
  1.1-4 Disassembling the snake in the free Abelian category (only lift primitve operations)
  1.1-5 Disassembling the snake in an underlying additive category
  1.1-6 Disassembling the snake in an underlying additive category (only lift primitve operations)
  1.1-7 Lazy terminal category with multiple objects
2 Create lazy hulls of a category
 2.1 GAP categories

  2.1-1 IsLazyCategory
  2.1-2 IsCellInLazyCategory
  2.1-3 IsObjectInLazyCategory
  2.1-4 IsMorphismInLazyCategory
 2.2 Attributes

  2.2-1 UnderlyingCategory
  2.2-2 GenesisOfCell
  2.2-3 GenesisOfCellOperation
  2.2-4 GenesisOfCellArguments
  2.2-5 ListOfEvaluationNodes
  2.2-6 DigraphOfEvaluation
  2.2-7 _EvaluationOfCell
  2.2-8 EvaluatedCell
 2.3 Constructors

  2.3-1 \/
  2.3-2 LazyCategory
  2.3-3 EmbeddingFunctorOfUnderlyingCategory
 2.4 Operations

  2.4-1 SetLabel
  2.4-2 GetLabel
  2.4-3 IsEqualForCells
  2.4-4 Visualize
Index

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

generated by GAPDoc2HTML