Paul TaylorPaul_Taylor@mathstodon.xyz
Oct 29, 2026, 4:16 PM@andrejbauer @soaproot "*adjunction* between rigs (+, ×, 0, 1) to rings (+, ×, -, 0, 1)"???
Replies
soaprootsoaproot@sfba.socialOct 29, 2026, 5:19 PM@Paul_Taylor @andrejbauer It is called "completion" at https://ncatlab.org/nlab/show/rig , if I am reading that page correctly.
Andrej Bauerandrejbauer@mathstodon.xyzOct 29, 2026, 10:38 PM@Paul_Taylor @soaproot A reflection would be a better word to use (especially if we restrict to cancelative rigs so that the unit is monic).