Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/pkg/generalizedmorphismsforcap/doc/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 25.7.2025 mit Größe 3 kB image not shown  

SSL chap8.html   Sprache: HTML

 
 products/sources/formale Sprachen/GAP/pkg/generalizedmorphismsforcap/doc/chap8.html


<?xml version="1.0" encoding="UTF-8"?>

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
         "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>GAP (GeneralizedMorphismsForCAP) - Chapter 8: Serre Quotients Functors</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css" href="manual.css" />
<script src="manual.js" type="text/javascript"></script>
<script type="text/javascript">overwriteStyle();</script>
</head>
<body class="chap8"  onload="jscontent()">


<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a>  <a href="chap1.html">1</a>  <a href="chap2.html">2</a>  <a href="chap3.html">3</a>  <a href="chap4.html">4</a>  <a href="chap5.html">5</a>  <a href="chap6.html">6</a>  <a href="chap7.html">7</a>  <a href="chap8.html">8</a>  <a href="chap9.html">9</a>  <a href="chapInd.html">Ind</a>  </div>

<div class="chlinkprevnexttop"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap7.html">[Previous Chapter]</a>    <a href="chap9.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap8_mj.html">[MathJax on]</a></p>
<p><a id="X79D7DBA7827EFB86" name="X79D7DBA7827EFB86"></a></p>
<div class="ChapSects"><a href="chap8.html#X79D7DBA7827EFB86">8 <span class="Heading">Serre Quotients Functors</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap8.html#X78D1062D78BE08C1">8.1 <span class="Heading">Functors</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X873A67F482BA7BFD">8.1-1 SerreQuotientConversionFunctor</a></span>
</div></div>
</div>

<h3>8 <span class="Heading">Serre Quotients Functors</span></h3>

<p>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.</p>

<p><a id="X78D1062D78BE08C1" name="X78D1062D78BE08C1"></a></p>

<h4>8.1 <span class="Heading">Functors</span></h4>

<p><a id="X873A67F482BA7BFD" name="X873A67F482BA7BFD"></a></p>

<h5>8.1-1 SerreQuotientConversionFunctor</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ SerreQuotientConversionFunctor</code>( <var class="Arg">A</var>, <var class="Arg">B</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: a functor</p>

<p>Given two Serre quotients <var class="Arg">A</var> and <var class="Arg">B</var> of the same category <var class="Arg">C</var> by equivalent functions, this operation returns the conversion functor between the two categories. Please note that this function does not check the quotients in any sense, i.e., wether the functions are equivalent.</p>


<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap7.html">[Previous Chapter]</a>    <a href="chap9.html">[Next Chapter]</a>   </div>


<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a>  <a href="chap1.html">1</a>  <a href="chap2.html">2</a>  <a href="chap3.html">3</a>  <a href="chap4.html">4</a>  <a href="chap5.html">5</a>  <a href="chap6.html">6</a>  <a href="chap7.html">7</a>  <a href="chap8.html">8</a>  <a href="chap9.html">9</a>  <a href="chapInd.html">Ind</a>  </div>

<hr />
<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>

100%


¤ Dauer der Verarbeitung: 0.31 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland




Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.