Documentation
Atlas
.
TensorCategories
.
TensorCategories
Search
return to top
source
Imports
Init
Atlas.TensorCategories.code.AlgebraInCategory
Atlas.TensorCategories.code.AlgebrasInCategories
Atlas.TensorCategories.code.AlgebrasInCategoriesDefs
Atlas.TensorCategories.code.BasicMonoidalDefs
Atlas.TensorCategories.code.BialgebraReconstruction
Atlas.TensorCategories.code.Bimodule
Atlas.TensorCategories.code.BuildStubAudit
Atlas.TensorCategories.code.BuildVerified
Atlas.TensorCategories.code.CategoricalDimension
Atlas.TensorCategories.code.Ch1Theorems
Atlas.TensorCategories.code.ChevalleyProperty
Atlas.TensorCategories.code.CoalgebraBialgebra
Atlas.TensorCategories.code.ComoduleDuals
Atlas.TensorCategories.code.ConcreteInstancesModule
Atlas.TensorCategories.code.CoradicalFiltration
Atlas.TensorCategories.code.Corollary_1_13_4
Atlas.TensorCategories.code.Corollary_1_13_7
Atlas.TensorCategories.code.Corollary_1_15_2
Atlas.TensorCategories.code.Corollary_1_15_9
Atlas.TensorCategories.code.Corollary_1_22_6
Atlas.TensorCategories.code.Corollary_1_29_5
Atlas.TensorCategories.code.Corollary_1_31_5
Atlas.TensorCategories.code.Corollary_1_45_11
Atlas.TensorCategories.code.Corollary_1_45_16
Atlas.TensorCategories.code.Corollary_1_48_3
Atlas.TensorCategories.code.Corollary_2_7_2
Atlas.TensorCategories.code.Definition_1_15_4
Atlas.TensorCategories.code.Definition_1_18_1
Atlas.TensorCategories.code.Definition_1_18_2
Atlas.TensorCategories.code.Definition_1_34_1
Atlas.TensorCategories.code.Definition_1_45_7
Atlas.TensorCategories.code.Definition_1_46_1
Atlas.TensorCategories.code.Definition_2_1_6
Atlas.TensorCategories.code.Definition_2_3_1
Atlas.TensorCategories.code.Definition_2_9_1
Atlas.TensorCategories.code.Definition_2_9_18_ExactAlgebra
Atlas.TensorCategories.code.DeligneTensorProduct
Atlas.TensorCategories.code.DeligneTensorProductDef
Atlas.TensorCategories.code.DeligneTensorProductMonoidal
Atlas.TensorCategories.code.DirectSumModuleCategory
Atlas.TensorCategories.code.DirectSumModuleCategoryDef
Atlas.TensorCategories.code.DualCategory
Atlas.TensorCategories.code.DualCoherenceBridge
Atlas.TensorCategories.code.DualDefinitions
Atlas.TensorCategories.code.EndTensorProduct
Atlas.TensorCategories.code.ExactModuleCatEquiv
Atlas.TensorCategories.code.ExactModuleCategory
Atlas.TensorCategories.code.ExactModuleCriteria
Atlas.TensorCategories.code.ExactModuleProjectives
Atlas.TensorCategories.code.Ext1UnitVanishing
Atlas.TensorCategories.code.FPdimCategory
Atlas.TensorCategories.code.FPdimCosine
Atlas.TensorCategories.code.FPdimFunctor
Atlas.TensorCategories.code.FPdimProps
Atlas.TensorCategories.code.FiberFunctor
Atlas.TensorCategories.code.FiberFunctorEnd
Atlas.TensorCategories.code.FiniteAbelianCategoryDef
Atlas.TensorCategories.code.FiniteCategoryDef
Atlas.TensorCategories.code.FiniteTensorCategory
Atlas.TensorCategories.code.FittingAlgebraLocalRing
Atlas.TensorCategories.code.FittingLemmaInstance
Atlas.TensorCategories.code.FittingLemmaLocalEnd
Atlas.TensorCategories.code.FrobeniusPerron
Atlas.TensorCategories.code.GradedVec
Atlas.TensorCategories.code.GrothendieckFusionRingInstance
Atlas.TensorCategories.code.GrothendieckModuleIrreducible
Atlas.TensorCategories.code.GrothendieckRing
Atlas.TensorCategories.code.GrothendieckRingCategorical
Atlas.TensorCategories.code.GrothendieckRingHom
Atlas.TensorCategories.code.GroupoidMultitensor
Atlas.TensorCategories.code.HigherDerivation
Atlas.TensorCategories.code.HomExactImpliesExact
Atlas.TensorCategories.code.HopfAlgebra
Atlas.TensorCategories.code.HopfAlgebraAntiHom
Atlas.TensorCategories.code.HopfAlgebraExamples
Atlas.TensorCategories.code.HopfAlgebraRep
Atlas.TensorCategories.code.IndecomposableModuleCat
Atlas.TensorCategories.code.IntegralCategories
Atlas.TensorCategories.code.IntegralsClean
Atlas.TensorCategories.code.InternalHom
Atlas.TensorCategories.code.InvertibleObjects
Atlas.TensorCategories.code.K0Bimodule
Atlas.TensorCategories.code.Lemma285
Atlas.TensorCategories.code.Lemma_1_30_2
Atlas.TensorCategories.code.Lemma_1_51_1
Atlas.TensorCategories.code.Lemma_2_13_2
Atlas.TensorCategories.code.Lemma_2_13_3
Atlas.TensorCategories.code.Lemma_2_14_7
Atlas.TensorCategories.code.Lemma_2_8_5
Atlas.TensorCategories.code.LocalEndRingsInstance
Atlas.TensorCategories.code.LocallyFiniteDefs
Atlas.TensorCategories.code.MacLaneCoherence
Atlas.TensorCategories.code.MacLaneStrictness
Atlas.TensorCategories.code.ModuleCategory
Atlas.TensorCategories.code.ModuleCategoryDecomp
Atlas.TensorCategories.code.ModuleCategoryEquiv
Atlas.TensorCategories.code.ModuleCategoryMultitensor
Atlas.TensorCategories.code.ModuleFunctor
Atlas.TensorCategories.code.ModuleFunctorAbelianDefs
Atlas.TensorCategories.code.ModuleFunctorCategory
Atlas.TensorCategories.code.ModuleFunctorCategoryAbelianInstance
Atlas.TensorCategories.code.ModuleFunctorDefs
Atlas.TensorCategories.code.ModuleFunctorFinite
Atlas.TensorCategories.code.ModuleOverAlgebra
Atlas.TensorCategories.code.ModuleRigidityCompat
Atlas.TensorCategories.code.MonoidalFunctorDef
Atlas.TensorCategories.code.MonoidalFunctorProps
Atlas.TensorCategories.code.MonoidalFunctorsCohomology
Atlas.TensorCategories.code.MonoidalStructuresGraded
Atlas.TensorCategories.code.MoritaEquivalence
Atlas.TensorCategories.code.PerronFrobeniusFin1
Atlas.TensorCategories.code.PerronFrobeniusProof
Atlas.TensorCategories.code.PivotalSpherical
Atlas.TensorCategories.code.PointedCoalgebras
Atlas.TensorCategories.code.PointedTensorCategory
Atlas.TensorCategories.code.ProjectiveCoverInfra
Atlas.TensorCategories.code.Prop_1_45_10
Atlas.TensorCategories.code.Proposition_1_15_5
Atlas.TensorCategories.code.Proposition_1_27_1
Atlas.TensorCategories.code.Proposition_1_2_4
Atlas.TensorCategories.code.Proposition_1_32_3
Atlas.TensorCategories.code.Proposition_1_34_7
Atlas.TensorCategories.code.Proposition_1_45_15
Atlas.TensorCategories.code.Proposition_1_45_2
Atlas.TensorCategories.code.Proposition_1_45_5
Atlas.TensorCategories.code.Proposition_1_46_2
Atlas.TensorCategories.code.Proposition_1_48_2
Atlas.TensorCategories.code.Proposition_1_6_4
Atlas.TensorCategories.code.Proposition_2_10_7
Atlas.TensorCategories.code.Proposition_2_12_2
Atlas.TensorCategories.code.Proposition_2_14_14
Atlas.TensorCategories.code.Proposition_2_1_3
Atlas.TensorCategories.code.Proposition_2_7_7
Atlas.TensorCategories.code.Proposition_2_8_7
Atlas.TensorCategories.code.QBinomial
Atlas.TensorCategories.code.QuantumGroupGeneral
Atlas.TensorCategories.code.QuantumSl2
Atlas.TensorCategories.code.QuantumSl2Concrete
Atlas.TensorCategories.code.QuantumSl2Instance
Atlas.TensorCategories.code.QuantumTrace
Atlas.TensorCategories.code.QuasiTensorFunctor
Atlas.TensorCategories.code.QuasiTensorFunctorProjective
Atlas.TensorCategories.code.ReductiveGroup
Atlas.TensorCategories.code.RegularElement
Atlas.TensorCategories.code.RegularObject
Atlas.TensorCategories.code.RegularObjectAbsorption
Atlas.TensorCategories.code.RigidAbelianDecomp
Atlas.TensorCategories.code.RigidMonoidalDuality
Atlas.TensorCategories.code.SchurLemma
Atlas.TensorCategories.code.SemisimpleDuals
Atlas.TensorCategories.code.SemisimpleMultitensor
Atlas.TensorCategories.code.SimpleObjectHelpers
Atlas.TensorCategories.code.SkewPrimitive
Atlas.TensorCategories.code.SocleFiltration
Atlas.TensorCategories.code.SubquotientRelation
Atlas.TensorCategories.code.SurjectiveFunctor
Atlas.TensorCategories.code.SurjectiveTensorFunctor
Atlas.TensorCategories.code.SweedlerHopfInstance
Atlas.TensorCategories.code.TaftWilsonComponentGrouplike
Atlas.TensorCategories.code.TensorCategoryDef
Atlas.TensorCategories.code.TensorDualAdj
Atlas.TensorCategories.code.TensorExact
Atlas.TensorCategories.code.TensorHomEquivHelper
Atlas.TensorCategories.code.TensorHomEquivNaturality
Atlas.TensorCategories.code.TensorNondegenInstance
Atlas.TensorCategories.code.TensorOverAlgebra
Atlas.TensorCategories.code.Theorem_1_15_8
Atlas.TensorCategories.code.Theorem_1_25_2
Atlas.TensorCategories.code.Theorem_2_14_11
Atlas.TensorCategories.code.TraceNonzero
Atlas.TensorCategories.code.TypeclassInstanceAudit
Atlas.TensorCategories.code.UnitProjectiveSemisimple
Atlas.TensorCategories.code.UnitSemisimplicity
Atlas.TensorCategories.code.VecCategoricalFusionData
Atlas.TensorCategories.code.VecDualMapBridge
Atlas.TensorCategories.code.VecInstances
Atlas.TensorCategories.code.VecPivotal
Atlas.TensorCategories.code.VecPivotalConcrete
Atlas.TensorCategories.code.VecPivotalNaturality
Atlas.TensorCategories.code.VecSemisimple
Atlas.TensorCategories.code.VecSphericalConcrete
Atlas.TensorCategories.code.VecTensorDualCoherence
Atlas.TensorCategories.code.ZPlusModules
Atlas.TensorCategories.code.Instances.VecFiniteTensorCategory
Atlas.TensorCategories.code.ModuleCategory.Theorem2112
Atlas.TensorCategories.code.ModuleCategory.Theorem2116
Atlas.TensorCategories.code.PerronFrobenius.Assembly
Atlas.TensorCategories.code.PerronFrobenius.PositiveMatrix
Atlas.TensorCategories.code.PerronFrobenius.SimplexFixedPoint
Atlas.TensorCategories.code.TensorNondegen.DualZero
Atlas.TensorCategories.code.TensorNondegen.EvalCoevalArg
Atlas.TensorCategories.code.TensorNondegen.ZeroTensorZero
Atlas.TensorCategories.code.TensorProjective.DirectSummand
Atlas.TensorCategories.code.TensorProjective.Proposition_1_13_6
Atlas.TensorCategories.code.TensorProjective.TensorSummand
Atlas.TensorCategories.code.UnitSemisimplicity.EndUnitField
Atlas.TensorCategories.code.UnitSemisimplicity.EvalCoeval
Atlas.TensorCategories.code.UnitSemisimplicity.MonoidalBiexact
Atlas.TensorCategories.code.UnitSemisimplicity.TensorExactness
Atlas.TensorCategories.code.UnitSemisimplicity.UnitSimple
Atlas.TensorCategories.code.VecPivotal.DoubleDualIso
Atlas.TensorCategories.code.VecPivotal.MonoidalCoherence
Atlas.TensorCategories.code.VecPivotal.PivotalInstance
Atlas.TensorCategories.code.VecPivotal.SphericalInstance
Imported by