Discussions

• 1 You must be logged in to vote

  🙏

  Applying natural transformation on left and right?

  formrre asked Oct 1, 2023 in Q&A · Closed · Unanswered

  

  

  

  

  3
• 1 You must be logged in to vote

  💬

  An exponential object B^A is often defined in a category with *all* binary products _×A

  MiddleAdjunction started May 2, 2022 in General

  

  

  

  

  4
• 1 You must be logged in to vote

  📣

  Welcome to agda-categories Discussions!

  JacquesCarette announced Dec 12, 2021 in Announcements

  

  

  0