Definition talk:Product (Category Theory)

From ProofWiki
Jump to navigation Jump to search

Should / could this be merged with Definition:Set Product? --prime mover (talk) 15:01, 1 September 2012 (UTC)

Okay, maybe not "merged", but at least the relationship between the two pages should be acknowledged. --prime mover (talk) 15:02, 1 September 2012 (UTC)
On it. --Lord_Farin (talk) 15:15, 1 September 2012 (UTC)
Of course, in due time, there will be a section about collections of objects on this page as well. --Lord_Farin (talk) 15:19, 1 September 2012 (UTC)

General definition is not general

The general definition not really the right general definition. It does not allow products of equal objects. (I read 'collection' as 'subset', since the functor Dis(C) -> C is called an 'inclusion functor'.) One should fix this by replacing Dis(C) by an arbitrary small discrete category. --Wandynsky (talk) 15:22, 24 July 2021 (UTC)