#categorytheory — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #categorytheory, aggregated by home.social.
-
This is getting complicated! #haskell #categorytheory
-
This is getting complicated! #haskell #categorytheory
-
This is getting complicated! #haskell #categorytheory
-
This is getting complicated! #haskell #categorytheory
-
This is getting complicated! #haskell #categorytheory
-
@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
-
Realising that without a recommendation engine posts can't get anywhere without hashtags, lemme add a bunch now: #categorytheory #Python #diagram #monoidal #GraphicalFormalism #PicturingQuantum #GraphicalLinearAlgebra #LogicalNAND
#CharlesSandersPeirce