Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/cap/gap/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 22.8.2025 mit Größe 2 kB image not shown  

Quelle  ProductCategory.gd   Sprache: unbekannt

 
# SPDX-License-Identifier: GPL-2.0-or-later
# CAP: Categories, Algorithms, Programming
#
# Declarations
#

#############################################################################
##
## Chapter Product category
##
#############################################################################

DeclareCategory( "IsCapCategoryProductObject",
                 IsCapCategoryObject );

DeclareCategory( "IsCapCategoryProductMorphism",
                 IsCapCategoryMorphism );

DeclareCategory( "IsCapCategoryProductTwoCell",
                 IsCapCategoryTwoCell );

DeclareOperationWithCache( "DirectProductFunctor",
                           [ IsCapCategory, IsInt ] );

DeclareOperationWithCache( "CoproductFunctor",
                           [ IsCapCategory, IsInt ] );

DeclareFilter( "IsCapProductCategory", IsCapCategory );


DeclareAttribute( "Components",
                  IsCapProductCategory );

DeclareAttribute( "Components",
                  IsCapCategoryProductObject );

DeclareAttribute( "Components",
                  IsCapCategoryProductMorphism );

DeclareAttribute( "Components",
                  IsCapCategoryProductTwoCell );

DeclareOperation( "[]",
                  [ IsCapProductCategory, IsInt ] );

DeclareOperation( "[]",
                  [ IsCapCategoryProductObject, IsInt ] );

DeclareOperation( "[]",
                  [ IsCapCategoryProductMorphism, IsInt ] );

DeclareOperation( "[]",
                  [ IsCapCategoryProductTwoCell, IsInt ] );


############################
##
## Section Constructors
##
############################

DeclareOperation( "ProductCategory",
                  [ IsList ] );

DeclareOperation( "ProductCategoryObject",
                  [ IsCapProductCategory, IsList ] );

DeclareOperation( "ProductCategoryMorphism",
                  [ IsCapProductCategory, IsList ] );

DeclareOperation( "ProductCategoryTwoCell",
                  [ IsCapProductCategory, IsList ] );

DeclareOperation( "/",
                  [ IsList, IsCapProductCategory ] );

############################
##
## Section Technical methods
##
############################

DeclareAttribute( "Length",
                  IsCapProductCategory );

DeclareAttribute( "Length",
                  IsCapCategoryProductObject );

DeclareAttribute( "Length",
                  IsCapCategoryProductMorphism );

[ Dauer der Verarbeitung: 0.16 Sekunden  (vorverarbeitet)  ]