General documentation

index
foundational types
tactics

Library

MagnitudeConjecture (file)
Algebra
BiserialAlgebraEquiv
BiserialBranchPlacement
BiserialCokernelObstruction
BiserialCommonRadicalCokernel
BiserialCommonRadicalExtension
BiserialCoordinateThinLocal
BiserialFiberKernelElementCapture
BiserialFiberKernelStructure
BiserialIndecomposableCriterion
BiserialInduction
BiserialIntersectionCokernel
BiserialKernelObstruction
BiserialLeftIdealOpposite
BiserialLocalSubmoduleLift
BiserialModule
BiserialModuleDecomposition
BiserialProjectivePresentation
BiserialQuotientBranch
BiserialQuotientBranchElementCalculation
BiserialRadicalSquareTruncation
BiserialRadicalSquareZeroObstruction
BiserialRadicalTop
BiserialRadicalTruncation
BiserialSemisimpleSubmodule
BoundQuiverAdmissibleBasic
BoundQuiverPathGenerated
BoundQuiverPresentation
BoundQuiverRelationQuotient
CoefficientDual
CoordinateThinModule
CornerQuotient
FiniteLengthSemisimple
FiniteModuleDecomposition
IdempotentCorner
IdempotentSaturation
IdempotentSaturationProjective
IndecomposableLocalEnd
IteratedJacobsonRadical
JacobsonRadicalAction
LocalRingJacobson
RepresentationFiniteQuotient
RepresentationFiniteSpecialBiserialBeta
RightModuleARHomVanishing
RightModuleAlgebraEquiv
RightModuleAllMoritaBasic
RightModuleAlmostSplit
RightModuleAlmostSplitSocle
RightModuleArrowMultiplicityEquivalence
RightModuleAuslanderTranspose
RightModuleBasicMorita
RightModuleBasicSimpleDimension
RightModuleBetaBiserial
RightModuleBetaBoundary
RightModuleBetaD4Boundary
RightModuleBetaProjectiveRadical
RightModuleBetaSocleReduction
RightModuleBoundaryDiagram
RightModuleBoundaryGenerator
RightModuleBoundaryPresentations
RightModuleCanonicalSocleFamilyAlgebraEquiv
RightModuleCoherentCodefect
RightModuleCoherentCodefectComparisonDescent
RightModuleCoherentCodefectComparisonEquiv
RightModuleCoherentCodefectComparisonIso
RightModuleCoherentCodefectComparisonMap
RightModuleCoherentCodefectComparisonMapPrecomp
RightModuleCoherentCodefectComparisonNaturality
RightModuleCoherentCodefectComparisonPrecomp
RightModuleCoherentCodefectComparisonPresentationPrecomp
RightModuleCoherentCodefectCoyonedaQuotient
RightModuleCoherentCodefectDimensionShift
RightModuleCoherentCodefectDimensionShiftNaturality
RightModuleCoherentCodefectEvaluation
RightModuleCoherentCodefectExtTwo
RightModuleCoherentCodefectExtTwoNaturality
RightModuleCoherentCoduality
RightModuleCoherentDefect
RightModuleCoherentDefectComparisonDescent
RightModuleCoherentDefectComparisonEquiv
RightModuleCoherentDefectComparisonIso
RightModuleCoherentDefectComparisonMap
RightModuleCoherentDefectComparisonNaturality
RightModuleCoherentDefectDimensionShift
RightModuleCoherentDefectDimensionShiftNaturality
RightModuleCoherentDefectEquivalence
RightModuleCoherentDefectEvaluation
RightModuleCoherentDefectExtTwo
RightModuleCoherentDefectExtTwoNaturality
RightModuleCoherentDefectFreyd
RightModuleCoherentDefectFunctor
RightModuleCoherentDefectSerre
RightModuleCoherentDefectUniserial
RightModuleCoherentDefectYonedaQuotient
RightModuleCoherentDuality
RightModuleContragredientMultiplicity
RightModuleContragredientSkeleton
RightModuleContragredientTranslation
RightModuleCoordinateEvaluationImage
RightModuleCoordinateQuotient
RightModuleCovariantRepresentable
RightModuleCoxeter
RightModuleDirectAntichain
RightModuleDirectBoundaryDegrees
RightModuleDirectFactorHeight
RightModuleDirectHeightArrowCount
RightModuleDirectHeightBoundary
RightModuleDirectHeightExcess
RightModuleDirectHeightHom
RightModuleDirectHeightIrreducible
RightModuleDirectHeightRank
RightModuleDirectHeightSink
RightModuleDirectHeightSource
RightModuleDirectHeightSquare
RightModuleDirectHeightWeightedCount
RightModuleDirectPosetExcess
RightModuleDirectPosetGrading
RightModuleDirectPosetThinness
RightModuleDirectRadicalConcentration
RightModuleDirectSchurMaps
RightModuleDirectUpperSetHeight
RightModuleDirectUpperSetSquare
RightModuleDirected
RightModuleDirectedCartan
RightModuleDirectedFiniteKernel
RightModuleDirectedQuotient
RightModuleDirectedScalarCorner
RightModuleDirectedSurplus
RightModuleDirectedTransport
RightModuleEulerRoot
RightModuleFGFamilyArrowMultiplicity
RightModuleFGFamilyFilteredArrowSum
RightModuleFGFamilyIncomingSum
RightModuleFactorAuslander
RightModuleFactorCategory
RightModuleFactorCoordinate
RightModuleFactorLeftTau
RightModuleFactorRightTau
RightModuleFactorStrict
RightModuleFactorTauAssembly
RightModuleFiniteKernelBound
RightModuleFiniteType
RightModuleGabrielBetaComparison
RightModuleGeneratedAtIdempotent
RightModuleGeneratedCoordinateEquality
RightModuleGeneratedRelationsExt
RightModuleGeneratedRelationsFactorLift
RightModuleGeneratedRelationsQuotient
RightModuleGeneratedRelationsRealization
RightModuleHoshinoTorsion
RightModuleIdealQuotientCategory
RightModuleIdealQuotientSkeleton
RightModuleIdealQuotientTorsion
RightModuleIncidenceAlgebra
RightModuleIncidenceCategory
RightModuleIncidenceFullness
RightModuleInjectiveSocle
RightModuleInjectiveSocleQuotient
RightModuleInjectiveStableRepresentable
RightModuleIntervalEquality
RightModuleIntervalInequality
RightModuleIntervalProof
RightModuleIntrinsicArrowMultiplicity
RightModuleIrreducibleProjectiveQuotient
RightModuleIrreducibleProjectiveSourceUniserial
RightModuleIyamaBoundaryCover
RightModuleIyamaBoundaryDefect
RightModuleIyamaBoundaryNakayama
RightModuleIyamaBoundaryPresentation
RightModuleIyamaDualSimpleResolution
RightModuleIyamaEssentialSurjectivity
RightModuleIyamaGlobalDimension
RightModuleIyamaNakayamaSaturation
RightModuleIyamaSaturatedImage
RightModuleIyamaSaturation
RightModuleIyamaSimpleResolution
RightModuleIyamaSubobjectReduction
RightModuleLeftAlmostSplit
RightModuleLeftTau
RightModuleMagnitudePublic
RightModuleMagnitudeSurplus
RightModuleMiddleSupportCartan
RightModuleMoritaBasicUniqueness
RightModuleNakayama
RightModuleNakayamaARIdentification
RightModuleNakayamaEmbedding
RightModuleNakayamaHom
RightModuleNakayamaKernelIndecomposable
RightModuleOppositeProjectivePresentation
RightModuleOrdinaryQuiver
RightModuleOrdinaryQuiverAdaptedRepresentatives
RightModuleOrdinaryQuiverArrowRepresentatives
RightModuleOrdinaryQuiverDegree
RightModuleOrdinaryQuiverFullness
RightModuleOrdinaryQuiverKupischComparison
RightModuleOrdinaryQuiverLiftedPresentation
RightModuleOrdinaryQuiverSpecialBiserialAssembly
RightModuleOrdinaryQuiverUniverseLift
RightModulePosetPositiveGrading
RightModulePrimitiveArrowDescent
RightModulePrimitiveArrowGain
RightModulePrimitiveArrowIdeal
RightModulePrimitiveBasicAlgebra
RightModulePrimitiveBoundary
RightModulePrimitiveBoundaryCorrespondence
RightModulePrimitiveContragredient
RightModulePrimitiveContragredientBoundary
RightModulePrimitiveContragredientMultiplicity
RightModulePrimitiveContragredientSign
RightModulePrimitiveCornerCategory
RightModulePrimitiveCrossingMesh
RightModulePrimitiveDeletedSocle
RightModulePrimitiveDeletion
RightModulePrimitiveDirectCount
RightModulePrimitiveDirectedDeletion
RightModulePrimitiveFiniteKernelBoundary
RightModulePrimitiveFiniteKernelDualBoundary
RightModulePrimitiveFiniteKernelFactorBoundary
RightModulePrimitiveGrading
RightModulePrimitiveIdempotent
RightModulePrimitiveMarkerComplement
RightModulePrimitiveMultiplicity
RightModulePrimitivePosetEquivalence
RightModulePrimitivePosetRealization
RightModulePrimitiveProjectiveCoordinates
RightModulePrimitiveProjectiveCount
RightModulePrimitiveProjectiveHomChain
RightModulePrimitiveProjectiveKupisch
RightModulePrimitiveQuotient
RightModulePrimitiveQuotientCategory
RightModulePrimitiveQuotientFiniteSkeleton
RightModulePrimitiveQuotientSkeleton
RightModulePrimitiveRelativeMesh
RightModulePrimitiveSpecialBiserial
RightModulePrimitiveTorsion
RightModulePrimitiveTrace
RightModuleProjectiveBoundary
RightModuleProjectiveCover
RightModuleProjectiveFactorRadical
RightModuleProjectiveInjectiveARBoundary
RightModuleProjectiveInjectiveARMesh
RightModuleProjectiveInjectiveSocleFamily
RightModuleProjectiveInjectiveSocleIdeal
RightModuleProjectiveInjectiveSocleQuotient
RightModuleProjectiveInjectiveSocleRejection
RightModuleProjectivePresentationExt
RightModuleProjectivePresentationHom
RightModuleProjectiveRadicalRecursion
RightModuleProjectiveRadicalTop
RightModuleProjectiveStableCovariantRepresentable
RightModuleProjectiveStableCovariantSourceUniserial
RightModuleProjectiveStableCovariantUniserial
RightModuleRadical
RightModuleRegularDecomposition
RightModuleRepresentableImage
RightModuleRepresentationFiniteIdeals
RightModuleRepresentationFiniteSquareFree
RightModuleRestrictedCoyonedaHom
RightModuleRestrictedYonedaHom
RightModuleRightTau
RightModuleSchurianBoundary
RightModuleSimpleCount
RightModuleSimpleCountAlgebraEquiv
RightModuleSimpleSocleAlmostSplit
RightModuleSimpleTop
RightModuleSkeletonOfFGFamily
RightModuleSocleFamilyAlgebraEquiv
RightModuleSocleFamilyBeta
RightModuleSocleFamilyPresentationIndependence
RightModuleSocleReductionString
RightModuleStableHom
RightModuleStableHomExt
RightModuleStableRepresentable
RightModuleStableRepresentableInitialization
RightModuleStableRepresentableSocle
RightModuleStableRepresentableSocleInduction
RightModuleStableRepresentableSuccessor
RightModuleStandardBoundaryArrowSum
RightModuleStandardBoundaryCount
RightModuleStandardDegreeOneDimension
RightModuleStandardFormARIncoming
RightModuleStandardFormARIncomingAdditiveLift
RightModuleStandardFormARIncomingFactors
RightModuleStandardFormARIncomingNonsplit
RightModuleStandardFormARIncomingPreimage
RightModuleStandardFormARRightAlmostSplit
RightModuleStandardFormARShortExact
RightModuleStandardFormARSingletonMap
RightModuleStandardFormAlgebraSkeleton
RightModuleStandardFormArrowRealization
RightModuleStandardFormAuslander
RightModuleStandardFormAuslanderProjective
RightModuleStandardFormAuslanderRepresentable
RightModuleStandardFormGlobalDimension
RightModuleStandardFormInjectiveResolution
RightModuleStandardFormMesh
RightModuleStandardFormMeshExact
RightModuleStandardFormMeshExtVanishing
RightModuleStandardFormMeshHomCoordinateAssembly
RightModuleStandardFormMeshHomCoordinateFactor
RightModuleStandardFormMeshHomCoordinateFactorCoefficientMap
RightModuleStandardFormMeshHomCoordinateFactorEquation
RightModuleStandardFormMeshHomCoordinateFactorMap
RightModuleStandardFormMeshHomCoordinateFactorMorphisms
RightModuleStandardFormMeshHomCoordinateFactorNamedCoefficient
RightModuleStandardFormMeshHomCoordinateFactorNamedEquation
RightModuleStandardFormMeshHomCoordinateFactorNamedEvaluation
RightModuleStandardFormMeshHomCoordinateFactorNamedIncoming
RightModuleStandardFormMeshHomCoordinateFactorNamedUnderlying
RightModuleStandardFormMeshHomCoordinateFactorUnderlyingEquation
RightModuleStandardFormMeshHomExact
RightModuleStandardFormMeshYonedaData
RightModuleStandardFormMeshYonedaFactorComposition
RightModuleStandardFormMeshYonedaLift
RightModuleStandardFormMeshYonedaRawRelation
RightModuleStandardFormMeshYonedaReflectedRelation
RightModuleStandardFormProjectiveInjectives
RightModuleStandardFormRecovery
RightModuleStandardFormRestriction
RightModuleStandardFormRiedtmann
RightModuleStandardFormRiedtmannDuality
RightModuleStandardFormSimpleResolution
RightModuleStandardFormUniversalCovering
RightModuleStandardFormUniversalDualNormalization
RightModuleStandardFormUniversalNilpotence
RightModuleStandardFormUniversalNormalization
RightModuleStandardFormUniversalRealization
RightModuleStandardGradedAlgebraComparison
RightModuleStandardGradedArrowDimension
RightModuleStandardGradedBiproduct
RightModuleStandardGradedClassification
RightModuleStandardGradedDecomposition
RightModuleStandardGradedDegreeBounds
RightModuleStandardGradedDegreeOne
RightModuleStandardGradedDirected
RightModuleStandardGradedFGRecovery
RightModuleStandardGradedFunctor
RightModuleStandardGradedGenerator
RightModuleStandardGradedHigherDegree
RightModuleStandardGradedHom
RightModuleStandardGradedIncoming
RightModuleStandardGradedIncomingAlmostSplit
RightModuleStandardGradedIncomingBounds
RightModuleStandardGradedIrreducible
RightModuleStandardGradedIrreducibleDimension
RightModuleStandardGradedModules
RightModuleStandardGradedObjects
RightModuleStandardGradedRadicalDegreeOne
RightModuleStandardGradedRadicalHigherDegree
RightModuleStandardGradedRecovery
RightModuleStandardGradedRepresentatives
RightModuleStandardGradedSupport
RightModuleStandardHomogeneousCorners
RightModuleStandardHomogeneousIdempotents
RightModuleStandardIncomingCount
RightModuleStandardInteriorArrowDimension
RightModuleStandardInteriorArrowSum
RightModuleStandardInteriorFactorization
RightModuleStandardInteriorIndegree
RightModuleStandardInteriorIrreducibleSpace
RightModuleStandardInteriorRadicalSquare
RightModuleStandardInteriorSupport
RightModuleStandardIntervalAlgebra
RightModuleStandardIntervalArrowError
RightModuleStandardIntervalArrowSpace
RightModuleStandardIntervalBetaTransfer
RightModuleStandardIntervalBiserial
RightModuleStandardIntervalCategorySurplus
RightModuleStandardIntervalClassification
RightModuleStandardIntervalControlHeight
RightModuleStandardIntervalDirected
RightModuleStandardIntervalFamilyIrreducible
RightModuleStandardIntervalIncoming
RightModuleStandardIntervalIncomingDecomposition
RightModuleStandardIntervalIncomingSum
RightModuleStandardIntervalIndegreeBound
RightModuleStandardIntervalInteriorArrowSum
RightModuleStandardIntervalIrreducible
RightModuleStandardIntervalNumberedArrows
RightModuleStandardIntervalPacking
RightModuleStandardIntervalShifts
RightModuleStandardIntervalSimpleCount
RightModuleStandardIntervalSkeleton
RightModuleStandardIntervalSkeletonDirected
RightModuleStandardIntervalSurplusError
RightModuleStandardIntervalSurplusSlope
RightModuleStandardIntervalThin
RightModuleStandardMesh
RightModuleStandardMeshConstruction
RightModuleStandardMeshFullness
RightModuleStandardMeshGrading
RightModuleStandardMeshNormalization
RightModuleStandardSeparatedIntervals
RightModuleStandardSupportedCategory
RightModuleStandardSupportedDirected
RightModuleStandardSupportedIncomingBounds
RightModuleStandardSupportedIncomingCount
RightModuleStandardSupportedIndegreeBound
RightModuleStandardSupportedIrreducibleBounds
RightModuleStandardSupportedUniformIncoming
RightModuleStringSurplus
RightModuleSupportCoordinate
RightModuleSupportDirected
RightModuleSupportQuotient
RightModuleSupportRingelVanishing
RightModuleSupportWeakPositivity
RightModuleSurplusCounts
RightModuleTauAssembly
RightModuleTauData
RightModuleTranslation
RightModuleTranslationExcess
RightModuleTranslationMultiplicity
RightModuleTranslationSlices
RightModuleWeakPositivity
SocleModule
SpecialBiserialAlgebra
SpecialBiserialBranchIndependence
SpecialBiserialSoclePairing
SpecialBiserialSoclePairingEssentiality
SpecialBiserialSocleReduction
SpecialBiserialStringProjectiveInjective
StatementFiniteModules
StatementPresentation
StatementTheorem
StringAlgebraSkeletonArity
StringAlgebraSkeletonClassification
StringAlgebraSkeletonUnaryBoundary
StringArrowBranchCoordinate
StringArrowBranchEvaluation
StringArrowBranchMaps
StringArrowBranchProjection
StringArrowBranchProjectionComplement
StringArrowCokernel
StringArrowCokernelAlmostSplit
StringArrowCokernelBranch
StringArrowCokernelBranchBasic
StringArrowCokernelBranchIdentification
StringArrowCokernelBranchInjective
StringArrowCokernelBranchSection
StringArrowCokernelBranchSectionApply
StringArrowCokernelBranchSurjective
StringArrowCokernelClassification
StringArrowCokernelIrreducible
StringArrowCokernelPure
StringArrowCokernelRadical
StringArrowCokernelRadicalComplement
StringArrowCokernelRadicalComplementBasic
StringArrowCokernelRadicalMap
StringArrowIdeal
StringArrowRangeIndecomposableModule
StringArrowRepresentedMap
StringArrowRightIdeal
StringArrowRightIdealAction
StringArrowRightIdealBasis
StringArrowRightIdealBiproductCoordinate
StringArrowRightIdealObjectCoordinate
StringArrowRightIdealRange
StringArrowRightIdealRangeK
StringBoundQuiver
StringBoundaryExtension
StringBoundarySquare
StringButlerRingelCount
StringCohookDeletion
StringCohookDeletionNesting
StringCohookRepeatedMiddle
StringDetectorBoundary
StringDetectorCoordinateSubspace
StringDetectorCoordinateTrace
StringDetectorEvaluation
StringDetectorFiniteIndex
StringDetectorFunctor
StringDetectorGrid
StringDetectorIndex
StringDetectorLift
StringDetectorOffDiagonal
StringDetectorPair
StringDetectorPairContext
StringDetectorPairWord
StringDetectorReconstruction
StringDetectorReflection
StringDetectorReversal
StringDetectorSelfEvaluation
StringDetectorSelfPath
StringDetectorSplit
StringDetectorSplitNaturality
StringDetectorSplitTransport
StringDetectorSubspace
StringDetectorTrajectory
StringDetectorWordCoverage
StringDetectorWordExtension
StringDetectorWordOrder
StringDoubleCohookSquare
StringEmbeddingFunctor
StringEndomorphismDiagonal
StringEndpointClassification
StringEndpointDeterminism
StringExtension
StringExtensionArm
StringFiniteBiproductIrreducible
StringFiniteBoundaryAlmostSplit
StringFiniteBoundaryArity
StringFiniteBoundaryIrreducible
StringFiniteBoundarySquare
StringFiniteDetectorFunctor
StringFiniteDoubleCohookIrreducible
StringFiniteMixedBoundaryIrreducible
StringFiniteModule
StringFiniteModuleClassification
StringFinitePureOneSidedHook
StringFiniteSkeletonClassification
StringFiniteUnaryBoundary
StringGraphComponentArmPropagation
StringGraphComponentBoundaryContinuation
StringGraphComponentComposition
StringGraphComponentConvexity
StringGraphComponentEndomorphism
StringGraphComponentFactorization
StringGraphComponentFactorizationAlignment
StringGraphComponentFullSupport
StringGraphComponentInterval
StringGraphComponentMap
StringGraphComponentNilpotence
StringGraphComponentPathTransfer
StringGraphComponentProductDiagonal
StringGraphComponentProperInterval
StringGraphComponentRadicalCandidate
StringGraphComponentSpanning
StringHookCohook
StringHookCohookFactorizationBiproduct
StringHookCohookFactorizationLength
StringHookCohookFactorizationMaximality
StringHookCohookFiniteIrreducible
StringHookCohookGraphComponent
StringHookCohookReplay
StringHookCohookStrict
StringHookFactorizationBoundary
StringHookKernelDeterminism
StringHookRepeatedMiddle
StringHookSquare
StringIndecomposable
StringLeftBoundaryExtension
StringLeftHookCohook
StringLeftHookCohookFactorizationMaximality
StringMixedBoundarySquare
StringMixedHookSquare
StringMixedSignUniserial
StringModuleExtension
StringMorphismCoefficient
StringMorphismSupport
StringNegativeBoundarySquare
StringOtherIncomingFamily
StringPathCombinatorics
StringPeakWedge
StringPeakWedgeAlgebraTransport
StringPeakWedgeRepresentable
StringPolarization
StringPositivePath
StringPrefixExtension
StringProjectiveARCount
StringProjectiveExplicitPathBasis
StringProjectiveIncomingContinuationImage
StringProjectiveIncomingPathComposite
StringProjectiveIncomingPositiveBasis
StringProjectiveIncomingSum
StringProjectiveIncomingSumBasic
StringProjectiveIncomingSumImage
StringProjectiveIncomingSumSingle
StringProjectivePathBasis
StringProjectiveRadical
StringProjectiveRadicalArrowPi
StringProjectiveRadicalBiproductReindex
StringProjectiveRadicalDecomposition
StringProjectiveRadicalDecompositionBasic
StringProjectiveRadicalDecompositionObjects
StringProjectiveRadicalSummandIndec
StringPureEndpoint
StringPurePeakRepresentable
StringQuotientEndLocal
StringQuotientSkeletal
StringReconstructionCoverage
StringReducedReverse
StringRepresentation
StringReverse
StringWord
UniserialModule
CategoryTheory
AdditiveAuslanderEquivalence
AdmissibleModuleCategory
AlgebraicallyClosedOccurrenceBasis
AlgebraicallyClosedResidue
AlmostSplitCokernel
AlmostSplitCommutativeSquare
AlmostSplitComparison
AlmostSplitDuality
AlmostSplitEquivalence
AlmostSplitEssentialImage
AlmostSplitExtVanishing
AlmostSplitInjectiveKernel
AlmostSplitLocalFunctor
AlmostSplitMultiplicity
AlmostSplitNatIso
AlmostSplitPullback
AlmostSplitShortExact
AlmostSplitSummandIrreducible
BinaryBiproductExactReflection
BiserialObject
CategoricalIrreducibleSpace
CategoryAlgebraMatrixEquivalence
CategoryAlgebraMatrixModel
CategoryAlgebraOppositeTuple
CoherentDeckShiftRestriction
CompCongr
ContragredientLinear
DeckOrbitNormalTranslate
DeckOrbitNormalTranslateCoset
DeckOrbitNormalTranslateLinear
DeckOrbitResidualCoherentShift
DeckOrbitResidualLinear
DeckOrbitResidualShift
DeckOrbitSkeleton
DeckOrbitSubgroupFunctor
DeckOrbitSubgroupResidualCommShift
DeckOrbitTowerEquivalence
DeckOrbitTowerFiniteSkeleton
DeckOrbitTowerFlatten
DeckOrbitTowerModuleEquivalence
DeckShiftAction
DirectedMeshFaithfulness
EndomorphismDrop
EpiRightFreydKernel
EssentialUniserialExtension
ExtOneRealization
ExtendSupportedIso
FGExtRealization
FGModuleCatAdditiveFinrank
FGModuleCatLinearFunctor
FGModuleIndecomposable
FiniteBoundedDecomposition
FiniteCategoryAlgebraBiserial
FiniteCategoryAlgebraBridge
FiniteCategoryAlgebraEquivalence
FiniteCategoryAlgebraFunctor
FiniteCategoryAlgebraInvariants
FiniteCategoryAlgebraOpposite
FiniteCategoryAlgebraSimpleCount
FiniteCategoryAlgebraSurplus
FiniteCategoryAlgebraThin
FiniteCategoryAlgebraThinReindex
FiniteCategoryDirectedSurplus
FiniteCategoryPointwiseThinBiserial
FiniteCategoryPrimitiveDeletion
FiniteCategoryPrimitivePresentation
FiniteCategoryPrimitiveQuotientSurplus
FiniteCategoryPrimitiveQuotientSurplusReindex
FiniteCategoryProjectiveGenerator
FiniteCategoryProjectiveGeneratorLinear
FiniteCategorySurplusInvariant
FiniteCategoryTwoSidedBiserial
FiniteCoordinateFunctor
FiniteDecompositionVanishes
FiniteDeletionSkeletonLocalChange
FiniteDeletionSurplus
FiniteDimensionalModuleAbelian
FiniteDimensionalModuleAlmostSplitMinimal
FiniteDimensionalModuleBiproducts
FiniteDimensionalModuleControlWindow
FiniteDimensionalModuleDeckShift
FiniteDimensionalModuleDecomposition
FiniteDimensionalModuleDirected
FiniteDimensionalModuleDualSkeleton
FiniteDimensionalModuleDualUniserial
FiniteDimensionalModuleDuality
FiniteDimensionalModuleDualityExact
FiniteDimensionalModuleEnoughInjectives
FiniteDimensionalModuleEssentialSocle
FiniteDimensionalModuleFiniteAlmostSplit
FiniteDimensionalModuleFiniteType
FiniteDimensionalModuleHomFinite
FiniteDimensionalModuleIndecomposable
FiniteDimensionalModuleInjectiveCoordinates
FiniteDimensionalModuleInjectiveEnvelope
FiniteDimensionalModuleIrreducibleAlmostSplit
FiniteDimensionalModuleLocalRepresentationFinite
FiniteDimensionalModuleProjectiveCoordinates
FiniteDimensionalModuleProjectiveCover
FiniteDimensionalModuleProjectivePresentation
FiniteDimensionalModuleRepresentableGeneration
FiniteDimensionalModuleRestriction
FiniteDimensionalModuleRightTau
FiniteDimensionalModuleThin
FiniteDimensionalModuleTrivialStabilizer
FiniteGeneratorRadicalNilpotence
FiniteIndecomposableDecomposition
FiniteIndecomposableDecompositionUniqueness
FiniteKernelBound
FiniteKernelExtBound
FiniteKrullSchmidtMatrix
FiniteMeshEndLocal
FiniteModuleResidualSeparation
FiniteMoritaEquivalence
FiniteNeighborhoodAlmostSplit
FiniteOrbitDownstreamPresentation
FiniteOrbitPushdown
FiniteOrbitPushdownAdditiveControlWindow
FiniteOrbitPushdownAlmostSplit
FiniteOrbitPushdownAuslanderReiten
FiniteOrbitPushdownBoundary
FiniteOrbitPushdownExact
FiniteOrbitPushdownHomEquiv
FiniteOrbitPushdownIndecomposable
FiniteOrbitPushdownMinimalPresentation
FiniteOrbitPushdownWindow
FiniteOrbitRadicalComponents
FiniteRepresentableAlmostSplitSocle
FiniteRepresentableAuslanderTranspose
FiniteRepresentableInjectiveBoundary
FiniteRepresentableLinearLift
FiniteRepresentableNakayamaFull
FiniteRepresentableNakayamaHom
FiniteRepresentableNakayamaInjective
FiniteRepresentableNakayamaKernelIndecomposable
FiniteRepresentableNakayamaKernelMinimal
FiniteRepresentableProjectiveBoundary
FiniteRepresentableStableHomExt
FiniteSkeletonDensityInvariance
FiniteSkeletonIntrinsicLocalDensity
FiniteSkeletonShiftAction
FiniteTauAlmostSplitMultiplicity
FiniteTauBeta
FiniteTauBetaDisplayed
FiniteTauHeightIrreducible
FiniteTauHeightRadicalPowers
FiniteTauHomPredecessor
FiniteTauIrreducible
FiniteTauLocalDensity
FiniteTauMatrix
FiniteTauOccurrences
FiniteTauOneMiddle
FiniteTauRejection
FiniteTauSquareTranslate
FiniteTauSurplusEquivalence
FiniteTauTranslationMultiplicity
FullyFaithfulNakayamaPairing
FullyFaithfulObjectLift
GabrielPullupPushdownDecomposition
GradedAdditiveEmbeddingHom
GradedAdditiveEnvelope
GradedAlmostSplitTransfer
GradedBicone
GradedDegreeCategory
GradedFunctorHomEquiv
GradedGeneratorCorners
GradedGeneratorHom
GradedGeneratorIdempotents
GradedGeneratorModule
GradedHomComponents
GradedHomInverse
GradedHomogeneousSplitting
GradedIntervalActionCoefficients
GradedIntervalCategory
GradedIntervalCoordinateComparison
GradedIntervalCoordinateNaturality
GradedIntervalDeletion
GradedIntervalEvaluationCoordinate
GradedIntervalEvaluationIso
GradedIntervalIdempotentAction
GradedIntervalOppositeDeletion
GradedIntervalReconstructedModule
GradedIntervalReconstructionAction
GradedIntervalReconstructionFunctor
GradedIntervalSupportedModules
GradedMatrixBicone
GradedModuleBiproducts
GradedModuleClassification
GradedModuleDecomposition
GradedModuleFiniteHom
GradedModuleHomCategory
GradedModuleIdempotents
GradedModuleLocalEnd
GradedModuleShiftRigidity
GradedModuleSupport
GradedModuleUnderlyingIndecomposable
GradedPrincipalBlockProduct
GradedPrincipalDegreeShift
GradedPrincipalIntervalAlgebra
GradedPrincipalIntervalDeletion
GradedPrincipalIntervalLinear
GradedPrincipalIntervalModuleEquivalence
GradedPrincipalIntervalRepresentations
GradedPrincipalIntervalSimpleCount
GradedPrincipalIntervalTuple
GradedPrincipalPackedSurplus
GradedPrincipalRetainedBlockEquivalence
GradedPrincipalRetainedBlocks
GradedPrincipalRetainedOrthogonality
GradedPrincipalSchur
GradedPrincipalSeparatedDeletion
GradedProjectiveCornerCategory
GradedProjectiveDetection
GradedProjectiveEvaluation
GradedProjectiveHomSpaces
GradedProjectiveRepresentation
GradedShiftFunctor
GradedSupportedAlmostSplit
GradedSupportedCategory
GradedSupportedEvaluation
GradedSupportedEvaluationCounit
GradedSupportedEvaluationIso
GradedSupportedModuleCoordinateAction
GradedSupportedModuleCoordinates
GradedSupportedModuleRecovery
GradedSupportedModuleUnit
GradedSupportedProjectiveEquivalence
GradedUnderlyingFG
HomIdealComap
HomIdealProductEquivalence
HomIdealProductFullSubcategory
HomInteractionSeparation
HomMeshInverse
HomSubbimodule
HomUnitEquations
HomogeneousPathIdeal
HomogeneousRelationQuotient
IdempotentCompleteFullSubcategory
IncomingDecompositionIdeal
IncomingDecompositionSum
IndecomposableFamilyEquivalence
IndecomposableFiniteEnd
IndecomposableOfLocalEnd
InjectiveEnvelope
InjectivePresentationExt
InjectiveStableHom
IrreducibleAbelian
IrreducibleBinaryBiproduct
IrreducibleFiniteCoreFunctor
IrreducibleFromIndecomposableFactors
IrreducibleIncomingSum
IrreducibleKernelFactorization
IrreducibleLocalFunctor
IrreducibleRadicalSquare
IrreducibleRepeatedBiproduct
IrreducibleShortExactAlmostSplit
IrreducibleSpaceAllMaps
IrreducibleSpaceEquivalence
IrreducibleSpaceFullSubcategory
IrreducibleSpaceInvertible
IrreducibleSpaceIso
IrreducibleSpaceVanishing
KernelExtensionFromExt
KernelIsoScalarMaps
KupischCyclicity
KupischUniserial
LeftFreydKernel
LeftFreydProjectiveInjectiveCopresentation
LinearAdditiveEnvelopeLift
LinearBiproduct
LinearCovering
LinearCoveringPullback
LinearCoveringSummand
LinearEquivQuotient
LinearExtAlongFunctor
LinearIdealQuotientLift
LinearMatrixFunctor
LinearModuleDeckShift
LinearPathCategory
LinearPathCovering
LinearPathDecomposition
LinearPathIdealPower
LinearPathIncoming
LinearPathKernelFiltration
LinearPathLift
LinearYonedaRelation
LocallyBoundedOpposite
LocallyFiniteModuleLocalDensity
Magnitude
MatrixTupleReindex
MeshAdditiveHull
MeshCategory
MeshCovering
MeshCoveringHom
MeshDegreeOneDimension
MeshHomGrading
MeshIdealEndpoint
MeshIdealLifting
MeshIncomingDecomposition
MeshPairedRelation
MeshPositiveTail
MeshProjectiveDetection
MeshRealization
MeshRiedtmann
MeshRiedtmannContravariantDuality
MeshRiedtmannDuality
MeshSimpleClassification
MeshSimplePresentation
MeshSimpleTranslation
MeshTopTorsionfree
MeshWeight
MeshYonedaRelation
ModuleCatLargeBiproduct
ModuleFunctorExact
ModuleGeneratorMorita
ModuleIrreducibleSpaceComparison
ModuleRadicalSquareComparison
NoBackwardFactorization
NoBackwardRadicalSquare
ObjectDeletionAlmostSplit
ObjectDeletionComparison
ObjectDeletionControlWindow
ObjectDeletionConvexComparison
ObjectDeletionDeckShift
ObjectDeletionFiniteObjects
ObjectDeletionFiniteStructure
ObjectDeletionLocalDensity
ObjectDeletionMatrixAlgebra
ObjectDeletionModuleAdjoints
ObjectDeletionModuleExtension
ObjectDeletionModuleInheritance
ObjectDeletionQuotient
ObjectDeletionShift
ObjectDeletionStage
ObjectDeletionStageAdmissible
ObjectDeletionStageControlWindow
ObjectDeletionStageSeparation
ObjectDeletionSurvivingWindows
ObjectDeletionUniformSeparation
ObjectDeletionVanishingLinear
OppositeLinear
OrbitHomOrthogonality
OrbitPullupPushdownDecomposition
OrbitPullupPushdownDiagonalInvariance
OrbitPullupPushdownSummand
OrbitPushdown
OrbitPushdownAdjunction
OrbitPushdownCommShift
OrbitPushdownCorepresentable
OrbitPushdownDegree
OrbitPushdownDescent
OrbitPushdownFiniteSupport
OrbitPushdownFunctor
OrbitPushdownHomEquiv
OrbitPushdownIndecomposable
OrbitPushdownNakayama
OrbitPushdownRepresentable
OrbitPushdownResidualFubini
OrbitPushdownShift
OrthogonalBlockSurplus
OrthogonalMatrixBlocks
OrthogonalModuleSupport
PathDegreeFactorization
PathLengthGrading
PathLengthOneDimension
PositiveWeightStrictness
ProjectiveCover
ProjectiveDimensionBiproduct
ProjectiveMiddleDimensionShift
ProjectivePresentationExt
ProjectiveStableHom
QuiverPathCostar
RadicalMinimality
RadicalSquareFullSubcategory
RadicalSubobject
RankedFamilyEquivalence
RelationQuotientComponent
RepresentableDeckShift
RepresentableGrading
RepresentablePosetSpace
RepresentablePosetSpaceFullness
RepresentablePosetSpaceQuotient
RepresentablePresentation
RepresentedHomTransport
ResidueDimension
RestrictedYoneda
RightFreydCokernel
SchurIndecomposable
ShiftOrbitDecomposition
ShiftOrbitFactorization
ShiftOrbitHom
ShiftOrbitLocalAlgebra
ShiftOrbitNormalTranslate
ShiftOrbitNormalTranslateShift
ShiftOrbitNormalTranslateUnitMul
ShiftOrbitObjectIso
ShiftOrbitResidualFlattenLinearEquiv
ShiftOrbitResidualShift
ShiftOrbitResidualTranslate
ShiftOrbitSubgroupFunctor
ShiftOrbitSubgroupResidualCommShift
ShiftOrbitWindow
ShortExactKernelTransport
SimpleProjectiveTop
SplitEpiCokernelKernel
StandardMeshGrading
SubobjectEquivalence
TauExactDimension
TranslationQuiverDeckAction
TranslationQuiverMeshOrbit
TranslationQuiverUniversalCover
TranslationQuiverUniversalGrading
UniserialObject
Combinatorics
AntichainUpperCube
CommonFiberSum
DegreeOneDimension
DirectMeshHeight
DirectedDeletion
DirectedDeletionRealization
EulerSurplus
FiniteInteractionNeighborhood
FiniteShiftWindow
FiniteSupportWindow
FiniteWidthTwo
FiniteWindowOrbitQuotient
GradedIntervalBoundaryCount
GradedIntervalCount
GradedIntervalInteriorSum
GradedIntervalSurplus
GradedTreeExcess
HeightArrowCount
HeightBoundaryBalance
HeightBoundaryPointCount
HeightTranslationSum
IntervalArrowError
MeshMatrix
OrbitQuotientAction
OrbitQuotientLocalDensity
PosetSpaceAdaptedBasis
PosetSpaceAntichainExtension
PosetSpaceBoundary
PosetSpaceBoundaryCover
PosetSpaceBoundaryDiagram
PosetSpaceBoundaryPresentation
PosetSpaceBoundarySocle
PosetSpaceChainFlag
PosetSpaceFiltrationStabilizer
PosetSpaceFullSupport
PosetSpaceGrading
PosetSpaceIncidenceEvaluation
PosetSpaceLineSupport
PosetSpaceRealization
PosetSpaceSelectableAntichain
PosetSpaceSelectableSupport
PosetSpaceSharpEquality
PosetSpaceThreeAntichain
PosetSpaceUpperSetHeight
RankedReachability
RankedSinkReachability
ReindexedBoundarySum
ReindexedIncomingEquality
ReindexedIncomingSum
ResidualFiniteSeparation
SeparatedIntervalCoordinates
SeparatedIntervalSurplus
SeparatedIntervals
SupportInteractionSeparation
SupportedShiftSum
SurplusCounts
SurplusSlope
TranslationInvariantSubset
TranslationSliceCount
UpperSetHeight
Graded
AlgebraTransport
BundledIdempotentComponent
CoordinateGrading
CornerTransport
EquivTransport
FinitePiGrading
FiniteProjectionCover
FiniteVectorGrading
GradedSubmodule
GradedSubspace
IdempotentCoordinateEquiv
IdempotentProjections
IdempotentProjective
IntegerExtension
IntervalConvolution
IntervalCornerCoefficients
LinearMapComponents
ModuleBundling
ModuleHomGrading
ModuleMapComponents
ProjectionAction
ProjectionNaturality
ProjectiveCorners
QuotientDecomposition
RegularModule
ShiftRigidity
ShiftedProduct
LinearAlgebra
CartanCoordinateEstimate
ComplementProjection
DirectSumFubini
FiniteDirectSumDual
FiniteFiltration
FiniteProportionalClasses
LocalAlgebraResidue
PairSubquotient
PiExplicitBasis
PiInsertZero
ScalarCornerGeneratedCoordinate
SingleCoordinate
SubmodulePiSum
UpperTriangularWeakPositivity
AxiomAudit
DeferredStructuralInputs
DependencyAudit
MainResults
PublicAxiomAudit
Statement
VendoredAudit
QuotientSubmoduleEquidistribution
CategoryTheory
CategoricalRadical
CategoricalRadicalIdeal
FiniteTauCategory
HomIdeal
HomIdealPowers
IdealQuotient
IdempotentLifting
IyamaFiniteLadderComparison
IyamaKrullSchmidtConormalForm
IyamaKrullSchmidtDirectFinite
IyamaKrullSchmidtNormalForm
IyamaKrullSchmidtWeight
IyamaLadderComparisonAssembly
IyamaLadderComparisonCertificate
IyamaLadderComparisonEndpoint
IyamaLadderRadical
IyamaLeftLadderBasic
IyamaLeftLadderIteration
IyamaLeftLadderNormalization
IyamaLeftLadderPropagation
IyamaLeftLadderRadicalLayer
IyamaLeftSuccessorSpecialness
IyamaMeshSplitLifting
IyamaMixedMeshSplitLifting
IyamaNakayamaBoundary
IyamaNakayamaExtraction
IyamaNakayamaPair
IyamaNakayamaWeight
IyamaReversedDomination
IyamaReversedRightPrefix
IyamaRightLadderConstruction
IyamaRightLadderIteration
IyamaRightLadderPropagation
IyamaRightLadderRadicalWitness
IyamaRightSuccessorSpecialness
IyamaSpecialMorphism
IyamaTauBiproduct
IyamaTauSequence
LinearGeneratedHomIdeal
LinearMat
MatWeakExactness
MinimalMorphism
NilpotentCategoricalRadical
Rejective
RejectiveOpposite
SplitMorphismComplement
ConvexGeometry
Basic
ClosedSets
Finite
LevelPolynomial
Relabeling
Foundation
RingTheory
KrullSchmidt
Indecomposable
LocalRing
Basic
RepresentationTheory
AdditiveSubcategory
AlmostSplitCofinite
AlmostSplitKernel
AlmostSplitUniqueness
AntiExchange
Biduality
Contragredient
ContragredientDuality
ContragredientFunctor
ContravariantTransport
DualityConsequences
EndomorphismRadical
FacSub
FiniteType
FiniteTypeAlmostSplit
IrreducibleCofinite
IrreducibleRadicalQuotient
LeftAROccurrenceBasis
LinearIrreducibleHomSpace
RightAROccurrenceBasis
SplitInjective
SplitProjective
SubmoduleAntiExchange
Trace

Color scheme