Discussions

• 4 You must be logged in to vote

  💡

  IC for some higher category theory

  4e554c4c started Feb 10, 2025 in Ideas

  

  

  2
• 1 You must be logged in to vote

  💬

  Weak displayed monos and epis

  Alizter started Feb 16, 2024 in General

  

  

  0
• 2 You must be logged in to vote

  💡

  What if web was cooler

  plt-amy started Feb 3, 2022 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💬

  Record hierarchies

  uniwuni started Dec 9, 2021 in General

  

  

  

  

  17
• 3 You must be logged in to vote

  🙏

  SIP details

  JacquesCarette asked Dec 12, 2021 in Q&A · Unanswered

  

  

  2
• 1 You must be logged in to vote

  📣

  1Lab Discussions

  plt-amy announced Dec 12, 2021 in Announcements

  

  

  0