Goto Chapter: Top 1 2 Ind

[Top of Book] [Contents] [Next Chapter]

IntrinsicCategories

Intrinsic categories for CAP

2024.03-01

8 March 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 Intrinsic Categories

  1.1-1 IsIntrinsicCategory
  1.1-2 IsCapCategoryIntrinsicCell
  1.1-3 IsCapCategoryIntrinsicObject
  1.1-4 IsCapCategoryIntrinsicMorphism

1.2 Technical stuff

  1.2-1 CanonicalizeIfZero
  1.2-2 IsSafeForSideEffects
  1.2-3 CanonicalizedToZero

1.3 Constructors

  1.3-1 IntrinsifyObject
  1.3-2 Intrinsify
  1.3-3 IntrinsifyMorphism
  1.3-4 Intrinsify
  1.3-5 Intrinsify
  1.3-6 TurnAutoequivalenceIntoIdentityFunctor
  1.3-7 CanonicalizeZeroObjectsAsIdentityFunctor
  1.3-8 CanonicalizeZeroMorphismsAsIdentityFunctor
  1.3-9 IntrinsicCategory

1.4-1 UnderlyingCategory

  1.5-1 IsLockedObject
  1.5-2 PositionOfLastStoredCell
  1.5-3 CertainCell
  1.5-4 CertainCell
  1.5-5 CertainCell
  1.5-6 PositionOfActiveCell
  1.5-7 SetPositionOfActiveCell
  1.5-8 ActiveCell
  1.5-9 AddTransitionIsomorphism
  1.5-10 AddTransitionIsomorphism
  1.5-11 TransitionIsomorphism
  1.5-12 AddToIntrinsicMorphism

2 Examples and Tests

2.2 TurnAutoequivalenceIntoIdentityFunctor

2.3 Spectral Sequences

[Top of Book] [Contents] [Next Chapter]

Goto Chapter: Top 1 2 Ind

generated by GAPDoc2HTML