cronokirby

Tag: category-theory

8 items with this tag.

  • 2023-06-22

    A Sketch of Synthetic Cryptography

    • category-theory
    • cryptography
    • foundations
  • 2020-12-31

    (Basic) Universal Properties in Haskell

    • haskell
    • category-theory
  • 2020-12-07

    (Un)fold as (Co)algebra

    • algebra
    • haskell
    • category-theory
  • 2020-10-02

    Categorical Graphs

    • math
    • graph-theory
    • category-theory
  • 2020-09-09

    Recursive Types as Initial Algebras

    • math
    • category-theory
    • haskell
  • 2020-08-30

    Encoding the Naturals

    • math
    • category-theory
    • haskell
  • 2020-08-17

    Empty vs NonEmpty Groups

    • math
    • category-theory
    • algebra
  • 2020-06-18

    Monomorphisms vs Epimorphisms

    • math
    • category-theory