jcreed blog
POSTS
2024-12-23A Postulate for Internalized Parametricity
2024-12-21Thoughts About a Directed Interval
2024-12-18The Pentagonal Icositetrahedron as a 24-sided Die
2024-12-11A Funny Definition of Groups
2024-12-03Maps and Knots
2024-11-14Three Lists in One
2024-11-12A Heuristic Argument for the Central Limit Theorem
2024-09-30Defining Fillets
2024-09-16Naive Topology Intuitions and Logic
2024-09-04Parametricity and Substructural Types
2024-08-30A Probability Distribution Puzzle
2024-07-26Type Combinators for Interactive Forms
2024-05-13A Signal-Processing Cheatsheet
2024-03-13Set-Theoretic Geometry
2024-03-09A Picture of Sheaves
2024-02-12What Type is a Deck of Cards?
2024-01-29Linear Logic and Algebraic Geometry
2023-12-14Cache Types, Part 2
2023-12-09Stretchable Edges in Graphs
2023-11-14Constructing the Cotangent Function
2023-10-29How to Invent Hyperbolic Geometry
2023-10-22How to Invent Topographs
2023-09-20A Bernoulli Number Identity
2023-09-11Type Manifolds
2023-08-19Understanding the Hook Length Formula
2023-02-18Do Univalent Universes Arise from Higher Adjoints?
2023-01-24Attention for Type Theorists
2023-01-17Somewhat-Topology-Preserving Hex Map Reduction
2023-01-14Rigid String Diagrams
2022-12-09The Higher-Dimensional Graph Game
2022-08-10The Functional Programmer's -1/12 (2)
2022-08-08The Functional Programmer's -1/12
2022-08-01Jacobi Triple Product Identity
2022-07-18Coxeter Groups and Chebyshev Polynomials
2022-06-12Some Animation I Like
2022-05-22Thoughts on Braids
2021-12-28Modal Logic for the Kolmogorov Puzzle
2021-12-05Chromatic Type Polynomials
2021-09-26Semisimplicial Types
2021-09-20Map Colorings in Type Theory
2021-04-03Sealevel Logic
2021-03-14Differential Geometry On Cartographic Spaces
2021-02-04Surface Diagrams
2021-01-14Trees as Fibrations
2020-12-20Classical Logic in Intuitionistic Logic
2020-11-22Directed Spaces vs. Categories
2020-01-05Polynomials as $n$-cells
2019-09-03Some Thoughts on Story Games
2018-08-31Orienting Simplices
2018-08-23Some More Thoughts About Types with Internal References
2018-08-19Types of DAG-like structures
2018-08-12A Graph Polynomial, Sort of
2018-08-05A Simple Matrix Game
2018-07-29Focusing and Ends
2018-07-22Two Warping Operations
2018-07-15Action/Proposition Logic
2018-07-08Towards a Judgmental Reconstruction of Dynamic Logic
2018-07-01Focusing and Category Variables
2018-06-24Cache Types
2018-06-17Feeling the Yoneda Lemma in my Guts
2018-06-10Creative Annealing
2018-06-03Focusing Dissection of Exponentials In Presheaf Categories
2018-05-27Depending on Category Variables, Dependently
2018-05-20Depending on Category Variables
2018-05-13Slices of Presheaf Categories
2018-05-06Everything I've Learned About Logic in the Last Decade or So, Part 4
2018-04-29Everything I've Learned About Logic in the Last Decade or So, Part 3
2018-04-22Everything I've Learned About Logic in the Last Decade or So, Part 2
2018-04-15Everything I've Learned About Logic in the Last Decade or So, Part 1
2018-04-08Wellen's Synthetic Differential Geometry
2018-04-01Doing $k$-means with intermediate points
OTHER
2024-04-01twelf-wasm
2019-04-21lambda map drawer
2019-04-07cubetest
2019-02-11white noise generator