#categorytheory — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #categorytheory, aggregated by home.social.
-
what's a good introductory video talk or text on coinduction and coinductive data types?
#typetheory #categorytheory #algebra #math #theoreticalComputerScience #recursion #FunctionalProgramming #coinduction
-
@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
-
@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
-
@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
-
@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