Submit Search
Upload
Perl Math Category Module Provides Category Theory Concepts
•
1 like
•
1,084 views
AI-enhanced title
Masahiro Honma
Follow
Perlを使って圏論概念をシミュレーション。
Read less
Read more
Technology
Report
Share
Report
Share
1 of 34
Download now
Download to read offline
Recommended
Hacking parse.y (RubyConf 2009)
Hacking parse.y (RubyConf 2009)
ujihisa
Javascript - The core
Javascript - The core
renchenyu
ภาษาซี
ภาษาซี
kramsri
ภาษาซี
ภาษาซี
kramsri
linieaire regressie
linieaire regressie
Mwalima Peltenburg
Git入門
Git入門
Masahiro Honma
モナモナ言うモナド入門.tar.gz
モナモナ言うモナド入門.tar.gz
Masahiro Honma
モデルから知るGit
モデルから知るGit
Masahiro Honma
Recommended
Hacking parse.y (RubyConf 2009)
Hacking parse.y (RubyConf 2009)
ujihisa
Javascript - The core
Javascript - The core
renchenyu
ภาษาซี
ภาษาซี
kramsri
ภาษาซี
ภาษาซี
kramsri
linieaire regressie
linieaire regressie
Mwalima Peltenburg
Git入門
Git入門
Masahiro Honma
モナモナ言うモナド入門.tar.gz
モナモナ言うモナド入門.tar.gz
Masahiro Honma
モデルから知るGit
モデルから知るGit
Masahiro Honma
すべてが@__kanになる
すべてが@__kanになる
Masahiro Honma
Perl saved a lady.
Perl saved a lady.
Masahiro Honma
Stateモナドの解説 中編
Stateモナドの解説 中編
Masahiro Honma
20120526 hachioji.pm
20120526 hachioji.pm
Masahiro Honma
Hachioji.pm in Machida の LT
Hachioji.pm in Machida の LT
Masahiro Honma
Types and perl language
Types and perl language
Masahiro Honma
TraitとMoose::Role
TraitとMoose::Role
Masahiro Honma
カレーとHokkaidopm
カレーとHokkaidopm
Masahiro Honma
Stateモナドの解説 前編
Stateモナドの解説 前編
Masahiro Honma
Stateモナドの解説 後編
Stateモナドの解説 後編
Masahiro Honma
定理3
定理3
Masahiro Honma
Monads in perl
Monads in perl
Masahiro Honma
ウヰスキーとPSGI
ウヰスキーとPSGI
Masahiro Honma
レンズ (ぶつかり稽古の没プレゼン)
レンズ (ぶつかり稽古の没プレゼン)
Masahiro Honma
AnyEvent and Plack
AnyEvent and Plack
Masahiro Honma
Arrows in perl
Arrows in perl
Masahiro Honma
循環参照のはなし
循環参照のはなし
Masahiro Honma
Levenshtein Automata
Levenshtein Automata
Masahiro Honma
Monads in python
Monads in python
eldariof
モナモナ言うモナド入門
モナモナ言うモナド入門
Masahiro Honma
A Journey Into the Emotions of Software Developers
A Journey Into the Emotions of Software Developers
Nicole Novielli
TeamStation AI System Report LATAM IT Salaries 2024
TeamStation AI System Report LATAM IT Salaries 2024
Lonnie McRorey
More Related Content
Viewers also liked
すべてが@__kanになる
すべてが@__kanになる
Masahiro Honma
Perl saved a lady.
Perl saved a lady.
Masahiro Honma
Stateモナドの解説 中編
Stateモナドの解説 中編
Masahiro Honma
20120526 hachioji.pm
20120526 hachioji.pm
Masahiro Honma
Hachioji.pm in Machida の LT
Hachioji.pm in Machida の LT
Masahiro Honma
Types and perl language
Types and perl language
Masahiro Honma
TraitとMoose::Role
TraitとMoose::Role
Masahiro Honma
カレーとHokkaidopm
カレーとHokkaidopm
Masahiro Honma
Stateモナドの解説 前編
Stateモナドの解説 前編
Masahiro Honma
Stateモナドの解説 後編
Stateモナドの解説 後編
Masahiro Honma
定理3
定理3
Masahiro Honma
Monads in perl
Monads in perl
Masahiro Honma
ウヰスキーとPSGI
ウヰスキーとPSGI
Masahiro Honma
レンズ (ぶつかり稽古の没プレゼン)
レンズ (ぶつかり稽古の没プレゼン)
Masahiro Honma
AnyEvent and Plack
AnyEvent and Plack
Masahiro Honma
Arrows in perl
Arrows in perl
Masahiro Honma
循環参照のはなし
循環参照のはなし
Masahiro Honma
Levenshtein Automata
Levenshtein Automata
Masahiro Honma
Monads in python
Monads in python
eldariof
モナモナ言うモナド入門
モナモナ言うモナド入門
Masahiro Honma
Viewers also liked
(20)
すべてが@__kanになる
すべてが@__kanになる
Perl saved a lady.
Perl saved a lady.
Stateモナドの解説 中編
Stateモナドの解説 中編
20120526 hachioji.pm
20120526 hachioji.pm
Hachioji.pm in Machida の LT
Hachioji.pm in Machida の LT
Types and perl language
Types and perl language
TraitとMoose::Role
TraitとMoose::Role
カレーとHokkaidopm
カレーとHokkaidopm
Stateモナドの解説 前編
Stateモナドの解説 前編
Stateモナドの解説 後編
Stateモナドの解説 後編
定理3
定理3
Monads in perl
Monads in perl
ウヰスキーとPSGI
ウヰスキーとPSGI
レンズ (ぶつかり稽古の没プレゼン)
レンズ (ぶつかり稽古の没プレゼン)
AnyEvent and Plack
AnyEvent and Plack
Arrows in perl
Arrows in perl
循環参照のはなし
循環参照のはなし
Levenshtein Automata
Levenshtein Automata
Monads in python
Monads in python
モナモナ言うモナド入門
モナモナ言うモナド入門
Recently uploaded
A Journey Into the Emotions of Software Developers
A Journey Into the Emotions of Software Developers
Nicole Novielli
TeamStation AI System Report LATAM IT Salaries 2024
TeamStation AI System Report LATAM IT Salaries 2024
Lonnie McRorey
The Role of FIDO in a Cyber Secure Netherlands: FIDO Paris Seminar.pptx
The Role of FIDO in a Cyber Secure Netherlands: FIDO Paris Seminar.pptx
LoriGlavin3
Data governance with Unity Catalog Presentation
Data governance with Unity Catalog Presentation
Knoldus Inc.
From Family Reminiscence to Scholarly Archive .
From Family Reminiscence to Scholarly Archive .
Alan Dix
Take control of your SAP testing with UiPath Test Suite
Take control of your SAP testing with UiPath Test Suite
DianaGray10
How AI, OpenAI, and ChatGPT impact business and software.
How AI, OpenAI, and ChatGPT impact business and software.
Curtis Poe
Assure Ecommerce and Retail Operations Uptime with ThousandEyes
Assure Ecommerce and Retail Operations Uptime with ThousandEyes
ThousandEyes
UiPath Community: Communication Mining from Zero to Hero
UiPath Community: Communication Mining from Zero to Hero
UiPathCommunity
Generative AI for Technical Writer or Information Developers
Generative AI for Technical Writer or Information Developers
Raghuram Pandurangan
Long journey of Ruby standard library at RubyConf AU 2024
Long journey of Ruby standard library at RubyConf AU 2024
Hiroshi SHIBATA
Merck Moving Beyond Passwords: FIDO Paris Seminar.pptx
Merck Moving Beyond Passwords: FIDO Paris Seminar.pptx
LoriGlavin3
Arizona Broadband Policy Past, Present, and Future Presentation 3/25/24
Arizona Broadband Policy Past, Present, and Future Presentation 3/25/24
Mark Goldstein
Unleashing Real-time Insights with ClickHouse_ Navigating the Landscape in 20...
Unleashing Real-time Insights with ClickHouse_ Navigating the Landscape in 20...
Alkin Tezuysal
Genislab builds better products and faster go-to-market with Lean project man...
Genislab builds better products and faster go-to-market with Lean project man...
Farhan Tariq
Transcript: New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024
BookNet Canada
Decarbonising Buildings: Making a net-zero built environment a reality
Decarbonising Buildings: Making a net-zero built environment a reality
IES VE
Sample pptx for embedding into website for demo
Sample pptx for embedding into website for demo
HarshalMandlekar2
Passkey Providers and Enabling Portability: FIDO Paris Seminar.pptx
Passkey Providers and Enabling Portability: FIDO Paris Seminar.pptx
LoriGlavin3
2024 April Patch Tuesday
2024 April Patch Tuesday
Ivanti
Recently uploaded
(20)
A Journey Into the Emotions of Software Developers
A Journey Into the Emotions of Software Developers
TeamStation AI System Report LATAM IT Salaries 2024
TeamStation AI System Report LATAM IT Salaries 2024
The Role of FIDO in a Cyber Secure Netherlands: FIDO Paris Seminar.pptx
The Role of FIDO in a Cyber Secure Netherlands: FIDO Paris Seminar.pptx
Data governance with Unity Catalog Presentation
Data governance with Unity Catalog Presentation
From Family Reminiscence to Scholarly Archive .
From Family Reminiscence to Scholarly Archive .
Take control of your SAP testing with UiPath Test Suite
Take control of your SAP testing with UiPath Test Suite
How AI, OpenAI, and ChatGPT impact business and software.
How AI, OpenAI, and ChatGPT impact business and software.
Assure Ecommerce and Retail Operations Uptime with ThousandEyes
Assure Ecommerce and Retail Operations Uptime with ThousandEyes
UiPath Community: Communication Mining from Zero to Hero
UiPath Community: Communication Mining from Zero to Hero
Generative AI for Technical Writer or Information Developers
Generative AI for Technical Writer or Information Developers
Long journey of Ruby standard library at RubyConf AU 2024
Long journey of Ruby standard library at RubyConf AU 2024
Merck Moving Beyond Passwords: FIDO Paris Seminar.pptx
Merck Moving Beyond Passwords: FIDO Paris Seminar.pptx
Arizona Broadband Policy Past, Present, and Future Presentation 3/25/24
Arizona Broadband Policy Past, Present, and Future Presentation 3/25/24
Unleashing Real-time Insights with ClickHouse_ Navigating the Landscape in 20...
Unleashing Real-time Insights with ClickHouse_ Navigating the Landscape in 20...
Genislab builds better products and faster go-to-market with Lean project man...
Genislab builds better products and faster go-to-market with Lean project man...
Transcript: New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024
Decarbonising Buildings: Making a net-zero built environment a reality
Decarbonising Buildings: Making a net-zero built environment a reality
Sample pptx for embedding into website for demo
Sample pptx for embedding into website for demo
Passkey Providers and Enabling Portability: FIDO Paris Seminar.pptx
Passkey Providers and Enabling Portability: FIDO Paris Seminar.pptx
2024 April Patch Tuesday
2024 April Patch Tuesday
Perl Math Category Module Provides Category Theory Concepts
1.
Math::Category id:hiratara 2009-11-21
2.
Math::Category
(1) ✤ Perl ✤ ✤ ✤
3.
Math::Category
(2) ✤ ✤ dom, cod, comp ✤ ✤ Hom ✤
4.
(1) ✤ ✤ ✤
Morphism interface ✤ source: dom Morphism ✤ target: cod Morphism ✤ composition:
5.
(2) ✤
✤ target source ✤ composition ✤ ✤ ✤
6.
(1): SimpleMorphism ✤
2 1 ✤ simple_morph ‘1’ => ‘2’; ‘1’ ✤ source simple_morph ‘1’ => ‘1’ ‘2’ ✤ target simple_morph ‘2’ => ‘2’ ‘3’ ✤ (simple_morph ‘2’ => ‘3’) . (simple_morph ‘1’ => ‘2’) = (simple_morph ‘1’ => ‘3’)
7.
(2): SubroutineMorphism(1) ✤
Perl ✤ Perl ✤ print ✤ sub_morph { $_[0] * 2 } undef ✤ source target sub_morph { @_ } ( ) ✤ ( )
8.
(2): SubroutineMorphism(2) ✤
$sub2 . $sub1 $sub1 $sub2 ✤ ✤ ✤
9.
(1) ✤
f.(g.h) (f . g) . h f g h ✤ ✤ id ( ) ✤ ✤ f×g: x → ( f(x), g(x) )
10.
(2) A×B
πA πB C ( f, g ): f, g 2 f g ( f, g ) A πA A×B πB B (f,g) f g (f,g) (g,f)
11.
(3): ✤
: bi_morph $morph1, $morph2; (A1, A2) ✤ source target (f, g) (B1, B2) ✤ : op $morph; B ✤ source targe f ✤ op op $morph; $morph A
12.
(1) ✤
Functor ✤ ✤ Morphism Morphism ✤ ( )
13.
(2) ✤
functor { ... }; ✤ (Morphism OK) ✤ ✤ ( $functor2 . $functor1 )
14.
(1): $BI_FUNCTOR ✤
Hom(-, -) ✤ C^op × C Sets ✤ C^op × C ✤ Sets SubroutineMorphism ( Sets )
15.
(1) ✤
NaturalTransformation ✤ ✤ (Morphism)
16.
(2) ✤
nat { }; ✤ ✤ ✤ ( ) ✤
17.
(3) ✤
✤ $nat2 . $nat1 ✤ $funct . $nat ✤ $nat . $funct
18.
(4): FunctorMorphism ✤ ✤
functor_morph nat { F my $id = shift; ... ... return $sum_morph τ }; ✤ source target source G target
19.
(2): $YONEDA_EMBEDDING ✤
✤ C^op Sets^C ✤ Hom(g, -)
20.
: CPS
(1) ✤ uc CPS
21.
: CPS
(2) Sets Hom( , -) Hom( , undef) ∈ print uc $fun_morph $cps_uc $cps_uc->(print) ∈ Hom( , -) Hom( , undef)
22.
Monad
(1) ✤ functor eta mu ✤ eta: I → T, mu: TT → T ✤ ✤ Haskell Monad ✤
23.
Monad
(2) ✤ 1. $monad->mu . (funct_nat $monad->functor, $monad->eta) $monad->mu . (nat_funct $monad->eta, $monad->functor) T→T ✤ 2. $monad->mu . (funct_nat $monad->functor, $monad->mu) $monad->mu . (nat_funct $monad->mu, $monad->functor) ( TTT → T )
24.
Monad
(1): $LIST_MONAD ✤ ✤ [v1_1, v1_2, v1_3], [v2_1, v2_2], [v3_1, v3_2, v3_3, v3_4] ✤ map eta [] mu concat
25.
Monad
(2): $STATE_MONAD ✤ ✤ sub { my @states = @_; .. .. return ¥@values, ¥@new_states } 1 ✤ functor, eta, mu Haskell ( )
26.
Monad
(3): Maybe ✤ Maybe nothing ✤ ( ) null ✤ List
27.
(5): KleisliMorphism ✤
m f: a -> m b b mma mmb mmc mg μc ma mb mc f g ηa ηb ηc a b c
28.
(5): KleisliMorphism ✤
m f: a -> m b b mma mmb mmc mg μc ma mb mc f g ηa ηb ηc a b c
29.
Kleisli
: Maybe (1) ✤ HTML get_number: HTML (<span>3/10</span>) cut_tag: (3/10) parse_number: (3, 10) div: (0.3) ✤ NG
30.
Kleisli
: Maybe (2) ✤
31.
Kleisli
: Maybe (2) ✤
32.
Kleisli
: Maybe (2) ✤ Maybe Kleisli
33.
Kleisli
: Maybe (2) ✤ Maybe Kleisli
34.
✤ ✤
✤ ✤ ( ) ✤
Download now