Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
| Download
GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
Project: cocalc-sagemath-dev-slelievre
Path: gap4r8 / pkg / GeneralizedMorphismsForCAP-2017.09.09 / gap / GeneralizedMorphismCategoryFunctors.gd
Views: 418346#############################################################################
##
## GeneralizedMorphismsForCAP package
##
## Copyright 2015, Sebastian Gutsche, TU Kaiserslautern
## Sebastian Posur, RWTH Aachen
##
#! @Chapter Conversion functors for generalized morphisms
##
#############################################################################
####################################
##
#! @Section Functors from Cospans
##
####################################
#! @Description
#! For the given category <A>C</A>, this attribute is the functor from
#! the cospan generalized morphism category of <A>C</A> to the generalized
#! morphism category modeled by three arrows.
#! @Arguments C
#! @Returns a functor
DeclareAttribute( "FunctorFromCospansToThreeArrows",
IsCapCategory );
#! @Description
#! For the given category <A>C</A>, this attribute is the functor from
#! the cospan generalized morphism category of <A>C</A> to the generalized
#! morphism category modeled by spans.
#! @Arguments C
#! @Returns a functor
DeclareAttribute( "FunctorFromCospansToSpans",
IsCapCategory );
####################################
##
#! @Section Functors from Spans
##
####################################
#! @Description
#! For the given category <A>C</A>, this attribute is the functor from
#! the span generalized morphism category of <A>C</A> to the generalized
#! morphism category modeled by three arrows.
#! @Arguments C
#! @Returns a functor
DeclareAttribute( "FunctorFromSpansToThreeArrows",
IsCapCategory );
#! @Description
#! For the given category <A>C</A>, this attribute is the functor from
#! the span generalized morphism category of <A>C</A> to the generalized
#! morphism category modeled by cospans.
#! @Arguments C
#! @Returns a functor
DeclareAttribute( "FunctorFromSpansToCospans",
IsCapCategory );
####################################
##
#! @Section Functors from Three Arrows
##
####################################
#! @Description
#! For the given category <A>C</A>, this attribute is the functor from
#! the three arrow generalized morphism category of <A>C</A> to the generalized
#! morphism category modeled by cospans.
#! @Arguments C
#! @Returns a functor
DeclareAttribute( "FunctorFromThreeArrowsToCospans",
IsCapCategory );
#! @Description
#! For the given category <A>C</A>, this attribute is the functor from
#! the three arrow generalized morphism category of <A>C</A> to the generalized
#! morphism category modeled by spans.
#! @Arguments C
#! @Returns a functor
DeclareAttribute( "FunctorFromThreeArrowsToSpans",
IsCapCategory );