id _ SimplicialModule -- the identity map of a simplicial module

Scripted functor: id
Usage:

f = id_C
Inputs:
- C, a Simplicial Module,
Outputs:
- f, a Map of Simplicial Modules, the identity map from $C$ to itself

Description

The simplicial modules together with simplicial morphisms forms a category. In particular, every simplicial module has an identity map.

i1 : R = ZZ/101[x,y]/(x^3, y^3)

o1 = R

o1 : QuotientRing

i2 : C = simplicialModule(freeResolution(coker vars R, LengthLimit=>6), 6, Degeneracy => true)

      1      3      8      20      48      112      256
o2 = R  <-- R  <-- R  <-- R   <-- R   <-- R    <-- R   <-- ...
                                                    
     0      1      2      3       4       5        6

o2 : SimplicialModule

i3 : f = id_C;

i4 : assert isWellDefined f

i5 : assert isSimplicialMorphism f

Ways to use this method:

id _ SimplicialModule -- the identity map of a simplicial module

The source of this document is in SimplicialModules/SimplicialModuleDOC.m2:1580:0.

id _ SimplicialModule -- the identity map of a simplicial module

Description

See also

Ways to use this method: