Talk:Singleton is Terminal Object of Category of Sets

From ProofWiki
Jump to navigation Jump to search

The title is not accurate.

It is easy to construct categories where singletons are not terminal.

Therefore I propose changing the title to "Singleton is Terminal Object of Set". --Inconsistency (talk) 12:15, 4 June 2015 (UTC)

Fair call. I'll tack it onto my to-do list. — Lord_Farin (talk) 20:09, 4 June 2015 (UTC)
No worries. Job done. --prime mover (talk) 21:21, 4 June 2015 (UTC)

I guess I should've explicated that I was going to rename it slightly differently than suggested. Anyway, it should be in its final state now. — Lord_Farin (talk) 13:57, 5 June 2015 (UTC)