Top network posts

• 22 Two interpretations of implication in categorical logic?
• 17 Jon Beck's untitled manuscript containing the "tripleability theorem" (i.e. the monadicity theorem)
• 16 Monoidal categories whose tensor has a left adjoint
• 15 Jon Beck's untitled manuscript containing the "tripleability theorem" (i.e. the monadicity theorem)
• 13 Original reference for categories of presheaves as free cocompletions of small categories
• 12 What are some examples of self-adjoint functors? Is this an example?
• 11 Are fully faithful functors stable under pullback?
• View more network posts →