trivial group / trivial module

Stream: general

[Kenny Lau]

What should the trivial group / trivial module be?

[Kenny Lau]

I'm asking about the canonical construction, not the Stricklandization

[Kenny Lau]

(btw the Stricklandization is the predicate that the identity endomorphism is the trivial endomorphism)

[Mario Carneiro]

unit?

[Kenny Lau]

how about punit

[Kenny Lau]

and which file should it go in?

[Mario Carneiro]

I guess it should be around the same place as algebra.pi_instances

[Mario Carneiro]

which I think has more than just pi instances now

[Kenny Lau]

great, one more year 1 project!

[Mario Carneiro]

?

[Kenny Lau]

as in, nobody would want to do it, so let's have the year 1's do it

[Mario Carneiro]

aha, I haven't been keeping up with the private streams (cause they're private...)

[Kenny Lau]

anyway would you like to do it? :P