benediktahrens/ct4p issues and pull requests

#56 - Fix typo

Pull Request - State: closed - Opened by RDoting 20 days ago - 1 comment

#55 - Added an explanation for the definition of a functor (if helpful); ad…

Pull Request - State: closed - Opened by Kfwullaert about 2 months ago

#54 - Examples: natural numbers + Rel

Pull Request - State: closed - Opened by niyoushanajmaei 2 months ago

#53 - Monads

Pull Request - State: closed - Opened by niyoushanajmaei 8 months ago

#52 - add solution to ex:192 (Week 4 homework)

Pull Request - State: closed - Opened by FCsacsa 8 months ago

#51 - fix typo in sol:zip

Pull Request - State: closed - Opened by niyoushanajmaei 8 months ago

#50 - Fix references and adapt to CT4P macros

Pull Request - State: closed - Opened by pvunderink 8 months ago - 1 comment

#49 - Fix in bib urls

Pull Request - State: closed - Opened by niyoushanajmaei 8 months ago - 1 comment

#48 - update workflow

Pull Request - State: closed - Opened by benediktahrens 8 months ago

#47 - Update adjunctions naturality in y

Pull Request - State: closed - Opened by GeorgeVe 8 months ago - 1 comment

#46 - Incorect equation (4) in adjuctions

Issue - State: closed - Opened by GeorgeVe 8 months ago - 1 comment

#45 - Add solution to exercise 114

Pull Request - State: closed - Opened by pvunderink 9 months ago

#45 - Add solution to exercise 114

Pull Request - State: closed - Opened by pvunderink 9 months ago

#44 - add exercise on cats of nats

Pull Request - State: closed - Opened by benediktahrens 9 months ago

#43 - Consistency of notation

Pull Request - State: closed - Opened by niyoushanajmaei 9 months ago

#42 - Suggestions

Pull Request - State: closed - Opened by niyoushanajmaei 9 months ago

#42 - Suggestions

Pull Request - State: closed - Opened by niyoushanajmaei 9 months ago

#41 - Coproduct

Pull Request - State: closed - Opened by niyoushanajmaei 9 months ago

#40 - Changed Lean to Coq

Pull Request - State: closed - Opened by niyoushanajmaei 9 months ago

#40 - Changed Lean to Coq

Pull Request - State: closed - Opened by niyoushanajmaei 9 months ago

#39 - Issues 34 to 38

Pull Request - State: closed - Opened by niyoushanajmaei 9 months ago

#39 - Issues 34 to 38

Pull Request - State: closed - Opened by niyoushanajmaei 9 months ago

#38 - "characterise" needs explanation

Issue - State: closed - Opened by niyoushanajmaei 11 months ago

#38 - "characterise" needs explanation

Issue - State: closed - Opened by niyoushanajmaei 11 months ago

#37 - question ends with a full stop and is part of the previous exercise

Issue - State: closed - Opened by niyoushanajmaei 11 months ago

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

Issue - State: closed - Opened by niyoushanajmaei 11 months ago

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

Issue - State: closed - Opened by niyoushanajmaei 11 months ago

#35 - Adjunction, notation inconsistent

Issue - State: closed - Opened by niyoushanajmaei 11 months ago

#34 - Definition of category of functors, domain and codomain not specified

Issue - State: closed - Opened by niyoushanajmaei 11 months ago

#34 - Definition of category of functors, domain and codomain not specified

Issue - State: closed - Opened by niyoushanajmaei 11 months ago

#33 - Fix typos

Pull Request - State: closed - Opened by niyoushanajmaei 11 months ago - 1 comment

#33 - Fix typos

Pull Request - State: closed - Opened by niyoushanajmaei 11 months ago - 1 comment

#32 - Add construction of free monad generated by an endofunctor

Issue - State: open - Opened by benediktahrens over 1 year ago

#31 - Fix exercise on bin2int

Issue - State: open - Opened by benediktahrens over 1 year ago

#31 - Fix exercise on bin2int

Issue - State: open - Opened by benediktahrens over 1 year ago

#30 - fix typo in notation 127

Pull Request - State: closed - Opened by klieverse over 1 year ago - 1 comment

#30 - fix typo in notation 127

Pull Request - State: closed - Opened by klieverse over 1 year ago - 1 comment

#29 - fix typo

Pull Request - State: closed - Opened by benediktahrens over 1 year ago

#29 - fix typo

Pull Request - State: closed - Opened by benediktahrens over 1 year ago

#28 - start CI yaml

Pull Request - State: closed - Opened by benediktahrens over 1 year ago

#27 - Set up CI for building and uploading pdf

Issue - State: closed - Opened by benediktahrens over 1 year ago - 2 comments

#27 - Set up CI for building and uploading pdf

Issue - State: closed - Opened by benediktahrens over 1 year ago - 2 comments

#26 - Typo ex 97

Issue - State: closed - Opened by Nifrec over 1 year ago - 1 comment

#26 - Typo ex 97

Issue - State: closed - Opened by Nifrec over 1 year ago - 1 comment

#25 - Correct typo

Pull Request - State: closed - Opened by pimotte almost 2 years ago - 1 comment

#24 - add reference to Malcolm's paper, use some exercises

Pull Request - State: closed - Opened by benediktahrens about 2 years ago

#23 - Added solution to the monad exercise F(X) = R -> X

Pull Request - State: closed - Opened by Kfwullaert over 2 years ago

