Definition talk:One (Category)

From ProofWiki
Jump to navigation Jump to search

What authority do you cite to move this page to "Trivial Category"? Awodey calls this $\mathbf 1$. Also "Trivial" causes confusion with $\mathbf 0$. The original name was perfectly clear. — Lord_Farin (talk) 17:05, 7 November 2017 (EST)

"Trivial category" is indeed ambiguous. Will change back to what it was. --barto (talk) (contribs) 17:13, 7 November 2017 (EST)