Open
3.9-algebras-for-monads.md
help wanted
Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly label
0 comments0 reactions0 assignees
Repository Issues
arrow-kt/Category-Theory-for-Programmers.kt
Kotlin sample code for Bartosz Milewski's CT for Programmers
Issues
Open
3.8-f-algebras.md
help wanted
Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly label
0 comments0 reactions0 assignees
Open
3.7-comonads.md
help wanted
Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly label
0 comments0 reactions0 assignees
Open
3.6-monads-categorically.md
help wanted
Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly label
0 comments0 reactions0 assignees
Open
3.5-monads-and-effects.md
help wanted
Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly label
0 comments0 reactions0 assignees
Open
3.4-monads-programmers-definition.md
help wanted
Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly label
0 comments0 reactions0 assignees
Open
3.3-free-forgetful-adjunctions.md
help wanted
Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly label
0 comments0 reactions0 assignees
Open
3.2-adjunctions.md
help wanted
Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly label
0 comments0 reactions0 assignees
Open
3.14-lawvere-theories.md
help wanted
Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly label
0 comments0 reactions0 assignees
Open
3.11-kan-extensions.md
help wanted
Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly label
0 comments0 reactions0 assignees
Open
3.10-ends-and-coends.md
help wanted
Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly label
0 comments0 reactions0 assignees
Open
2.6-yoneda-embedding.md
help wanted
Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly label
0 comments0 reactions0 assignees
Open
2.5-the-yoneda-lemma.md
help wanted
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly label
3 comments0 reactions0 assignees
Open
2.4-representable-functors.md
help wanted
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly label
4 comments0 reactions0 assignees
Open
1.8-functoriality.md
help wanted
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly label
3 comments0 reactions0 assignees
Open
1.7-functors.md
help wanted
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly label
11 comments0 reactions0 assignees