Skip to content

v1.4.22 — Book-wide content-quality pass

Choose a tag to compare

View all tags
@abderrahim-lectures abderrahim-lectures released this 27 Jul 19:25
· 48 commits to master since this release
v1.4.22
82442f9

Book-wide content-quality pass gathered from reader feedback, shipped as several PRs:

  • Quick surgical fixes (7 issues): φ/ψ metavariable clarity in the propositional-logic grammar, forward-safe "Sort 0" gloss for Prop, removed "Correction:" labels from citations, more extends/motive/Π-Σ/λ-calculus worked examples and counterexamples.
  • Prose-style pass: rewrote dense, jargon-stacked prose and multi-line parentheticals into plain declarative sentences across Chapters 1, 2, 6, 8, 10.
  • Full section-number citations: replaced remaining §N shorthand and bare same-chapter "Section N" links with the full "Chapter M, Section N" form, catching two wrong section numbers along the way.
  • New categorical diagrams: tikz-cd diagrams for Chapter 1's F-algebra box, Chapter 2's categorical-product and multi-parent-forgetful cases, and Chapter 10's biproduct.

Full details in CHANGELOG v1.4.22.

Includes a source-bundle asset (-source.zip) alongside the PDF, per the usual release format — Markdown, LaTeX, build scripts, and the companion Lean project, all as tracked at this tag.

Assets 6
Loading