Definition talk:Product (Category Theory)

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)