Index

2d-algebra 4.1
AlgebraActionByMultipliers 2.2-1
AlgebraActionBySurjection 2.2-2
AllAlgebraHomomorphisms 2.3-1
AllBijectiveAlgebraHomomorphisms 2.3-1
AllIdempotentAlgebraHomomorphisms 2.3-1
AugmentationXMod 4.1-3
Boundary, for cat1-algebras 3.1-2
    for crossed modules of commutative algebras 4.1-8
    for morphisms of cat1-algebras 3.2-2
cat1-group 3.1
Cat1Algebra 3.1-1
Cat1AlgebraMorphism 3.2-1
Cat1AlgebraMorphismByHoms 3.2-1
Cat1AlgebraOfXModAlgebra 5.1-1
Cat1AlgebraSelect 3.1-3
crossed module 4.1
HeadMap 3.1-2
IdentityMapping, for cat1-algebras 3.2-1
    for crossed modules of algebras 4.2-1
Image 4.2-3
ImagesSource2DimensionalMapping 3.2-3
IsAlgebraMultiplier 2.1-2
IsBijjective 4.2-4
IsCat1Algebra 3.1-1
IsCat1AlgebraMorphism 3.2-1
IsIdentityCat1Algebra 3.1-1
IsInjective 4.2-4
IsPreCat1Algebra 3.1-1
IsPreCat1AlgebraMorphism 3.2-1
IsPreXModAlgebra 4.1-6
IsPreXModAlgebraMorphism 4.2-1
IsSingleValued, for morphisms of cat1-algebras 3.2-2
    for morphisms of crossed modules of algebras 4.2-1
IsSubCat1Algebra 3.1-4
IsSubPreCat1Algebra 3.1-4
IsSubXModAlgebra 4.1-9
IsSurjective 4.2-4
IsTotal, for morphisms of cat1-algebras 3.2-2
    for morphisms of crossed modules of algebras 4.2-1
IsXModAlgebraMorphism 4.2-1
Kernel, for cat1-algebras 3.1-2
    for morphisms of crossed modules of algebras 4.2-2
MultiplierAlgebra 2.1-4
MultiplierAlgebraOfIdealBySubalgebra 2.1-3
MultiplierHomomorphism 2.1-5
Name, for morphisms of cat1-algebras 3.2-2
    for morphisms of crossed modules of algebras 4.2-1
PreCat1Algebra 3.1-1
PreCat1AlgebraByEndomorphisms 3.1-1
PreCat1AlgebraByTailHeadEmbedding 3.1-1
PreCat1AlgebraMorphismByHoms 3.2-1
PreCat1AlgebraOfPreXModAlgebra 5.1-1
precrossed module 4.1-5
PreXModAlgebraByBoundaryAndAction 4.1-6
PreXModAlgebraMorphismByHoms 4.2-1
PreXModAlgebraOfPreCat1Algebra 5.1-2
Range, for cat1-algebras 3.1-2
    for crossed modules of commutative algebras 4.1-8
    for morphisms of cat1-algebras 3.2-2
    for morphisms of crossed modules of algebras 4.2-1
RangeEmbedding 3.1-2
RangeHom 4.2-4
RegularAlgebraMultiplier 2.1-1
SemidirectProductOfAlgebras 2.2-3
SemidirectProductOfAlgebrasInfo 2.2-4
Size2d, for cat1-algebras 3.1-2
Source, for cat1-algebras 3.1-2
    for crossed modules of commutative algebras 4.1-8
    for morphisms of cat1-algebras 3.2-2
    for morphisms of crossed modules of algebras 4.2-1
SourceHom 4.2-4
SubCat1Algebra 3.1-4
SubPreCat1Algebra 3.1-4
SubXModAlgebra 4.1-9
TailMap 3.1-2
XModAlgebra 4.1-1
XModAlgebraAction 4.1-8
XModAlgebraByBoundaryAndAction 4.1-6
XModAlgebraByIdeal 4.1-2
XModAlgebraByModule 4.1-7
XModAlgebraByMultiplierAlgebra 4.1-4
XModAlgebraBySurjection 4.1-5
XModAlgebraMorphism 4.2-1
XModAlgebraMorphismByHoms 4.2-1
XModAlgebraOfCat1Algebra 5.1-2