`
varsoft
  • 浏览: 2501619 次
  • 性别: Icon_minigender_1
  • 来自: 上海
文章分类
社区版块
存档分类
最新评论

Saunders Mac Lane过世了

 
阅读更多
4月14号过世,终年95岁。Saunders是美国数学界的大牛,在代数方面造诣良深。不过对搞计算机的人来说,他最重要的贡献是1945提出了范畴论。范畴论提出的初衷是处理不同数学分支间的转换,但后来在程序设计理论方面应用广泛。这里是卜告
分享到:
评论

相关推荐

    saunders-jeffery.pdf

    Today’s modern software projects are written in many different languages: Python, C++, Perl, Java, Javascript, Lua, Unicon, C, all co-exist within a complex environment implementing different ...

    maryamyriameliamurphies.js:使用Babel将Haskell风格的形态学库移植到ES2015 JavaScript

    maryamyriameliamurphies.js 通过Haskell的原理和代码模式学习ES2015 JavaScript中的函数式编程通过按原样使用此库或自己实现想法来使自己的代码更具功能性现在版本1.0 !... — Saunders Mac Lane, 通常,箭头类型

    A Survey of Modern Algebra, Garrett Birkhoff

    《A Survey of Modern Algebra》是由Garrett Birkhoff和Saunders MacLane合著的一部经典代数学著作。本书的首次出版是在1941年,旨在向读者介绍现代代数的基本概念和方法。Birkhoff和MacLane在该书中提出了一系列...

    kancepts:extension扩展探索

    关西(WIP) Kan扩展的概念包含了范畴论的所有其他基本概念。... -Saunders Mac Lane , 《工作数学家》类别 我尝试使用kan扩展来推导一些基本定理。 我从data-category获得了一些有关类别和函子编码的启发。

    范畴与计算机科学

    它起源于20世纪40年代,由Saunders Mac Lane和Samuel Eilenberg创立。范畴论提供了一套抽象的语言和概念框架,这与计算机科学中的诸多领域有着天然的联系。 范畴论在计算机科学中的一些应用包括:类型理论、函数式...

    Category Theory

    范畴论(Category Theory)是一门起源于20世纪40年代的数学领域,由Samuel Eilenberg和Saunders Mac Lane提出,旨在创建一种新的数学语言和理论结构,用以统一各种数学领域内的概念和结果。范畴论的主要研究对象是...

    password_manager-joshua-saunders:GitHub Classroom创建的password_manager-joshua-saunders

    标题 "password_manager-joshua-saunders" 指向的可能是一个个人项目,由GitHub用户Joshua Saunders创建,用于管理密码。这个项目是通过GitHub Classroom建立的,可能是一个教学或学习环境中的作业或示例代码。由于...

    Programming-Assignment-1-Rhys-Saunders:作业1进行编程

    【标题】:“Programming-Assignment-1-Rhys-Saunders:作业1进行编程” 这个标题表明这是一个关于编程作业的项目,由Rhys Saunders完成,可能是某个课程或学习计划的一部分。"作业1"暗示这是一个系列任务的起始部分...

    GTM书目全集(书名)

    - **作者**:Saunders Mac Lane - **年份**:1998 - **ISBN**:978-0-387-98403-2 - **知识点**: - 范畴论的基本概念和构造。 - 自然变换、极限与共极限等概念。 - 范畴论在现代数学各分支中的应用。 - 范畴论...

    028050-Category Theory-Steve Awodey, 2006_2.pdf

    它于20世纪40年代由Saunders Mac Lane和Samuel Eilenberg首次系统化。范畴论提供了一种处理不同数学领域中普遍概念的统一语言和框架,这一点对理论计算机科学尤为重要。 范畴论中的基本概念包括对象(object)、态射...

    Eddie-Saunders-React-Portfolio:我的React投资组合

    埃迪·桑德斯(Eddie Saunders)React组合 描述 这是一个基于Web的小型组合,旨在证明我的全部技能,并允许潜在的雇主查看我的简历并与我联系。 目录 用户故事 As an employer I wish to see a portfolio The ...

    a collection of classical mathematics books

    **作者**:Garrett Birkhoff, Saunders MacLane **书名**:《现代代数概览》 **出版信息**:1965年版,New York, Macmillan **索书号**:QA162.B571965 作为现代代数领域的入门教材,《现代代数概览》系统介绍了群...

    不可压缩Rivlin-Saunders材料中空穴现象的定性分析 (2008年)

    基于能量原理,研究了由一类均匀各向同性不可压缩的Rivlin-Saunders材料组成的实心球体在给定的表面拉伸死载荷作用下的空穴分岔问题。得到了描述球体内部空穴生成和增长的空穴分岔方程,并给出了此类材料中发生空穴分...

    L'Abate, L., and Curtis, L. T. Teaching the exceptional child. Philadelphia: Saunders, 1975, 505 pp., [dollar]12.95

    Philadelphia: Saunders, 1975, 505 pp., [dollar]12.95 240 Psychology i n the Schools, April , 19i‘?’, VoE. 14, N o . 2. skills to be covered. Some of the modules can be adopted for PTA meetings;...

    Saunders_TiGram

    使用 Titanium、Alloy 和 Appcelerator 云服务构建跨平台应用程序从哪里得到这本书书可以在概述这是一个基于书中代码示例的工作应用程序。 用户可以登录/注销、查看活动源和地图、上传照片以及添加朋友。...

    生命过程的参数估计及其应用

    《生命过程的参数估计及其应用》一文由Z.W.Birnbaum与S.C.Saunders共同撰写,发表于1969年的《应用概率杂志》(Journal of Applied Probability),第6卷第2期,页码328-347。这篇文章探讨了一种新颖的两参数生命...

    LSMR:最小二乘问题的迭代算法:由 David Fong 和 Michael Saunders 开发的 LSQR 算法的官方继承者。-matlab开发

    提出了求解线性系统和线性最小二乘系统的迭代方法。 该方法基于 Golub-Kahan 双对角化过程。 它在分析上等效于应用于正规方程的 MINRES 标准方法。 与 LSQR 相比,尽早终止 LSMR 更安全。 有关 LSMR 的详细信息可以...

    502 现代数字与模拟通信系统 Modern_Digital_and_Analog_Communication_Systems 4e

    Oxford University Press, Inc., publishes works that further Oxford University's ... Lathi & Saunders College Publishing, a division of Holt, Rinehart, and Winston, Inc.;© 1995, 1998, 2010 by B. P. Lathi

    MINRES-QLP:计算对称(可能是奇异的)Ax=b 或 min||Ax-b|| 的最小长度(伪逆)解。-matlab开发

    崔ou诚(Cou-Cheng T.Choi),克里斯托弗·佩奇(Christopher C.Paige)和迈克尔·桑德斯(Michael A.Saunders), MINRES-QLP:不定或奇异对称的 Krylov 子空间方法系统,SIAM 科学计算期刊,卷。 8月33日第4期...

Global site tag (gtag.js) - Google Analytics