Definition talk:Coslice Category

From ProofWiki
Jump to navigation Jump to search

If memory serves correctly, I think this is the same as a comma category (or it was the slice category). Or am I mistaken? In any case there is a link to Definition:Comma Category somewhere, it should be addressed. — Lord_Farin (talk) 15:49, 8 November 2017 (EST)

They are related: comma is a generalization of slice, coslice and others; e.g. pointed categories. It can involve up to 3 different categories, e.g. in the case of pointed topological spaces (Top and Set) --barto (talk) (contribs) 15:59, 8 November 2017 (EST)