|
# SPDX-License-Identifier: GPL-2.0-or-later
# CAP: Categories, Algorithms, Programming
#
# Declarations
#
#! @Chapter Finite skeletal discrete categories
########################################
#
#! @Section ⪆ Categories
#
########################################
#! @Description
#! The ⪆ type of a finite skeletal discrete category.
#! @Arguments C
DeclareCategory( "IsFiniteSkeletalDiscreteCategory", IsCapCategory );
#! @Description
#! The ⪆ type of an object in a finite skeletal discrete category.
#! @Arguments O
DeclareCategory( "IsObjectInFiniteSkeletalDiscreteCategory", IsCapCategoryObject );
#! @Description
#! The ⪆ type of a morphism in a finite skeletal discrete category.
#! @Arguments M
DeclareCategory( "IsMorphismInFiniteSkeletalDiscreteCategory", IsCapCategoryMorphism );
########################################
#
#! @Section Constructors
#
########################################
#! @Description
#! Construct a finite skeletal discrete category.
#! @Returns a ∩ category
DeclareGlobalFunction( "FiniteSkeletalDiscreteCategory" );
########################################
#
#! @Section Attributes
#
########################################
#! @Description
#! The underlying ⪆ objects of a finite skeletal discrete category.
#! @Returns a list of ∩ objects
DeclareAttribute( "UnderlyingListOfGapObjects", IsFiniteSkeletalDiscreteCategory );
#! @Description
#! The underlying ⪆ object of an object in a finite skeletal discrete category.
#! @Returns a ∩ object
DeclareAttribute( "UnderlyingGapObject", IsObjectInFiniteSkeletalDiscreteCategory );
####################################
#
#! @Section Properties
#
####################################
#! @Description
#! The property of <A>C</A> being a discrete &CAP; category,
#! i.e., equivalent to a category in which any morphism is an identity.
#! @Arguments C
DeclareProperty( "IsDiscreteCategory", IsCapCategory );
AddCategoricalProperty( [ "IsDiscreteCategory", "IsDiscreteCategory" ] );
[ Dauer der Verarbeitung: 0.24 Sekunden
(vorverarbeitet)
]
|
