Search results

3.9 - Is "Suppose that" missing?

Status: Open.

#386 In hmemcpy/milewski-ctfp-pdf;

· ktgw0316 opened on Sep 26, 2025

Proposal: Asciidoc-based conversion for EPUB/HTML5 support (EPUB available inside)

Status: Open.

#384 In hmemcpy/milewski-ctfp-pdf;

· hcoona opened on Sep 25, 2025

Possible typo in 3.12

Status: Open.

#379 In hmemcpy/milewski-ctfp-pdf;

· ktgw0316 opened on Sep 14, 2025

Missing $\varepsilon$/$\eta$ in Kan extension diagrams

Status: Open.

#376 In hmemcpy/milewski-ctfp-pdf;

· ktgw0316 opened on Aug 30, 2025

Kotlin edition

Status: Open.

#374 In hmemcpy/milewski-ctfp-pdf;

· CLOVIS-AI opened on Aug 29, 2025

OCaml snippets seem to be incorrect

Status: Open.

#359 In hmemcpy/milewski-ctfp-pdf;

· megashrieks opened on Mar 28, 2025

Typo in 13.2 Free Monoid Universal Construction

Status: Open.

#351 In hmemcpy/milewski-ctfp-pdf;

· ktgw0316 opened on Feb 15, 2025

OCaml snippets outdated

Status: Open.

#345 In hmemcpy/milewski-ctfp-pdf;

· ComanderP opened on Dec 29, 2024

Consider Formally verifying the properties in Category Theory using proof assistants.

Status: Open.

#311 In hmemcpy/milewski-ctfp-pdf;

· HaoYang670 opened on Mar 23, 2023

Use Rust as an alternative of C++?

Status: Open.

#310 In hmemcpy/milewski-ctfp-pdf;

· HaoYang670 opened on Feb 15, 2023

Update to Scala 3?

Status: Open.

#301 In hmemcpy/milewski-ctfp-pdf;

· bblfish opened on Nov 12, 2022

Releasing in Different Extensions

Status: Open.

#299 In hmemcpy/milewski-ctfp-pdf;

· incetarik opened on Sep 20, 2022