Category Theory

BT种子名称

请保存以下最新地址

BT种子基本信息

种子哈希：7a4b187243f978eda3960abd6e6a61cb569ba30f
文档大小：421.9 MB
文档个数：146个文档
下载次数：2006次
下载速度：极快
收录时间：2021-02-13
最近下载：2025-01-01
DMCA/屏蔽：DMCA/屏蔽

下载磁力链接

magnet:?xt=urn:btih:7A4B187243F978EDA3960ABD6E6A61CB569BA30F
复制磁力链接到PikPak、utorrent、Bitcomet、迅雷、115、百度网盘等下载工具进行下载。

下载BT种子

磁力链接种子下载迅雷下载二维码 YouTube成人版 91视频 91短视频 51品茶逼哩逼哩萝莉岛欲漫涩草榴社区含羞草抖阴破解版 TikTok成人版成人快手乱伦社区 91AV 暗网禁地

文档列表

Topos of Music.pdf 51.9 MB
Abstract Algebra/Groups/Representations/Фейт. Теорипредставлениконечных групп.pdf 41.3 MB
Categorical Logic/Lambek J., Scott P.J. Introduction to Higher Order Categorical Logic.pdf 34.3 MB
Categorical Logic/Jacobs B. Categorical Logic and Type Theory.pdf 33.0 MB
Abstract Algebra/Modules/Пирс. Ассоциативные алгебры.pdf 25.6 MB
Categorical Logic/Toposes/Johnstone P.T. Topos Theory.djvu 23.4 MB
Abstract Algebra/Dummit D.S., Foote R.M. Abstract algebra.djvu 15.3 MB
Abstract Algebra/Groups/Representations/Fulton W., Harris J. Representation theory. A first course .djvu 10.6 MB
Categorical Logic/Toposes/Johnstone P.T. Sketches of an Elephant A Topos Theory Compendium.djvu 9.2 MB
Abstract Algebra/Groups/Bechtell. The Theory of Groups.djvu 6.8 MB
Abstract Algebra/Groups/Representations/Виленкин. Специальные функции и теорипредставлений групп.djvu 6.0 MB
Categorical Logic/Toposes/Голдблатт. Топосы, категорийный анализ логики.djvu 6.0 MB
Categorical Logic/Type Theory/Seely R.A.G. Locally cartesian closed categories and type theory.pdf 5.8 MB
Category Theory/Pierce B.C. Basic category theory for computer scientists.djvu 5.7 MB
Abstract Algebra/Groups/Холл. Теоригрупп.djvu 5.7 MB
Abstract Algebra/Modules/Lam T.Y. A First Course in Noncommutative Rings.djvu 5.6 MB
Abstract Algebra/Modules/Anderson F.W., Fuller K.R. Rings and categories of modules.djvu 5.1 MB
Categorical Logic/Toposes/Saunders Mac Lane. Sheaves in Geometry and Logic.djvu 4.8 MB
Abstract Algebra/Groups/Representations/Ленг. SL2(R).djvu 4.7 MB
Abstract Algebra/Artin M. Algebra.djvu 4.5 MB
Category Theory/Adamek, Herrlich, Strecker. The Joy of Cats.pdf 4.3 MB
Categorical Logic/Toposes/Джонстон. ТеориТопосов.djvu 4.3 MB
Abstract Algebra/Groups/Representations/Кириллов. Элементы теории представлений.djvu 4.2 MB
Abstract Algebra/Картан, Эйленберг. ГомологическаАлгебра.djvu 4.2 MB
Abstract Algebra/Groups/Polites. An Introduction to the Group Theory.djvu 4.1 MB
Category Theory/Category_Theory-Awodey.pdf 4.1 MB
Category_Theory-Awodey.pdf 4.1 MB
Category Theory/Saunders Mac Lane. Categories for Working Mathematician.djvu 4.0 MB
Abstract Algebra/Groups/Representations/Кириллов. Лекции по методу орбит.djvu 3.2 MB
Categorical Logic/Lawvere F.W. Metric Spaces, Generalized Logic and Closed Categories.pdf 2.9 MB
Category Theory/Маклейн. Категории длработающего математика.djvu 2.9 MB
Meta Languages/Erlang/Pragmatic.Programming.Erlang.Jul.2007.pdf 2.8 MB
Abstract Algebra/Groups/Representations/Fulton. Young tableau, representation theory and geometry (.djvu 2.4 MB
Meta Languages/CAML/Hickey J. Introduction to Objective Caml.pdf 2.3 MB
Abstract Algebra/Groups/Representations/Kostrikin A.I. Vvedenie v algebru. Chast' 3. Osnovnye struk.djvu 2.3 MB
Category Theory/М.Ш. Цаленко, Е.Г. Шульгейфер. Основы теории категорий.djvu 2.2 MB
Categorical Logic/CAM/Вольфенгаген. Комбинаторналогика в программировании.pdf 2.0 MB
Abstract Algebra/Groups/Дужин, Чеботаревский. От орнаментов до дифференциальных уравнений.djvu 2.0 MB
Meta Languages/CAML/Leroy X. The Objective Caml System 3.11.pdf 1.9 MB
Exact_Categories_and_Categories_of_Sheaves-Barr-Grillet-van_Osdol.djvu 1.8 MB
Abstract Algebra/Groups/Representations/Goldschmidt D.M. Group Characters, Symmetric Functions, and.djvu 1.8 MB
Categorical Logic/Type Theory/Asperti A., Longo G. Categories Types and Structures.pdf 1.7 MB
Categorical Logic/Type Theory/Kock J. Notes on Polynomial Functors.pdf 1.4 MB
Category Theory/Barr, Wells. Toposes, Triples and Theories.pdf 1.3 MB
Categorical Logic/CAM/Wolfengagen. Frame Theory and Computations.pdf 1.3 MB
Abstract Algebra/Groups/Representations/Серр. Линейные представлениконечных групп.djvu 1.3 MB
Abstract Algebra/Groups/Representations/Хеннан. Представленигрупп и прикладнатеоривероностей.djvu 1.3 MB
Category Theory/Barr, Wells. Category Theory.pdf 1.2 MB
Category Theory/Schalk A., Simmons H. An Introduction to Category Theory in four easy movements.pdf 1.2 MB
Category Theory/Barr. Models of sketches.pdf 1.2 MB
Introduction_to_Bicategories-Benabou.djvu 1.2 MB
Meta Languages/CAML/Remy D. Using, Understanding and Unraveling The Ocaml Language.pdf 1.2 MB
Categorical Logic/Toposes/Pitts A.M. On product and change of base for toposes.pdf 1.1 MB
Meta Languages/ML/Harper R. Programming in Standard ML.pdf 970.1 kB
Categorical Logic/Type Theory/Goubault-Larrecq J., Lasota S., Nowak D. Logical Relations for Monadic Types.pdf 969.4 kB
Lambda Calculus/Introduction to Functional Programming. John Harrison.pdf 950.1 kB
Abstract Algebra/Groups/Representations/Barcelo H., Ram A. Combinatorial Representation Theory.pdf 947.1 kB
Categorical Logic/Rydeheard, Burstall. Computational Category Theory.pdf 943.0 kB
Lambda Calculus/Barendregt H. Lambda Calculi with Types.pdf 878.5 kB
Meta Languages/Erlang/armstrong_thesis_2003.pdf 859.2 kB
Categorical Logic/Toposes/Awoday S. Logic in Topoi. Functorial Semantics for Higher-Order Logic.pdf 852.2 kB
Categorical Logic/Toposes/Berg B. Predicative topos theory and models for constructive set theory.pdf 816.3 kB
Meta Languages/CAML/Leroy X. The Caml Light System 0.74.pdf 737.3 kB
Categorical Logic/Bell J.L. Development of Categorical Logic.pdf 733.7 kB
Categorical Logic/Pitts A.M. Categorical Logic.pdf 715.0 kB
Categorical Logic/CAM/Wolfengagen V.E. Combinatory Logic in Programming.djvu 714.1 kB
Abstract Algebra/Groups/Milne J.S. Group Theory.pdf 637.1 kB
Meta Languages/ML/Харпер Р. Введение в Стандартный ML.pdf 627.0 kB
Abstract Algebra/Groups/Богопольский. Введение в теорию групп.djvu 621.9 kB
Meta Languages/F#/Syme D., Granicz A., Cisternino A. Expret F#.pdf 576.0 kB
Meta Languages/ML/Gilmore S. Programming in Standard ML.pdf 569.4 kB
Categorical Logic/CAM/Вольфенгаген. Аппликативные вычислениpdf 565.6 kB
Category Theory/Turi D. Category Theory Lecture Notes.pdf 548.6 kB
Categorical Logic/Toposes/Barr, Wells. Category Theory for Computing Science.pdf 546.3 kB
Categorical Logic/Type Theory/Hagino T. A Categorical Programming Language.pdf 543.1 kB
Categorical Logic/Toposes/Streicher T. Fibred Categories.pdf 540.6 kB
Categorical Logic/Toposes/Vickers S. Locales and Toposes as Spaces.pdf 528.7 kB
Categorical Logic/Jay C.B. Functorial ML.pdf 514.6 kB
Abstract Algebra/Groups/Representations/Finite Groups.pdf 510.6 kB
Meta Languages/Erlang/bjarnelic.pdf 488.0 kB
Categorical Logic/Awoday, Bauer. Introduction to Categorical Logic 2.pdf 475.1 kB
Categorical Logic/Awoday, Bauer. Introduction to Categorical Logic 1.pdf 474.0 kB
Categorical Logic/CAM/Вольфенгаген. Категориальнаабстрактнамашина.pdf 469.4 kB
Abstract Algebra/Groups/Baker A.J. Finite Groups and their Representations.pdf 461.7 kB
Lambda Calculus/Wright A.K., Felleisen M. A Syntactic Approach to Type Soundness.pdf 459.9 kB
Meta Languages/ML/Harper R. Introduction to Standart ML.pdf 458.7 kB
Categorical Logic/Awoday, Bauer. Introduction to Categorical Logic 3.pdf 440.3 kB
Categorical Logic/Type Theory/Vene V. Categorical Programming with Inductive and Coinductive Types.pdf 433.9 kB
Categorical Logic/Toposes/Lambek J., Scott P.J. Algebraic Aspects of Topos Theory.djvu 404.2 kB
Categorical Logic/CAM/Hinze. CAM Basic and Enhancements.pdf 396.1 kB
Category Theory/Fokkinga. Gentle introduction to category theory.pdf 395.9 kB
Categorical Logic/Moerdjik I., Palmgren E. Type Theories, Toposes and Constructive Set Theory. Predecative Aspect of AST.pdf 391.7 kB
Categorical Logic/CAM/Вольфенгаген. Аппликативный комптютинг.pdf 379.9 kB
Categorical Logic/Type Theory/Altenkirch T. Imredicative Representations of Categorical Datatypes.pdf 363.0 kB
Categorical Logic/Jay C.B. Functorial Lambda-Calculus.pdf 345.9 kB
Categorical Logic/Type Theory/Vene V. Comonadic Iteration.pdf 341.4 kB
Meta Languages/CAML/Mandel L., Maranget L. The JoCaml Language 3.11.pdf 338.0 kB
Lambda Calculus/Vasconcelos V.T. The call-by-value lambda-calculus, the SECD machine, and the pi-calculus.pdf 327.9 kB
Categorical Logic/Type Theory/Santocanale L. Logical Contruction of Final Coalgebras.pdf 323.7 kB
Categorical Logic/Palmgren E. Locally Cartesian Closed Categories without chosen Constructions.pdf 320.2 kB
Categorical Logic/Type Theory/Butz C. Bernays-Godel Type-Theory.pdf 315.0 kB
Lambda Calculus/Функциональное программирование.pdf 311.7 kB
Lambda Calculus/МГУ 2003 ФЯП/7 Синтаксис ыков программировани.pdf 301.3 kB
Lambda Calculus/МГУ 2003 ФЯП/3 Функциональный подход к программированию.pdf 295.9 kB
Lambda Calculus/МГУ 2003 ФЯП/4 Ламбда-исчисление как формализациЯФП.pdf 295.2 kB
Categorical Logic/Type Theory/Cattani G.L., Winskel G. Presheaf Models for Concurrency.pdf 294.8 kB
Categorical Logic/Toposes/Berg B. Non-well-founded trees in categories.pdf 291.4 kB
Lambda Calculus/МГУ 2003 ФЯП/8 Семантика ыков программировани.pdf 289.7 kB
Lambda Calculus/МГУ 2003 ФЯП/9 Рекурсивные функции и множества.pdf 288.9 kB
Lambda Calculus/МГУ 2003 ФЯП/6 Теоритипов и комбинаторналогика.pdf 283.5 kB
Categorical Logic/Toposes/Oosten. The Modified Realizability Topos.pdf 281.5 kB
Categorical Logic/Type Theory/Michelbrink M. Interfaces as Functors, Programs as Coalgebras - a Final Coalgebra Theorem in Intensional Type Theory.pdf 278.8 kB
Category Theory/Goguen. A Categorical Manifesto.pdf 278.6 kB
Categorical Logic/Type Theory/Erwig M. Random Access to Abstract Data Types.pdf 278.3 kB
Categorical Logic/Toposes/Streicher T. Universes in Toposes.pdf 276.8 kB
Categorical Logic/Moggi E. Notions of computation and monads.pdf 275.9 kB
Meta Languages/CAML/Fournet C., Maranget L. JoCaml. A Language for Concurrent Distributed and Mobile Programming.pdf 268.4 kB
Lambda Calculus/МГУ 2003 ФЯП/12 Оптимизацивычислений и расширениабстрактных машин.pdf 267.8 kB
Lambda Calculus/МГУ 2003 ФЯП/5 Комбинаторналогика как формальнасистема.pdf 253.9 kB
Lambda Calculus/МГУ 2003 ФЯП/10 Абстрактные машины и категоральнакомбинаторналогика.pdf 252.1 kB
Lambda Calculus/МГУ 2003 ФЯП/11 Категориальнаабстрактнамашина.pdf 250.5 kB
Categorical Logic/Type Theory/Vene V. Recursive Coalgebras from Comonads.pdf 249.4 kB
Categorical Logic/Type Theory/Vene V. Coding Recursion a la Mendler.pdf 248.2 kB
Lambda Calculus/МГУ 2003 ФЯП/1 Классификациыков программировани.pdf 247.4 kB
Lambda Calculus/МГУ 2003 ФЯП/2 Концепции возможности подхода .NET.pdf 246.1 kB
Categorical Logic/Huet G., Saibi A. Constructive Category Theory.pdf 236.1 kB
Categorical Logic/Gambino N., Hyland M. Wellfounded Trees and Dependent Polynomial Functors.pdf 224.2 kB
Categorical Logic/Toposes/Caramello O. Atomic Toposes and countable categoricity.pdf 219.3 kB
Meta Languages/ML/Tofte M. Tips for CS on Standard ML.pdf 217.3 kB
Categorical Logic/Toposes/Berg B. Sheaves for predicative toposes.pdf 213.3 kB
Categorical Logic/Toposes/Goldblatt R. A Kripke-Joyal Semantics for Noncommutative Logic in Quantales.pdf 209.0 kB
Meta Languages/CAML/Bettenburg N. JoCaml. A Language for Concurrent Distributed and Mobile Programming.pdf 208.1 kB
Categorical Logic/Gambino N. Presheaf Models for Constructive Set Theories.pdf 207.9 kB
Categorical Logic/Toposes/Seely R.A.G. Polymorphic Linear Logic and Topos Models.pdf 190.3 kB
Categorical Logic/Toposes/Malcom G. Observational Truth as Categorical Modality.pdf 187.8 kB
Categorical Logic/Ranalter K. Two-sequent K and simple fibrations.pdf 185.2 kB
Meta Languages/Erlang/foundation.pdf 178.0 kB
Category Theory/Leinster T. The Yoneda Lemma.pdf 164.8 kB
Categorical Logic/CAM/Hakjoo Oh. The CAM.pdf 156.3 kB
Category Theory/ТеориКатегорий. Слайды.pdf 152.7 kB
Categorical Logic/Toposes/Blass A. Topoi and Computation.pdf 128.2 kB
Categorical Logic/Type Theory/Hagino T. A Typed Lambda Calculus with Categorical Type Constructors.pdf 124.7 kB
Meta Languages/Erlang/remond.pdf 124.2 kB
Categorical Logic/Toposes/Power J. 2-Categories.pdf 111.8 kB
Categorical Logic/Type Theory/Nogueira P. When Abstract Data Type a functor.pdf 86.9 kB
readme 9.9 kB

==查看完整文档列表==

上一个：Neboa.S01E02.1080i.HDTV.DD2.0.H.264-CasStudio.ts1.6 GB
下一个：True Blood S02E01 gr.avi 339.6 MB