Quelle  HomalgSubobject.gd   Sprache: Shell

# 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 ] );