Ebooks

Category Theory

  • Download Faster
  • Download torrent
  • Direct Download
  • Rate this torrent +  |  -
Category Theory

Download Anonymously! Get Protected Today And Get your 70% discount


Torrent info

Name:Category Theory

Infohash: 7A4B187243F978EDA3960ABD6E6A61CB569BA30F

Total Size: 402.37 MB

Seeds: 0

Leechers: 0

Stream: Watch Full Movie @ Movie4u

Last Updated: 0000-00-00 00:00:00 (Update Now)

Torrent added: 2013-03-09 19:34:37






Torrent Files List


Abstract Algebra (Size: 402.37 MB) (Files: 146)

 Abstract Algebra

  ÐšÐ°Ñ€Ñ‚ан, Эйленберг. ГомологическаАлгебра.djvu

4.01 MB

  Artin M. Algebra.djvu

4.28 MB

  Dummit D.S., Foote R.M. Abstract algebra.djvu

14.59 MB

  Groups

   Ð‘огопольский. Введение в теорию групп.djvu

607.31 KB

   Ð”ужин, Чеботаревский. От орнаментов до дифференциальных уравнений.djvu

1.94 MB

   Ð¥Ð¾Ð»Ð». Теоригрупп.djvu

5.41 MB

   Baker A.J. Finite Groups and their Representations.pdf

450.84 KB

   Bechtell. The Theory of Groups.djvu

6.50 MB

   Milne J.S. Group Theory.pdf

622.18 KB

   Polites. An Introduction to the Group Theory.djvu

3.93 MB

   Representations

    Ð’иленкин. Специальные функции и теорипредставлений групп.djvu

5.76 MB

    ÐšÐ¸Ñ€Ð¸Ð»Ð»Ð¾Ð². Лекции по методу орбит.djvu

3.05 MB

    ÐšÐ¸Ñ€Ð¸Ð»Ð»Ð¾Ð². Элементы теории представлений.djvu

4.02 MB

    Ð›ÐµÐ½Ð³. SL2(R).djvu

4.47 MB

    Ð¡ÐµÑ€Ñ€. Линейные представлениконечных групп.djvu

1.22 MB

    Ð¤ÐµÐ¸Ì†Ñ‚. Теорипредставлениконечных групп.pdf

39.36 MB

    Ð¥ÐµÐ½Ð½Ð°Ð½. Представленигрупп и прикладнатеоривероностей.djvu

1.19 MB

    Barcelo H., Ram A. Combinatorial Representation Theory.pdf

924.88 KB

    Finite Groups.pdf

498.61 KB

    Fulton W., Harris J. Representation theory. A first course .djvu

