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

LazyCategories

Construct an equivalent lazy category out of a CAP category

2024.12-01

6 December 2024

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 Global variables

  2.2-1 RECORD_OF_COMPACT_NAMES_OF_CATEGORICAL_OPERATIONS
 2.3 Attributes

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

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

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

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

generated by GAPDoc2HTML