Category: Category Theory

• CatsInZFC: Category theory in ZFC
  Carlos Simpson
• Coalgebras: Coalgebras, bisimulation and lambda-coiteration
  Milad Niqui
• ConCaT: Constructive Category Theory
  Amokrane Saïbi