Dear all, I had a question regarding whether there is a known analogy of "join irreducibility in a complete join semi lattice" for colimit "irreducible elements" of Cocomplete categories. It is somewhat clear that at least for Presheaf categories one would want these to coincide with the representable functors. I have a few (naive) ideas as to what this could look like, but I wanted to know if this has been studied somewhere before. Best, Quentin You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>