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