kripkejoyal

@kripkejoyal@mathstodon.xyz

A Carpenter building Shinonome Laboratory in order to be employed as an R&D there.
Thoughts are my opia.
It's ok to learn category theory.

This profile is from a federated server and may be incomplete. Browse more on the original instance.

kripkejoyal, to random

汚ったない空気吸い込んで気管支炎みたいになってるからか、食事も食べきれんわ🥺

kripkejoyal, to random

Automata theory can convert any nondeterministic one (NFA) into a deterministic one (DFA).

Can category theory convert any profunctor into a functor ?

nomeata, to haskell
@nomeata@mastodon.online avatar

Someone once said that laziness is what kept pure, and that's the actually relevant feature. This makes we wonder: will theorem proving languages like , where logical consistency is what keeps them pure, deliver the same elegant experience, while avoiding some downsides of laziness (complex runtime, complicated performance characteristics)?

kripkejoyal,

@nomeata
When I read coq'Art, I encountered the book saying "coinduction is implemented with kind of laziness". I think it's the key to the answer.

kripkejoyal, to random

Does anyone know any application of category theory into automata theory, which seems more general in some sense than category theory?

kripkejoyal, (edited )

@johncarlosbaez Wow, thank you! I have heard of the book. And I really have had minds many times that I wanted to read this one. However, since it seems a short way for me to comprehend the modern automata theory, I am trying recent EMS's book "Handbook of automata theory" now.

Yeah, it is Eilenberg!
I have forgotten the great frontier for the moment!
I will keep in mind to try these books for getting categorical viewpoints !

christianp, (edited ) to random
@christianp@mathstodon.xyz avatar

What do you think is the furthest you've ever been from any living people?
Order of magnitude will do: 100m, 1km, 10km, 100km?

I think solo pilots or sailors will boss this, but I'm also interested in the answer for plebs like me who rarely travel solo.

kripkejoyal,

@christianp
Cycling alone in countryside seemed to make me apart from anyone at least by 1km.

JadeMasterMath, to random

Hey what's it called when you have a graph whose nodes are smaller graphs? Like a hierarchical graph? or a meta-graph? What word would be used by a graph theorist?

kripkejoyal,

@johncarlosbaez @nilesjohnson @JadeMasterMath
Do we need to force ourselves in full anonymity to do science ?

  • All
  • Subscribed
  • Moderated
  • Favorites
  • JUstTest
  • mdbf
  • InstantRegret
  • ethstaker
  • magazineikmin
  • GTA5RPClips
  • rosin
  • modclub
  • Youngstown
  • ngwrru68w68
  • slotface
  • osvaldo12
  • kavyap
  • DreamBathrooms
  • Leos
  • thenastyranch
  • everett
  • cubers
  • cisconetworking
  • normalnudes
  • Durango
  • anitta
  • khanakhh
  • tacticalgear
  • tester
  • provamag3
  • megavids
  • lostlight
  • All magazines