@@ -26,6 +26,7 @@ DeclareRepresentation( "IsCapCategoryMorphismInAlgebroidRep",
26
26
#
27
27
# ###################################
28
28
29
+ # #
29
30
InstallMethodWithCache( CategoryOfAlgebroids,
30
31
[ IsHomalgRing, IsString ] ,
31
32
@@ -448,6 +449,7 @@ InstallGlobalFunction( INSTALL_FUNCTIONS_FOR_CATEGORY_OF_ALGEBROIDS,
448
449
449
450
450
451
end );
452
+
451
453
# #
452
454
InstallMethod( DecomposeQuiverAlgebraElement,
453
455
" for a quiver algebra element" ,
@@ -1031,6 +1033,7 @@ InstallGlobalFunction( ADD_FUNCTIONS_FOR_RANDOM_METHODS_OF_ALGEBROID,
1031
1033
1032
1034
end );
1033
1035
1036
+ # #
1034
1037
InstallMethod( CategoryOfAlgebroidsObject,
1035
1038
[ IsAlgebroid ] ,
1036
1039
@@ -1076,6 +1079,7 @@ InstallMethod( CategoryOfAlgebroidsMorphism,
1076
1079
1077
1080
end );
1078
1081
1082
+ # #
1079
1083
InstallMethod( CategoryOfAlgebroidsMorphism,
1080
1084
[ IsAlgebroidMorphism ] ,
1081
1085
@@ -1743,7 +1747,7 @@ InstallMethod( TrivialAlgebroid,
1743
1747
end );
1744
1748
1745
1749
# #
1746
- InstallMethod(ElementaryTensor,
1750
+ InstallMethod( ElementaryTensor,
1747
1751
" for objects in algebroids" ,
1748
1752
[ IsCapCategoryObjectInAlgebroid, IsCapCategoryObjectInAlgebroid, IsAlgebroid ] ,
1749
1753
function ( a, b, T )
@@ -1757,7 +1761,7 @@ InstallMethod(ElementaryTensor,
1757
1761
end );
1758
1762
1759
1763
# #
1760
- InstallMethod(ElementaryTensor,
1764
+ InstallMethod( ElementaryTensor,
1761
1765
" for object and morphism in algebroids" ,
1762
1766
[ IsCapCategoryObjectInAlgebroid, IsCapCategoryMorphismInAlgebroid, IsAlgebroid ] ,
1763
1767
function ( object, morphism, T )
@@ -1822,7 +1826,7 @@ InstallMethod(ElementaryTensor,
1822
1826
end );
1823
1827
1824
1828
# #
1825
- InstallMethod(ElementaryTensor,
1829
+ InstallMethod( ElementaryTensor,
1826
1830
" for morphism and object in algebroids" ,
1827
1831
[ IsCapCategoryMorphismInAlgebroid, IsCapCategoryObjectInAlgebroid, IsAlgebroid ] ,
1828
1832
function ( morphism, object, T )
@@ -1887,7 +1891,7 @@ InstallMethod(ElementaryTensor,
1887
1891
end );
1888
1892
1889
1893
# #
1890
- InstallMethod(TensorProductOnObjects,
1894
+ InstallMethod( TensorProductOnObjects,
1891
1895
" for algebroids" ,
1892
1896
[ IsAlgebroid, IsAlgebroid ] ,
1893
1897
function ( X, Y )
@@ -1897,7 +1901,7 @@ InstallMethod(TensorProductOnObjects,
1897
1901
end );
1898
1902
1899
1903
# #
1900
- InstallMethod(TensorProductOnMorphisms,
1904
+ InstallMethod( TensorProductOnMorphisms,
1901
1905
" for morphisms between algebroids" ,
1902
1906
[ IsAlgebroidMorphism, IsAlgebroidMorphism ] ,
1903
1907
function ( F, G )
@@ -2416,4 +2420,3 @@ InstallMethod( LaTeXOutput,
2416
2420
2417
2421
LaTeXStringOp
2418
2422
);
2419
-
0 commit comments