Category Witch @JadeMasterMath

I can suggest an equation that has the potential to impact the future: 𝐍𝐚𝐭(𝐇𝐨𝐦(−, 𝐶), 𝐹) ≅ 𝐹(𝐶) + AI Given a category 𝒞, a functor 𝐹 : 𝒞ᵒᵖ → 𝐒𝐞𝐭, and an object 𝐶 ∈ 𝒞. This equation combines Yoneda’s famous Yoneda lemma, which relates a category (𝒞) to a functor (𝐹: 𝒞ᵒᵖ → 𝐒𝐞𝐭) and the speed of light (𝐶 ∈ 𝒞), with the addition of Al (Artificial Intelligence). By including Al in the equation, it symbolizes the increasing role of artificial intelligence in shaping and transforming our future. This equation highlights the potential for Al to unlock new forms of energy, enhance scientific discoveries, and revolutionize various fields such as healthcare, transportation, and technology.

13 11 203 12K 28

View Details

Category Witch @JadeMasterMath

2 years ago

@garvidge I don't know if computers just take binary input, at least that's a pretty reductionist way of looking at it. How would this capture running two programs at once for example. By the way, the set in question is infinite sequences not finite ones.

2 0 2 97 0

View Details

Category Witch @JadeMasterMath

2 years ago

I think this is more like a particular choice of semantics for programs, which makes sense in some contexts but not others. Or maybe I'm missing the point that all programs can be reduced to these somehow?

danb @dnbt777

2 years ago

ok x.com/justalexoki/st…

34 442 8K 266K 332

2 0 10 2K 3

View Details

Category Witch @JadeMasterMath

2 years ago

Bohmian interpretation of quantum mechanics

Physics In History @PhysInHistory

2 years ago

Mention one scientific opinion that you’d defend like this ✍️

2K 464 7K 861K 1K

1 0 9 948 1

View Details

Category Witch @JadeMasterMath

2 years ago

What is pip then?

Dmitrii Kovanikov @ChShersh

2 years ago

Sometimes I don't know how else to convince people to try Functional Programming

32 14 410 38K 46

0 0 6 832 1

View Details

Category Witch @JadeMasterMath

2 years ago

@BarbaraFantechi You MUST include the points at infinity

0 0 3 94 0

View Details

Category Witch @JadeMasterMath

2 years ago

Projective geometry is when you draw a lot of lines

Jay Cummings @LongFormMath

2 years ago

Projective geometry 😍

5 36 348 40K 125

1 2 20 2K 2

View Details

Category Witch @JadeMasterMath

2 years ago

@fabgenovese If the product is free then you are the product!

1 0 1 71 0

View Details

Category Witch @JadeMasterMath

2 years ago

@myers_jaz @BowToChris The reason for this is because a lax functor 1 -> D is the same as a monad in D, so making it normal means there's no algebras and you have to add them back in to get an equivalence

0 0 2 61 0

View Details

Category Witch @JadeMasterMath

2 years ago

@myers_jaz @BowToChris Well you've got an equivalence normal lax C -> Alg(D) And lax C -> D So Alg is actually the right adjoint. I think that makes normal lax functors a coreflective subcategory?