#23 - Added solution to the monad exercise F(X) = R -> X

Pull Request - State: closed - Opened by Kfwullaert over 2 years ago

#22 - Add an exercise on the limitations of catamorphisms. Solves #21

Pull Request - State: closed - Opened by arnoudvanderleer over 2 years ago

#22 - Add an exercise on the limitations of catamorphisms. Solves #21

Pull Request - State: closed - Opened by arnoudvanderleer over 2 years ago

#21 - Exercises on catamorphisms

Issue - State: open - Opened by benediktahrens over 2 years ago
Labels: enhancement, good first issue

#21 - Exercises on catamorphisms

Issue - State: open - Opened by benediktahrens over 2 years ago
Labels: enhancement, good first issue

#20 - Expanded solutions on streams and fixed two typos

Pull Request - State: closed - Opened by Kfwullaert over 2 years ago

#19 - Exercise solutions

Pull Request - State: closed - Opened by arnoudvanderleer over 2 years ago - 1 comment

#18 - Add example monad "coproduct with fixed element" in some category

Issue - State: closed - Opened by benediktahrens over 2 years ago - 1 comment
Labels: enhancement, good first issue

#18 - Add example monad "coproduct with fixed element" in some category

Issue - State: closed - Opened by benediktahrens over 2 years ago - 1 comment
Labels: enhancement, good first issue

#17 - Rewrote thirth part of list monad and added notations for leaf and br…

Pull Request - State: closed - Opened by Kfwullaert over 2 years ago - 1 comment

#17 - Rewrote thirth part of list monad and added notations for leaf and br…

Pull Request - State: closed - Opened by Kfwullaert over 2 years ago - 1 comment

#16 - Add a solution to fusion-property

Pull Request - State: closed - Opened by arnoudvanderleer over 2 years ago - 1 comment

#16 - Add a solution to fusion-property

Pull Request - State: closed - Opened by arnoudvanderleer over 2 years ago - 1 comment

#15 - Add a solution to initialalg_for_bifunctor_functor

Pull Request - State: closed - Opened by arnoudvanderleer over 2 years ago - 2 comments

#15 - Add a solution to initialalg_for_bifunctor_functor

Pull Request - State: closed - Opened by arnoudvanderleer over 2 years ago - 2 comments

#14 - Added three exercises on initial algebras where is asked to construct…

Pull Request - State: closed - Opened by Kfwullaert over 2 years ago

#14 - Added three exercises on initial algebras where is asked to construct…

Pull Request - State: closed - Opened by Kfwullaert over 2 years ago

#13 - Add solutions to some exercises

Pull Request - State: closed - Opened by arnoudvanderleer over 2 years ago - 1 comment

#12 - Add solutions to the exercises about products

Pull Request - State: closed - Opened by arnoudvanderleer over 2 years ago

#12 - Add solutions to the exercises about products

Pull Request - State: closed - Opened by arnoudvanderleer over 2 years ago

#11 - Solutions to some exercises

Pull Request - State: closed - Opened by arnoudvanderleer over 2 years ago

#11 - Solutions to some exercises

Pull Request - State: closed - Opened by arnoudvanderleer over 2 years ago

#10 - Kw solutions

Pull Request - State: closed - Opened by Kfwullaert over 2 years ago - 1 comment

#10 - Kw solutions

Pull Request - State: closed - Opened by Kfwullaert over 2 years ago - 1 comment

#9 - Add solutions to a couple of exercises

Pull Request - State: closed - Opened by arnoudvanderleer over 2 years ago

#8 - Fix typos and small mistakes in the part about functors and natural transformations

Pull Request - State: closed - Opened by arnoudvanderleer over 2 years ago - 1 comment

#8 - Fix typos and small mistakes in the part about functors and natural transformations

Pull Request - State: closed - Opened by arnoudvanderleer over 2 years ago - 1 comment

#7 - Write my name correctly in the "thank you" part of the notes

Pull Request - State: closed - Opened by arnoudvanderleer over 2 years ago - 2 comments

#6 - Added changes which came up because of the lecture and added a part o…

Pull Request - State: closed - Opened by Kfwullaert over 2 years ago

#5 - Fix two copy-paste errors in exercises and one in a definition

Pull Request - State: closed - Opened by arnoudvanderleer over 2 years ago

#5 - Fix two copy-paste errors in exercises and one in a definition

Pull Request - State: closed - Opened by arnoudvanderleer over 2 years ago

#4 - add links from exercises to solutions

Pull Request - State: closed - Opened by benediktahrens over 2 years ago

#4 - add links from exercises to solutions

Pull Request - State: closed - Opened by benediktahrens over 2 years ago

#3 - Fixed types (monad to monoid), switch the order of monoids and an exa…

Pull Request - State: closed - Opened by Kfwullaert over 2 years ago

#3 - Fixed types (monad to monoid), switch the order of monoids and an exa…

Pull Request - State: closed - Opened by Kfwullaert over 2 years ago

#2 - Add (commutative) diagrams for mono- and epimorphisms and remove a rogue double quote

Pull Request - State: closed - Opened by arnoudvanderleer over 2 years ago

#1 - Add example of categories with constant hom-set

Issue - State: open - Opened by benediktahrens over 2 years ago
Labels: enhancement, good first issue

#1 - Add example of categories with constant hom-set

Issue - State: open - Opened by benediktahrens over 2 years ago
Labels: enhancement, good first issue

GitHub / benediktahrens/ct4p issues and pull requests