jcreedcmu.github.io Occasional blogging https://jcreedcmu.github.io/index.html Sat, 20 Jun 2026 00:00:00 GMT More Tiny Thoughts https://jcreedcmu.github.io/posts/2026-06-20/ Sat, 20 Jun 2026 00:00:00 GMT One More Type in the Tiny Type Theory https://jcreedcmu.github.io/posts/2026-06-14/ Sun, 14 Jun 2026 00:00:00 GMT A Simpler Proof-Irrelevant Tiny Object https://jcreedcmu.github.io/posts/2026-06-13/ Sat, 13 Jun 2026 00:00:00 GMT A Proof-Irrelevant Tiny Object https://jcreedcmu.github.io/posts/2026-05-09/ Sat, 09 May 2026 00:00:00 GMT More Graph Geometry https://jcreedcmu.github.io/posts/2026-02-12/ Thu, 12 Feb 2026 00:00:00 GMT recipe https://jcreedcmu.github.io//recipe/ Fri, 06 Feb 2026 00:00:00 GMT Graph Geometry https://jcreedcmu.github.io/posts/2026-01-17/ Sat, 17 Jan 2026 00:00:00 GMT Thinking About Opetopes https://jcreedcmu.github.io/posts/2025-09-13/ Sat, 13 Sep 2025 00:00:00 GMT More Thoughts on Braids https://jcreedcmu.github.io/posts/2025-08-16/ Sat, 16 Aug 2025 00:00:00 GMT Another Parametricity Construction https://jcreedcmu.github.io/posts/2025-06-13/ Fri, 13 Jun 2025 00:00:00 GMT Typed Geometry https://jcreedcmu.github.io/posts/2025-06-12/ Thu, 12 Jun 2025 00:00:00 GMT Parametricity via Parametricity https://jcreedcmu.github.io/posts/2025-03-13/ Thu, 13 Mar 2025 00:00:00 GMT An Imperfect Graph Representation https://jcreedcmu.github.io/posts/2025-02-10/ Mon, 10 Feb 2025 00:00:00 GMT Parametricity and Comma Categories https://jcreedcmu.github.io/posts/2025-02-02/ Sun, 02 Feb 2025 00:00:00 GMT Constructing Parametricity Gel Type as Pushout https://jcreedcmu.github.io/posts/2025-01-11/ Sat, 11 Jan 2025 00:00:00 GMT An Almost Slice Category https://jcreedcmu.github.io/posts/2025-01-10/ Fri, 10 Jan 2025 00:00:00 GMT An Exciting Internalized Parametricity Gotcha https://jcreedcmu.github.io/posts/2024-12-28/ Sat, 28 Dec 2024 00:00:00 GMT A Postulate for Internalized Parametricity https://jcreedcmu.github.io/posts/2024-12-23/ Mon, 23 Dec 2024 00:00:00 GMT Thoughts About a Directed Interval https://jcreedcmu.github.io/posts/2024-12-21/ Sat, 21 Dec 2024 00:00:00 GMT The Pentagonal Icositetrahedron as a 24-sided Die https://jcreedcmu.github.io/posts/2024-12-18/ Wed, 18 Dec 2024 00:00:00 GMT A Funny Definition of Groups https://jcreedcmu.github.io/posts/2024-12-11/ Wed, 11 Dec 2024 00:00:00 GMT Maps and Knots https://jcreedcmu.github.io/posts/2024-12-03/ Tue, 03 Dec 2024 00:00:00 GMT Three Lists in One https://jcreedcmu.github.io/posts/2024-11-14/ Thu, 14 Nov 2024 00:00:00 GMT A Heuristic Argument for the Central Limit Theorem https://jcreedcmu.github.io/posts/2024-11-12/ Tue, 12 Nov 2024 00:00:00 GMT Defining Fillets https://jcreedcmu.github.io/posts/2024-09-30/ Mon, 30 Sep 2024 00:00:00 GMT Naive Topology Intuitions and Logic https://jcreedcmu.github.io/posts/2024-09-16/ Mon, 16 Sep 2024 00:00:00 GMT Parametricity and Substructural Types https://jcreedcmu.github.io/posts/2024-09-04/ Wed, 04 Sep 2024 00:00:00 GMT A Probability Distribution Puzzle https://jcreedcmu.github.io/posts/2024-08-30/ Fri, 30 Aug 2024 00:00:00 GMT Type Combinators for Interactive Forms https://jcreedcmu.github.io/posts/2024-07-26/ Fri, 26 Jul 2024 00:00:00 GMT A Signal-Processing Cheatsheet https://jcreedcmu.github.io/posts/2024-05-13/ Mon, 13 May 2024 00:00:00 GMT Set-Theoretic Geometry https://jcreedcmu.github.io/posts/2024-03-13/ Wed, 13 Mar 2024 00:00:00 GMT A Picture of Sheaves https://jcreedcmu.github.io/posts/2024-03-09/ Sat, 09 Mar 2024 00:00:00 GMT What Type is a Deck of Cards? https://jcreedcmu.github.io/posts/2024-02-12/ Mon, 12 Feb 2024 00:00:00 GMT Linear Logic and Algebraic Geometry https://jcreedcmu.github.io/posts/2024-01-29/ Mon, 29 Jan 2024 00:00:00 GMT Cache Types, Part 2 https://jcreedcmu.github.io/posts/2023-12-14/ Thu, 14 Dec 2023 00:00:00 GMT Stretchable Edges in Graphs https://jcreedcmu.github.io/posts/2023-12-09/ Sat, 09 Dec 2023 00:00:00 GMT Constructing the Cotangent Function https://jcreedcmu.github.io/posts/2023-11-14/ Tue, 14 Nov 2023 00:00:00 GMT How to Invent Hyperbolic Geometry https://jcreedcmu.github.io/posts/2023-10-29/ Sun, 29 Oct 2023 00:00:00 GMT How to Invent Topographs https://jcreedcmu.github.io/posts/2023-10-22/ Sun, 22 Oct 2023 00:00:00 GMT A Bernoulli Number Identity https://jcreedcmu.github.io/posts/2023-09-20/ Wed, 20 Sep 2023 00:00:00 GMT Type Manifolds https://jcreedcmu.github.io/posts/2023-09-11/ Mon, 11 Sep 2023 00:00:00 GMT Understanding the Hook Length Formula https://jcreedcmu.github.io/posts/2023-08-19/ Sat, 19 Aug 2023 00:00:00 GMT Do Univalent Universes Arise from Higher Adjoints? https://jcreedcmu.github.io/posts/2023-02-18/ Sat, 18 Feb 2023 00:00:00 GMT Attention for Type Theorists https://jcreedcmu.github.io/posts/2023-01-24/ Tue, 24 Jan 2023 00:00:00 GMT Somewhat-Topology-Preserving Hex Map Reduction https://jcreedcmu.github.io/posts/2023-01-17/ Tue, 17 Jan 2023 00:00:00 GMT Rigid String Diagrams https://jcreedcmu.github.io/posts/2023-01-14/ Sat, 14 Jan 2023 00:00:00 GMT The Higher-Dimensional Graph Game https://jcreedcmu.github.io/posts/2022-12-09/ Fri, 09 Dec 2022 00:00:00 GMT chicken sandwich https://jcreedcmu.github.io/journal/index.html#2022_11_02 Wed, 02 Nov 2022 00:00:00 GMT piranesi https://jcreedcmu.github.io/journal/index.html#2022_10_31 Mon, 31 Oct 2022 00:00:00 GMT social media https://jcreedcmu.github.io/journal/index.html#2022_10_29 Sat, 29 Oct 2022 00:00:00 GMT The Functional Programmer's -1/12 (2) https://jcreedcmu.github.io/posts/2022-08-10/ Wed, 10 Aug 2022 00:00:00 GMT The Functional Programmer's -1/12 https://jcreedcmu.github.io/posts/2022-08-08/ Mon, 08 Aug 2022 00:00:00 GMT Jacobi Triple Product Identity https://jcreedcmu.github.io/posts/2022-08-01/ Mon, 01 Aug 2022 00:00:00 GMT Coxeter Groups and Chebyshev Polynomials https://jcreedcmu.github.io/posts/2022-07-18/ Mon, 18 Jul 2022 00:00:00 GMT Some Animation I Like https://jcreedcmu.github.io/posts/2022-06-12/ Sun, 12 Jun 2022 00:00:00 GMT Thoughts on Braids https://jcreedcmu.github.io/posts/2022-05-22/ Sun, 22 May 2022 00:00:00 GMT Modal Logic for the Kolmogorov Puzzle https://jcreedcmu.github.io/posts/2021-12-28/ Tue, 28 Dec 2021 00:00:00 GMT Chromatic Type Polynomials https://jcreedcmu.github.io/posts/2021-12-05/ Sun, 05 Dec 2021 00:00:00 GMT Semisimplicial Types https://jcreedcmu.github.io/posts/2021-09-26/ Sun, 26 Sep 2021 00:00:00 GMT Map Colorings in Type Theory https://jcreedcmu.github.io/posts/2021-09-20/ Mon, 20 Sep 2021 00:00:00 GMT Sealevel Logic https://jcreedcmu.github.io/posts/2021-04-03/ ]]> Sat, 03 Apr 2021 00:00:00 GMT Differential Geometry On Cartographic Spaces https://jcreedcmu.github.io/posts/2021-03-14/ Sun, 14 Mar 2021 00:00:00 GMT Surface Diagrams https://jcreedcmu.github.io/posts/2021-02-04/ Thu, 04 Feb 2021 00:00:00 GMT Trees as Fibrations https://jcreedcmu.github.io/posts/2021-01-14/ Thu, 14 Jan 2021 00:00:00 GMT Classical Logic in Intuitionistic Logic https://jcreedcmu.github.io/posts/2020-12-20/ Sun, 20 Dec 2020 00:00:00 GMT Directed Spaces vs. Categories https://jcreedcmu.github.io/posts/2020-11-22/ Sun, 22 Nov 2020 00:00:00 GMT Polynomials as $n$-cells https://jcreedcmu.github.io/posts/2020-01-05/ Sun, 05 Jan 2020 00:00:00 GMT Some Thoughts on Story Games https://jcreedcmu.github.io/posts/2019-09-03/ Tue, 03 Sep 2019 00:00:00 GMT lambda map drawer https://jcreedcmu.github.io//lambda-map-drawer/public/ Sun, 21 Apr 2019 00:00:00 GMT cubetest https://jcreedcmu.github.io//cubetest Sun, 07 Apr 2019 00:00:00 GMT white noise generator https://jcreedcmu.github.io/util/noise/ Mon, 11 Feb 2019 00:00:00 GMT Orienting Simplices https://jcreedcmu.github.io/posts/2018-08-31/ Fri, 31 Aug 2018 00:00:00 GMT Some More Thoughts About Types with Internal References https://jcreedcmu.github.io/posts/2018-08-23/ Thu, 23 Aug 2018 00:00:00 GMT Types of DAG-like structures https://jcreedcmu.github.io/posts/2018-08-19/ Sun, 19 Aug 2018 00:00:00 GMT A Graph Polynomial, Sort of https://jcreedcmu.github.io/posts/2018-08-12/ Sun, 12 Aug 2018 00:00:00 GMT A Simple Matrix Game https://jcreedcmu.github.io/posts/2018-08-05/ Sun, 05 Aug 2018 00:00:00 GMT Focusing and Ends https://jcreedcmu.github.io/posts/2018-07-29/ Sun, 29 Jul 2018 00:00:00 GMT Two Warping Operations https://jcreedcmu.github.io/posts/2018-07-22/ Sun, 22 Jul 2018 00:00:00 GMT Action/Proposition Logic https://jcreedcmu.github.io/posts/2018-07-15/ Sun, 15 Jul 2018 00:00:00 GMT Towards a Judgmental Reconstruction of Dynamic Logic https://jcreedcmu.github.io/posts/2018-07-08/ Sun, 08 Jul 2018 00:00:00 GMT Focusing and Category Variables https://jcreedcmu.github.io/posts/2018-07-01/ Sun, 01 Jul 2018 00:00:00 GMT Cache Types https://jcreedcmu.github.io/posts/2018-06-24/ Sun, 24 Jun 2018 00:00:00 GMT Feeling the Yoneda Lemma in my Guts https://jcreedcmu.github.io/posts/2018-06-17/ Sun, 17 Jun 2018 00:00:00 GMT Creative Annealing https://jcreedcmu.github.io/posts/2018-06-10/ Sun, 10 Jun 2018 00:00:00 GMT Focusing Dissection of Exponentials In Presheaf Categories https://jcreedcmu.github.io/posts/2018-06-03/ Sun, 03 Jun 2018 00:00:00 GMT Depending on Category Variables, Dependently https://jcreedcmu.github.io/posts/2018-05-27/ Sun, 27 May 2018 00:00:00 GMT Depending on Category Variables https://jcreedcmu.github.io/posts/2018-05-20/ Sun, 20 May 2018 00:00:00 GMT Slices of Presheaf Categories https://jcreedcmu.github.io/posts/2018-05-13/ Sun, 13 May 2018 00:00:00 GMT Everything I've Learned About Logic in the Last Decade or So, Part 4 https://jcreedcmu.github.io/posts/2018-05-06/ Sun, 06 May 2018 00:00:00 GMT Everything I've Learned About Logic in the Last Decade or So, Part 3 https://jcreedcmu.github.io/posts/2018-04-29/ Sun, 29 Apr 2018 00:00:00 GMT Everything I've Learned About Logic in the Last Decade or So, Part 2 https://jcreedcmu.github.io/posts/2018-04-22/ Sun, 22 Apr 2018 00:00:00 GMT Everything I've Learned About Logic in the Last Decade or So, Part 1 https://jcreedcmu.github.io/posts/2018-04-15/ Sun, 15 Apr 2018 00:00:00 GMT Wellen's Synthetic Differential Geometry https://jcreedcmu.github.io/posts/2018-04-08/ Sun, 08 Apr 2018 00:00:00 GMT Doing $k$-means with intermediate points https://jcreedcmu.github.io/posts/2018-04-01/ Sun, 01 Apr 2018 00:00:00 GMT