#monoid — Public Fediverse posts

Capcom’s SF6 Finale Adds a Cosmic Goddess, a Mascot Fighter, and Avatar Arcade Mode https://popgeeks.com/capcoms-sf6-finale-adds-a-cosmic-goddess-a-mascot-fighter-and-avatar-arcade-mode/?utm_source=dlvr.it&utm_medium=mastodon #StreetFighter6 #Capcom #SF6 #Ingrid #Monoid

Asking ChatGPT about coloring diagrams with truth values. When you write A -> B the arrow can be valid or invalid, but you still want to talk about it

Level 1: Morphisms = Proofs, Typed with Validity

You can think of these arrows as typed by a truth value — i.e., each morphism has a color: valid, invalid, plausible, context-sensitive, contradictory-but-derivable, etc.

In this sense, truth is not binary, but becomes a fiber over each morphism: a coloring or modality.

So your category becomes a fibration over a poset of truth values, or a category enriched in truth values — maybe in a Heyting algebra or relevance lattice.

I'm not sure I've ever heard it say "maybe" before, but

#sugihara #monoid #RelevanceLogic

Asking ChatGPT about coloring diagrams with truth values. When you write A -> B the arrow can be valid or invalid, but you still want to talk about it

Level 1: Morphisms = Proofs, Typed with Validity

You can think of these arrows as typed by a truth value — i.e., each morphism has a color: valid, invalid, plausible, context-sensitive, contradictory-but-derivable, etc.

In this sense, truth is not binary, but becomes a fiber over each morphism: a coloring or modality.

So your category becomes a fibration over a poset of truth values, or a category enriched in truth values — maybe in a Heyting algebra or relevance lattice.

I'm not sure I've ever heard it say "maybe" before, but

#sugihara #monoid #RelevanceLogic

Asking ChatGPT about coloring diagrams with truth values. When you write A -> B the arrow can be valid or invalid, but you still want to talk about it

Level 1: Morphisms = Proofs, Typed with Validity

You can think of these arrows as typed by a truth value — i.e., each morphism has a color: valid, invalid, plausible, context-sensitive, contradictory-but-derivable, etc.

In this sense, truth is not binary, but becomes a fiber over each morphism: a coloring or modality.

So your category becomes a fibration over a poset of truth values, or a category enriched in truth values — maybe in a Heyting algebra or relevance lattice.

I'm not sure I've ever heard it say "maybe" before, but

#sugihara #monoid #RelevanceLogic

🚀 just uploaded to https://fpilluminated.com

Folding Cheat Sheet #8 - Folding with Monoids.

39 slides - Twelve examples.

Direct link: https://fpilluminated.com/deck/240

#haskell #scala #monoid #semigroup #fold #foldMap #combineAll #cats #fp #functional_programming