yr 〜
yr

Search results 6

活躍する圏論 : 具体例からのアプローチ

活躍する圏論 : 具体例からのアプローチ
Paper図書
Brendan Fong, David I.Spivak 著, 川辺治之 訳共立出版2023.2<MA67-M41>
National Diet LibraryOther Libraries in Japan
  • Author HeadingFong, Brendan, 1988- Spivak, David I 川辺, 治之

みんなの圏論 : 演習中心アプローチ

みんなの圏論 : 演習中心アプローチ
Paper図書
David I.Spivak 著, 川辺治之 訳共立出版2021.10<MA67-M24>
National Diet LibraryOther Libraries in Japan
  • Author HeadingSpivak, David I 川辺, 治之

An invitation to applied category theory : seven sketches in compositionality

An invitation to applied category theory : seven sketches in compositionality
Paper図書
Brendan Fong, David I. SpivakCambridge University Press2019
Other Libraries in Japan
  • Author HeadingFong, Brendan Spivak, David I.

An invitation to applied category theory : seven sketches in compositionality : hbk. : pbk.

An invitation to applied category theory : seven sketches in compositionality : hbk. : pbk.
Paper図書
Brendan Fong, David I. SpivakCambridge University Pressc2019
Other Libraries in Japan
  • Author HeadingFong, Brendan Spivak, David I.

Temporal type theory : a topos-theoretic approach to systems and behavior

Temporal type theory : a topos-theoretic approach to systems and behavior
Paper図書
Patrick Schultz, David I. SpivakBirkhäuserc2019
Other Libraries in Japan
  • Author HeadingSchultz, Patrick Spivak, David I.

Category theory for the sciences

Category theory for the sciences
Paper図書
David I. SpivakThe MIT Pressc2014
Other Libraries in Japan
  • Author HeadingSpivak, David I. Massachusetts Institute of T...

Reached to the end of result.