|
# SPDX-License-Identifier: GPL-2.0-or-later
# homalg: A homological algebra meta-package for computable Abelian categories
#
# Declarations
#
## Declarations for subobjects of objects of (Abelian) categories.
####################################
#
# properties:
#
####################################
DeclareProperty( "IsOne",
IsHomalgObject );
## <#GAPDoc Label="ConstructedAsAnIdeal">
## <ManSection>
## <Prop Arg="J" Name="ConstructedAsAnIdeal"/>
## <Returns><C>true</C> or <C>false</C></Returns>
## <Description>
## Check if the &homalg; subobject <A>J</A> was constructed as an ideal. <Br/>
## (no method installed)
## </Description>
## </ManSection>
## <#/GAPDoc>
##
DeclareProperty( "ConstructedAsAnIdeal",
IsHomalgObject );
DeclareProperty( "NotConstructedAsAnIdeal",
IsHomalgObject );
####################################
#
# attributes:
#
####################################
## <#GAPDoc Label="EmbeddingInSuperObject">
## <ManSection>
## <Attr Arg="N" Name="EmbeddingInSuperObject"/>
## <Returns>a &homalg; map</Returns>
## <Description>
## In case <A>N</A> was defined as a subobject of some object <M>L</M> the embedding of <A>N</A> in <M>L</M> is returned.
## </Description>
## </ManSection>
## <#/GAPDoc>
##
DeclareAttribute( "EmbeddingInSuperObject",
IsHomalgObject );
## <#GAPDoc Label="SuperObject:subobjects">
## <ManSection>
## <Attr Arg="M" Name="SuperObject" Label="for subobjects"/>
## <Returns>a &homalg; object</Returns>
## <Description>
## In case <A>M</A> was defined as a subobject of some object <M>L</M> the super object <M>L</M> is returned.
## </Description>
## </ManSection>
## <#/GAPDoc>
DeclareAttribute( "SuperObject",
IsHomalgObject );
## <#GAPDoc Label="FactorObject">
## <ManSection>
## <Attr Arg="N" Name="FactorObject"/>
## <Returns>a &homalg; object</Returns>
## <Description>
## In case <A>N</A> was defined as a subobject of some object <M>L</M> the factor object <M>L/</M><A>N</A> is returned.
## </Description>
## </ManSection>
## <#/GAPDoc>
##
DeclareAttribute( "FactorObject",
IsHomalgObject );
##
DeclareAttribute( "EpiOnFactorObject",
IsHomalgObject );
####################################
#
# global functions and operations:
#
####################################
# constructors:
# global functions:
# basic operations:
DeclareOperation( "MorphismHavingSubobjectAsItsImage",
[ IsHomalgObject ] );
if IsBoundGlobal( "UnderlyingObject" ) and not IsAttribute( ValueGlobal( "UnderlyingObject" ) ) then
DeclareOperation( "UnderlyingObject", [ IsHomalgObject ] );
else
DeclareAttribute( "UnderlyingObject", IsHomalgObject );
fi;
DeclareOperation( "IsSubset",
[ IsStructureObjectOrObjectOrMorphism, IsStructureObjectOrObjectOrMorphism ] );
DeclareOperation( "MatchPropertiesAndAttributesOfSubobjectAndUnderlyingObject",
[ IsHomalgStaticObject, IsHomalgStaticObject ] );
[ Dauer der Verarbeitung: 0.20 Sekunden
(vorverarbeitet)
]
|
