About
    • AMMDI is an open-notebook hypertext writing experiment, authored by Mike Travers aka mtraven. It's a work in progress and some parts are more polished than others. Comments welcome! More.
Search
Full
Incoming links
from Agency: notes and references
from 2023 Year End Review
  • Another desultory attempt to learn category theory, but it continues to be the kind of thing I should be into rather than something I am actually into. Also another half-assed attempt to learn to play keyboards.
from Joseph Goguen
  • All these come together in Goguen’s algebraic semiotics, which uses category theory to formalize the notion of sign-system, serving as a principled approach to user interface design.
from The Earth is Flat
  • There is one property of all of mathematics that is really striking, and it’s most clearly visible in foundational theories, such as logic, category theory, and lambda calculus. All these theories are about composability. They all describe how to construct more complex things from simpler elements.
Twin Pages

category theory

11 Feb 2023 - 30 Nov 2025
Open in Logseq