home.social

#categorytheory — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #categorytheory, aggregated by home.social.

  1. @maonu Locus Solum: From the Rules of Logic to the Logic of Rules

    Category theory is quite useful for organizing logic, because you have different levels; some are purely syntactic rules, but you can easily label your arrows with meanings, or other elements of a monoidal product. Saying A => B is syntactic, and slightly different from the thing you might be intending to say, CT helps organize the levels

    #topos #categorytheory #agents #SMCC

  2. @maonu Locus Solum: From the Rules of Logic to the Logic of Rules

    Category theory is quite useful for organizing logic, because you have different levels; some are purely syntactic rules, but you can easily label your arrows with meanings, or other elements of a monoidal product. Saying A => B is syntactic, and slightly different from the thing you might be intending to say, CT helps organize the levels

    #topos #categorytheory #agents #SMCC

  3. @maonu Locus Solum: From the Rules of Logic to the Logic of Rules

    Category theory is quite useful for organizing logic, because you have different levels; some are purely syntactic rules, but you can easily label your arrows with meanings, or other elements of a monoidal product. Saying A => B is syntactic, and slightly different from the thing you might be intending to say, CT helps organize the levels

    #topos #categorytheory #agents #SMCC

  4. @maonu Locus Solum: From the Rules of Logic to the Logic of Rules

    Category theory is quite useful for organizing logic, because you have different levels; some are purely syntactic rules, but you can easily label your arrows with meanings, or other elements of a monoidal product. Saying A => B is syntactic, and slightly different from the thing you might be intending to say, CT helps organize the levels

    #topos #categorytheory #agents #SMCC