| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/generalizedmorphismsforcap/gap/ (GAP Algebra Version 4.15.1©) Datei vom 25.7.2025 mit Größe 1 kB |
|
Quelle SerreQuotientsFunctors.gd Sprache: Shell |
|||||||||||||||||||||||||
|
# SPDX-License-Identifier: GPL-2.0-or-later # GeneralizedMorphismsForCAP: Implementations of generalized morphisms for the CAP projec # # Declarations # #! @Chapter Serre Quotients Functors #! The operations in this chapter construct conversion functors between two #! Serre quotients of different standards. #! Please note that all the operations DO NOT CARE if the Serre quotients #! are modeling the same category, they only care wether the categories are #! based upon the same underlying honest category. #################################### ## #! @Section Functors ## #################################### #! @Description #! Given two Serre quotients <A>A</A> and <A>B</A> of the same category <A>C</A> by equivalent functions, th #! returns the conversion functor between the two categories. Please note that this function d #! quotients in any sense, i.e., wether the functions are equivalent. #! @Arguments A,B #! @Returns a functor DeclareOperation( "SerreQuotientConversionFunctor", [ IsCapCategory, IsCapCategory ] );
¤ Dauer der Verarbeitung: 0.1 Sekunden ¤*© Formatika GbR, Deutschland |
|
||||||||||||||||||||||||
2026-11-01