Ebooks
Category Theory
Torrent info
Torrent Files List
Abstract Algebra (Size: 402.37 MB) (Files: 146)
Abstract Algebra
Картан, Ðйленберг. ГомологичеÑкаÐлгебра.djvu
Artin M. Algebra.djvu
Dummit D.S., Foote R.M. Abstract algebra.djvu
Groups
БогопольÑкий. Введение в теорию групп.djvu
Дужин, ЧеботаревÑкий. От орнаментов до дифференциальных уравнений.djvu
Холл. Теоригрупп.djvu
Baker A.J. Finite Groups and their Representations.pdf
Bechtell. The Theory of Groups.djvu
Milne J.S. Group Theory.pdf
Polites. An Introduction to the Group Theory.djvu
Representations
Виленкин. Специальные функции и теорипредÑтавлений групп.djvu
Кириллов. Лекции по методу орбит.djvu
Кириллов. Ðлементы теории предÑтавлений.djvu
Ленг. SL2(R).djvu
Серр. Линейные предÑтавлениконечных групп.djvu
Фейт. ТеорипредÑтавлениконечных групп.pdf
Хеннан. ПредÑтавленигрупп и прикладнатеоривероноÑтей.djvu
Barcelo H., Ram A. Combinatorial Representation Theory.pdf
Finite Groups.pdf
Fulton W., Harris J. Representation theory. A first course .djvu
Fulton. Young tableau, representation theory and geometry (.djvu
Goldschmidt D.M. Group Characters, Symmetric Functions, and.djvu
Kostrikin A.I. Vvedenie v algebru. Chast' 3. Osnovnye struk.djvu
Modules
ПирÑ. ÐÑÑоциативные алгебры.pdf
Anderson F.W., Fuller K.R. Rings and categories of modules.djvu
Lam T.Y. A First Course in Noncommutative Rings.djvu
Categorical Logic
Awoday, Bauer. Introduction to Categorical Logic 1.pdf
Awoday, Bauer. Introduction to Categorical Logic 2.pdf
Awoday, Bauer. Introduction to Categorical Logic 3.pdf
Bell J.L. Development of Categorical Logic.pdf
CAM
Вольфенгаген. Ðппликативные вычиÑлениpdf
Вольфенгаген. Ðппликативный комптютинг.pdf
Вольфенгаген. КатегориальнаабÑтрактнамашина.pdf
Вольфенгаген. Комбинаторналогика в программировании.pdf
Hakjoo Oh. The CAM.pdf
Hinze. CAM Basic and Enhancements.pdf
Wolfengagen V.E. Combinatory Logic in Programming.djvu
Wolfengagen. Frame Theory and Computations.pdf
Gambino N. Presheaf Models for Constructive Set Theories.pdf
Gambino N., Hyland M. Wellfounded Trees and Dependent Polynomial Functors.pdf
Huet G., Saibi A. Constructive Category Theory.pdf
Jacobs B. Categorical Logic and Type Theory.pdf
Jay C.B. Functorial Lambda-Calculus.pdf
Jay C.B. Functorial ML.pdf
Lambek J., Scott P.J. Introduction to Higher Order Categorical Logic.pdf
Lawvere F.W. Metric Spaces, Generalized Logic and Closed Categories.pdf
Moerdjik I., Palmgren E. Type Theories, Toposes and Constructive Set Theory. Predecative Aspect of AST.pdf
Moggi E. Notions of computation and monads.pdf
Palmgren E. Locally Cartesian Closed Categories without chosen Constructions.pdf
Pitts A.M. Categorical Logic.pdf
Ranalter K. Two-sequent K and simple fibrations.pdf
Rydeheard, Burstall. Computational Category Theory.pdf
Toposes
Голдблатт. ТопоÑÑ‹, категорийный анализ логики.djvu
ДжонÑтон. ТеориТопоÑов.djvu
Awoday S. Logic in Topoi. Functorial Semantics for Higher-Order Logic.pdf
Barr, Wells. Category Theory for Computing Science.pdf
Berg B. Non-well-founded trees in categories.pdf
Berg B. Predicative topos theory and models for constructive set theory.pdf
Berg B. Sheaves for predicative toposes.pdf
Blass A. Topoi and Computation.pdf
Caramello O. Atomic Toposes and countable categoricity.pdf
Goldblatt R. A Kripke-Joyal Semantics for Noncommutative Logic in Quantales.pdf
Johnstone P.T. Sketches of an Elephant A Topos Theory Compendium.djvu
Johnstone P.T. Topos Theory.djvu
Lambek J., Scott P.J. Algebraic Aspects of Topos Theory.djvu
Malcom G. Observational Truth as Categorical Modality.pdf
Oosten. The Modified Realizability Topos.pdf
Pitts A.M. On product and change of base for toposes.pdf
Power J. 2-Categories.pdf
Saunders Mac Lane. Sheaves in Geometry and Logic.djvu
Seely R.A.G. Polymorphic Linear Logic and Topos Models.pdf
Streicher T. Fibred Categories.pdf
Streicher T. Universes in Toposes.pdf
Vickers S. Locales and Toposes as Spaces.pdf
Type Theory
Altenkirch T. Imredicative Representations of Categorical Datatypes.pdf
Asperti A., Longo G. Categories Types and Structures.pdf
Butz C. Bernays-Godel Type-Theory.pdf
Cattani G.L., Winskel G. Presheaf Models for Concurrency.pdf
Erwig M. Random Access to Abstract Data Types.pdf
Goubault-Larrecq J., Lasota S., Nowak D. Logical Relations for Monadic Types.pdf
Hagino T. A Categorical Programming Language.pdf
Hagino T. A Typed Lambda Calculus with Categorical Type Constructors.pdf
Kock J. Notes on Polynomial Functors.pdf
Michelbrink M. Interfaces as Functors, Programs as Coalgebras - a Final Coalgebra Theorem in Intensional Type Theory.pdf
Nogueira P. When Abstract Data Type a functor.pdf
Santocanale L. Logical Contruction of Final Coalgebras.pdf
Seely R.A.G. Locally cartesian closed categories and type theory.pdf
Vene V. Categorical Programming with Inductive and Coinductive Types.pdf
Vene V. Coding Recursion a la Mendler.pdf
Vene V. Comonadic Iteration.pdf
Vene V. Recursive Coalgebras from Comonads.pdf
Category Theory
Маклейн. Категории длработающего математика.djvu
Ðœ.Ш. Цаленко, Е.Г. Шульгейфер. ОÑновы теории категорий.djvu
ТеориКатегорий. Слайды.pdf
Adamek, Herrlich, Strecker. The Joy of Cats.pdf
Barr, Wells. Category Theory.pdf
Barr, Wells. Toposes, Triples and Theories.pdf
Barr. Models of sketches.pdf
Category_Theory-Awodey.pdf
Fokkinga. Gentle introduction to category theory.pdf
Goguen. A Categorical Manifesto.pdf
Leinster T. The Yoneda Lemma.pdf
Pierce B.C. Basic category theory for computer scientists.djvu
Saunders Mac Lane. Categories for Working Mathematician.djvu
Schalk A., Simmons H. An Introduction to Category Theory in four easy movements.pdf
Turi D. Category Theory Lecture Notes.pdf
Category_Theory-Awodey.pdf
Exact_Categories_and_Categories_of_Sheaves-Barr-Grillet-van_Osdol.djvu
Introduction_to_Bicategories-Benabou.djvu
Lambda Calculus
МГУ 2003 ФЯП
1 КлаÑÑификациыков программировани.pdf
10 ÐбÑтрактные машины и категоральнакомбинаторналогика.pdf
11 КатегориальнаабÑтрактнамашина.pdf
12 ОптимизацивычиÑлений и раÑширениабÑтрактных машин.pdf
2 Концепции возможноÑти подхода .NET.pdf
3 Функциональный подход к программированию.pdf
4 Ламбда-иÑчиÑление как формализациЯФП.pdf
5 Комбинаторналогика как формальнаÑиÑтема.pdf
6 Теоритипов и комбинаторналогика.pdf
7 СинтакÑÐ¸Ñ Ñ‹ÐºÐ¾Ð² программировани.pdf
8 Семантика ыков программировани.pdf
9 РекурÑивные функции и множеÑтва.pdf
Функциональное программирование.pdf
Barendregt H. Lambda Calculi with Types.pdf
Introduction to Functional Programming. John Harrison.pdf
Vasconcelos V.T. The call-by-value lambda-calculus, the SECD machine, and the pi-calculus.pdf
Wright A.K., Felleisen M. A Syntactic Approach to Type Soundness.pdf
Meta Languages
CAML
Bettenburg N. JoCaml. A Language for Concurrent Distributed and Mobile Programming.pdf
Fournet C., Maranget L. JoCaml. A Language for Concurrent Distributed and Mobile Programming.pdf
Hickey J. Introduction to Objective Caml.pdf
Leroy X. The Caml Light System 0.74.pdf
Leroy X. The Objective Caml System 3.11.pdf
Mandel L., Maranget L. The JoCaml Language 3.11.pdf
Remy D. Using, Understanding and Unraveling The Ocaml Language.pdf
Erlang
armstrong_thesis_2003.pdf
bjarnelic.pdf
foundation.pdf
Pragmatic.Programming.Erlang.Jul.2007.pdf
remond.pdf
F#
Syme D., Granicz A., Cisternino A. Expret F#.pdf
ML
Харпер Р. Введение в Стандартный ML.pdf
Gilmore S. Programming in Standard ML.pdf
Harper R. Introduction to Standart ML.pdf
Harper R. Programming in Standard ML.pdf
Tofte M. Tips for CS on Standard ML.pdf
readme
Topos of Music.pdf
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
