nmvdw/FinitaryFunctors

Issues

• Finitary vs finitely bounded

  #7 opened 4 years ago by nmvdw
  0

• Signature from finitary monad

  #6 opened 4 years ago by nmvdw
  0

• Term algebra is finitary

  #5 opened 4 years ago by nmvdw
  0

• Filtered colimits

  #4 opened 4 years ago by nmvdw
  0

• Free algebra (term model)

  #3 opened 4 years ago by nmvdw
  0

• Modify the construction in the code

  #2 opened 4 years ago by nmvdw
  0

• Syntax of HITs

  #1 opened 4 years ago by nmvdw
  0