User talk:TakuyaMurata/Simplicial commutative ring