issues
search
hmemcpy
/
milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
Other
11.02k
stars
595
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Question: Difference between "arrow" and "morphism"
#342
ktgw0316
closed
2 weeks ago
1
Minor changes in 1.8 based on Uppsala University reading group comments.
#341
johannesborgstrom
opened
3 weeks ago
0
fix typo in 3.14
#340
kkinugasa
closed
1 month ago
2
Correct the build command for Haskell
#339
danshearer
closed
2 months ago
1
Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows
#338
dependabot[bot]
closed
2 months ago
0
Possible typo in 3.5
#337
ktgw0316
closed
3 months ago
3
fix(Section 3.11): typo (A -> Set)
#336
ya-poo
closed
5 months ago
0
Use consistent epsilon symbol
#335
EFanZh
closed
1 month ago
2
Fix category font style
#334
EFanZh
opened
6 months ago
0
readme: update NixOS wiki link
#333
m15a
closed
6 months ago
1
fix a typo in chapter ends and coends
#332
5d
closed
7 months ago
0
self referencing fi in freeFunctor snippet10.scala
#331
maksymilianrozanski
opened
8 months ago
0
typo (\cat{C} -> \cat{C}^\mathit{op}) in 2.6
#330
kkinugasa
closed
8 months ago
3
latest pdf for category-theory-for-programmers-scala
#329
Dieken
closed
1 week ago
6
Fix typos
#328
ktgw0316
closed
10 months ago
0
Lean code snippets for Sec 1.3
#327
williamdemeo
closed
11 months ago
1
Section 2.5 (Ch 15)
#326
williamdemeo
closed
11 months ago
1
Lower-case type variable names and other improvements to Agda code snippets
#325
williamdemeo
closed
11 months ago
1
Small fixes
#324
EFanZh
closed
1 year ago
1
nix: refactor Nix flake files
#323
drupol
closed
1 year ago
0
Use `\mathit` for multi-letter identifiers
#322
EFanZh
closed
1 year ago
7
Fix prettier check
#321
EFanZh
closed
1 year ago
1
Make spaces after functors consistent
#320
EFanZh
closed
1 year ago
3
Fix spacing around multiplication operator
#319
EFanZh
closed
1 year ago
0
Section 1.1 snippets + proposal to add an lagda file for each section
#318
williamdemeo
closed
1 year ago
0
initial commit of Agda snippets for Chapter 2
#317
williamdemeo
closed
1 year ago
1
A mistake in Section 6.3
#316
daleydeng
closed
1 year ago
5
Update snippet29.hs
#315
BartoszMilewski
closed
1 year ago
1
Update kleisli-categories.tex
#314
adkian
closed
1 year ago
1
Fix `fullname` variable
#313
drupol
closed
1 year ago
0
Result folder appears empty
#312
behoppe
closed
1 year ago
4
Consider Formally verifying the properties in Category Theory using proof assistants.
#311
HaoYang670
opened
1 year ago
0
Use Rust as an alternative of C++?
#310
HaoYang670
opened
1 year ago
2
Replace template<class> with template<typename>
#309
matssson
opened
1 year ago
2
fix: Update badge link
#308
drupol
closed
1 year ago
0
fix: remove custom `pygments-style-github`
#307
drupol
closed
1 year ago
0
refactor: CI and nix
#306
drupol
closed
1 year ago
8
CI refactoring and update
#305
drupol
closed
1 year ago
1
Fix minor typos
#304
ktgw0316
closed
1 year ago
3
fix trivial typo in scala snippet
#303
darrenjw
closed
1 year ago
2
ASCII rendering of _|_ instead of Unicode
#302
pragma-
closed
1 year ago
4
Update to Scala 3?
#301
bblfish
opened
2 years ago
1
Chapter1 LEAN snippets
#300
robertness
closed
2 years ago
2
Releasing in Different Extensions
#299
incetarik
opened
2 years ago
1
Revert wrong "typo fix" for "iff"
#298
ktgw0316
closed
2 years ago
1
Desugar scala code snippet 23 in chapter 3.4 as per issue #296
#297
amacmillanparks
closed
1 year ago
12
Scala Snippet 23 in Chapter 3.4 is Not Desugared
#296
amacmillanparks
closed
1 year ago
0
Haskell version being created when using scala command
#295
HarvMarv
closed
2 years ago
7
Replace Greek letters with LaTeX
#294
ktgw0316
closed
2 years ago
1
chapter section numbering
#293
juhp
opened
2 years ago
0
Next