benediktahrens/CT4P

Issues

• Incorect equation (4) in adjuctions

  #46 opened 8 months ago by GeorgeVe
  1

• question ends with a full stop and is part of the previous exercise

  #37 opened 9 months ago by niyoushanajmaei
  0

• "characterise" needs explanation

  #38 opened 9 months ago by niyoushanajmaei
  0

• Adjunction, notation inconsistent

  #35 opened 9 months ago by niyoushanajmaei
  0

• sol:mono-inj, what is being proved not specified

  #36 opened 9 months ago by niyoushanajmaei
  0

• Definition of category of functors, domain and codomain not specified

  #34 opened 9 months ago by niyoushanajmaei
  0

• Add construction of free monad generated by an endofunctor

  #32 opened 2 years ago by benediktahrens
  0

• Add example monad "coproduct with fixed element" in some category

  #18 opened 2 years ago by benediktahrens
  1

• Set up CI for building and uploading pdf

  #27 opened 2 years ago by benediktahrens
  2

• Fix exercise on bin2int

  #31 opened 2 years ago by benediktahrens
  0

• Typo ex 97

  #26 opened 2 years ago by Nifrec
  1

• Exercises on catamorphisms

  #21 opened 2 years ago by benediktahrens
  0

• Add example of categories with constant hom-set

  #1 opened 3 years ago by benediktahrens
  0