10.15 MB

    Fulton. Young tableau, representation theory and geometry (.djvu

2.29 MB

    Goldschmidt D.M. Group Characters, Symmetric Functions, and.djvu

1.73 MB

    Kostrikin A.I. Vvedenie v algebru. Chast' 3. Osnovnye struk.djvu

2.16 MB

  Modules

   ÐŸÐ¸Ñ€Ñ. Ассоциативные алгебры.pdf

24.37 MB

   Anderson F.W., Fuller K.R. Rings and categories of modules.djvu

4.88 MB

   Lam T.Y. A First Course in Noncommutative Rings.djvu

5.31 MB

 Categorical Logic

  Awoday, Bauer. Introduction to Categorical Logic 1.pdf

462.92 KB

  Awoday, Bauer. Introduction to Categorical Logic 2.pdf

464.00 KB

  Awoday, Bauer. Introduction to Categorical Logic 3.pdf

429.96 KB

  Bell J.L. Development of Categorical Logic.pdf

716.48 KB

  CAM

   Ð’ольфенгаген. Аппликативные вычислениpdf

552.32 KB

   Ð’ольфенгаген. Аппликативный комптютинг.pdf

370.98 KB

   Ð’ольфенгаген. Категориальнаабстрактнамашина.pdf

458.37 KB

   Ð’ольфенгаген. Комбинаторналогика в программировании.pdf

1.95 MB

   Hakjoo Oh. The CAM.pdf

152.67 KB

   Hinze. CAM Basic and Enhancements.pdf

386.81 KB

   Wolfengagen V.E. Combinatory Logic in Programming.djvu

697.40 KB

   Wolfengagen. Frame Theory and Computations.pdf

1.22 MB

  Gambino N. Presheaf Models for Constructive Set Theories.pdf

203.02 KB

  Gambino N., Hyland M. Wellfounded Trees and Dependent Polynomial Functors.pdf

218.91 KB

  Huet G., Saibi A. Constructive Category Theory.pdf

230.53 KB

  Jacobs B. Categorical Logic and Type Theory.pdf

31.45 MB

  Jay C.B. Functorial Lambda-Calculus.pdf

337.81 KB

  Jay C.B. Functorial ML.pdf

502.51 KB

  Lambek J., Scott P.J. Introduction to Higher Order Categorical Logic.pdf

32.66 MB

  Lawvere F.W. Metric Spaces, Generalized Logic and Closed Categories.pdf

2.77 MB

  Moerdjik I., Palmgren E. Type Theories, Toposes and Constructive Set Theory. Predecative Aspect of AST.pdf

382.57 KB

  Moggi E. Notions of computation and monads.pdf

269.38 KB

  Palmgren E. Locally Cartesian Closed Categories without chosen Constructions.pdf

312.74 KB

  Pitts A.M. Categorical Logic.pdf

698.19 KB

  Ranalter K. Two-sequent K and simple fibrations.pdf

180.90 KB

  Rydeheard, Burstall. Computational Category Theory.pdf

920.90 KB

  Toposes

   Ð“олдблатт. Топосы, категорийный анализ логики.djvu

5.72 MB

   Ð”жонстон. ТеориТопосов.djvu

4.08 MB

   Awoday S. Logic in Topoi. Functorial Semantics for Higher-Order Logic.pdf

832.19 KB

   Barr, Wells. Category Theory for Computing Science.pdf

533.48 KB

   Berg B. Non-well-founded trees in categories.pdf

284.61 KB

   Berg B. Predicative topos theory and models for constructive set theory.pdf

797.19 KB

   Berg B. Sheaves for predicative toposes.pdf

208.31 KB

   Blass A. Topoi and Computation.pdf

125.18 KB

   Caramello O. Atomic Toposes and countable categoricity.pdf

214.18 KB

   Goldblatt R. A Kripke-Joyal Semantics for Noncommutative Logic in Quantales.pdf

204.14 KB

   Johnstone P.T. Sketches of an Elephant A Topos Theory Compendium.djvu

8.79 MB

   Johnstone P.T. Topos Theory.djvu

22.36 MB

   Lambek J., Scott P.J. Algebraic Aspects of Topos Theory.djvu

394.75 KB

   Malcom G. Observational Truth as Categorical Modality.pdf

183.37 KB

   Oosten. The Modified Realizability Topos.pdf

274.91 KB

   Pitts A.M. On product and change of base for toposes.pdf

1.07 MB

   Power J. 2-Categories.pdf

109.16 KB

   Saunders Mac Lane. Sheaves in Geometry and Logic.djvu

4.61 MB

   Seely R.A.G. Polymorphic Linear Logic and Topos Models.pdf

185.84 KB

   Streicher T. Fibred Categories.pdf

527.90 KB

   Streicher T. Universes in Toposes.pdf

270.31 KB

   Vickers S. Locales and Toposes as Spaces.pdf

516.29 KB

  Type Theory

   Altenkirch T. Imredicative Representations of Categorical Datatypes.pdf

354.54 KB

   Asperti A., Longo G. Categories Types and Structures.pdf

1.60 MB

   Butz C. Bernays-Godel Type-Theory.pdf

307.62 KB

   Cattani G.L., Winskel G. Presheaf Models for Concurrency.pdf

287.91 KB

   Erwig M. Random Access to Abstract Data Types.pdf

271.78 KB

   Goubault-Larrecq J., Lasota S., Nowak D. Logical Relations for Monadic Types.pdf

946.71 KB

   Hagino T. A Categorical Programming Language.pdf

530.38 KB

   Hagino T. A Typed Lambda Calculus with Categorical Type Constructors.pdf

121.81 KB

   Kock J. Notes on Polynomial Functors.pdf

1.32 MB

   Michelbrink M. Interfaces as Functors, Programs as Coalgebras - a Final Coalgebra Theorem in Intensional Type Theory.pdf

272.22 KB

   Nogueira P. When Abstract Data Type a functor.pdf

84.91 KB

   Santocanale L. Logical Contruction of Final Coalgebras.pdf

316.12 KB

   Seely R.A.G. Locally cartesian closed categories and type theory.pdf

5.50 MB

   Vene V. Categorical Programming with Inductive and Coinductive Types.pdf

423.72 KB

   Vene V. Coding Recursion a la Mendler.pdf

242.43 KB

   Vene V. Comonadic Iteration.pdf

333.35 KB

   Vene V. Recursive Coalgebras from Comonads.pdf

243.56 KB

 Category Theory

  ÐœÐ°ÐºÐ»ÐµÐ¸Ì†Ð½. Категории длработающего математика.djvu

2.73 MB

  Ðœ.Ш. Цаленко, Е.Г. Шульгейфер. Основы теории категорий.djvu

2.09 MB

  Ð¢ÐµÐ¾Ñ€Ð¸ÐšÐ°Ñ‚егорий. Слайды.pdf

149.11 KB

  Adamek, Herrlich, Strecker. The Joy of Cats.pdf

4.13 MB

  Barr, Wells. Category Theory.pdf

1.18 MB

  Barr, Wells. Toposes, Triples and Theories.pdf

1.27 MB

  Barr. Models of sketches.pdf

1.14 MB

  Category_Theory-Awodey.pdf

3.91 MB

  Fokkinga. Gentle introduction to category theory.pdf

386.58 KB

  Goguen. A Categorical Manifesto.pdf

272.07 KB

  Leinster T. The Yoneda Lemma.pdf

160.89 KB

  Pierce B.C. Basic category theory for computer scientists.djvu

5.43 MB

  Saunders Mac Lane. Categories for Working Mathematician.djvu

3.86 MB

  Schalk A., Simmons H. An Introduction to Category Theory in four easy movements.pdf

1.17 MB

  Turi D. Category Theory Lecture Notes.pdf

535.71 KB

 Category_Theory-Awodey.pdf

3.91 MB

 Exact_Categories_and_Categories_of_Sheaves-Barr-Grillet-van_Osdol.djvu

1.74 MB

 Introduction_to_Bicategories-Benabou.djvu

1.13 MB

 Lambda Calculus

  ÐœÐ“У 2003 ФЯП

   1 Классификациыков программировани.pdf

241.59 KB

   10 Абстрактные машины и категоральнакомбинаторналогика.pdf

246.15 KB

   11 Категориальнаабстрактнамашина.pdf

244.67 KB

   12 Оптимизацивычислений и расширениабстрактных машин.pdf

261.52 KB

   2 Концепции возможности подхода .NET.pdf

240.30 KB

   3 Функциональный подход к программированию.pdf

288.93 KB

   4 Ламбда-исчисление как формализациЯФП.pdf

288.31 KB

   5 Комбинаторналогика как формальнасистема.pdf

247.92 KB

   6 Теоритипов и комбинаторналогика.pdf

276.87 KB

   7 Синтаксис ыков программировани.pdf

294.25 KB

   8 Семантика ыков программировани.pdf

282.88 KB

   9 Рекурсивные функции и множества.pdf

282.16 KB

  Ð¤ÑƒÐ½ÐºÑ†Ð¸Ð¾Ð½Ð°Ð»ÑŒÐ½Ð¾Ðµ программирование.pdf

304.37 KB

  Barendregt H. Lambda Calculi with Types.pdf

857.96 KB

  Introduction to Functional Programming. John Harrison.pdf

927.85 KB

  Vasconcelos V.T. The call-by-value lambda-calculus, the SECD machine, and the pi-calculus.pdf

320.20 KB

  Wright A.K., Felleisen M. A Syntactic Approach to Type Soundness.pdf

449.09 KB

 Meta Languages

  CAML

   Bettenburg N. JoCaml. A Language for Concurrent Distributed and Mobile Programming.pdf

203.24 KB

   Fournet C., Maranget L. JoCaml. A Language for Concurrent Distributed and Mobile Programming.pdf

262.11 KB

   Hickey J. Introduction to Objective Caml.pdf

2.23 MB

   Leroy X. The Caml Light System 0.74.pdf

720.00 KB

   Leroy X. The Objective Caml System 3.11.pdf

1.86 MB

   Mandel L., Maranget L. The JoCaml Language 3.11.pdf

330.05 KB

   Remy D. Using, Understanding and Unraveling The Ocaml Language.pdf

1.13 MB

  Erlang

   armstrong_thesis_2003.pdf

839.11 KB

   bjarnelic.pdf

476.60 KB

   foundation.pdf

173.83 KB

   Pragmatic.Programming.Erlang.Jul.2007.pdf

2.65 MB

   remond.pdf

121.24 KB

  F#

   Syme D., Granicz A., Cisternino A. Expret F#.pdf

562.48 KB

  ML

   Ð¥Ð°Ñ€Ð¿ÐµÑ€ Р. Введение в Стандартный ML.pdf

612.28 KB

   Gilmore S. Programming in Standard ML.pdf

556.07 KB

   Harper R. Introduction to Standart ML.pdf

447.91 KB

   Harper R. Programming in Standard ML.pdf

947.33 KB

   Tofte M. Tips for CS on Standard ML.pdf

212.17 KB

 readme

9.66 KB

 Topos of Music.pdf

49.45 MB
 

Announce URL:

Torrent description

A repost of a an old category theory torrent, along with a few books Ive added to that library. The library is disorganized and a bit crufty. The original curator included an extensive section on abstract algebra (good!), and a section on functional programming languages, such as ML, Erlang and F# (scratching my head, here.) I may repost a cleaned up version of the library.

Best,
M

related torrents

Torrent name

health leech seeds Size
 


comments (0)

Main Menu