Download Category Theory Torrent

Torrent Contents Size: 402.37 MB

Category Theory

Abstract Algebra

Artin M. Algebra.djvu

DJVU

4.28 MB

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

DJVU

14.59 MB

Groups

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

PDF

450.84 KB

Bechtell. The Theory of Groups.djvu

DJVU

6.5 MB

Milne J.S. Group Theory.pdf

PDF

622.18 KB

Polites. An Introduction to the Group Theory.djvu

DJVU

3.93 MB

Representations

Barcelo H., Ram A. Combinatorial Representation Theory.pdf	PDF	924.88 KB
Finite Groups.pdf	PDF	498.61 KB
Fulton W., Harris J. Representation theory. A first course .djvu	DJVU	10.15 MB
Fulton. Young tableau, representation theory and geometry (.djvu	DJVU	2.29 MB
Goldschmidt D.M. Group Characters, Symmetric Functions, and.djvu	DJVU	1.73 MB
Kostrikin A.I. Vvedenie v algebru. Chast' 3. Osnovnye struk.djvu	DJVU	2.16 MB
Виленкин. Специальные функции и теорипредставлений групп.djvu	DJVU	5.76 MB
Кириллов. Лекции по методу орбит.djvu	DJVU	3.05 MB
Кириллов. Элементы теории представлений.djvu	DJVU	4.02 MB
Ленг. SL2(R).djvu	DJVU	4.47 MB
Серр. Линейные представлениконечных групп.djvu	DJVU	1.22 MB
Фейт. Теорипредставлениконечных групп.pdf	PDF	39.36 MB
Хеннан. Представленигрупп и прикладнатеоривероностей.djvu	DJVU	1.19 MB

Богопольский. Введение в теорию групп.djvu

DJVU

607.31 KB

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

DJVU

1.94 MB

Холл. Теоригрупп.djvu

DJVU

5.41 MB

Modules

Anderson F.W., Fuller K.R. Rings and categories of modules.djvu	DJVU	4.88 MB
Lam T.Y. A First Course in Noncommutative Rings.djvu	DJVU	5.31 MB
Пирс. Ассоциативные алгебры.pdf	PDF	24.37 MB

Картан, Эйленберг. ГомологическаАлгебра.djvu

DJVU

4.01 MB

Categorical Logic

Awoday, Bauer. Introduction to Categorical Logic 1.pdf

PDF

462.92 KB

Awoday, Bauer. Introduction to Categorical Logic 2.pdf

PDF

464 KB

Awoday, Bauer. Introduction to Categorical Logic 3.pdf

PDF

429.96 KB

Bell J.L. Development of Categorical Logic.pdf

PDF

716.48 KB

CAM

Hakjoo Oh. The CAM.pdf	PDF	152.67 KB
Hinze. CAM Basic and Enhancements.pdf	PDF	386.81 KB
Wolfengagen V.E. Combinatory Logic in Programming.djvu	DJVU	697.4 KB
Wolfengagen. Frame Theory and Computations.pdf	PDF	1.22 MB
Вольфенгаген. Аппликативные вычислениpdf	Аппликативные вычислениPDF	552.32 KB
Вольфенгаген. Аппликативный комптютинг.pdf	PDF	370.98 KB
Вольфенгаген. Категориальнаабстрактнамашина.pdf	PDF	458.37 KB
Вольфенгаген. Комбинаторналогика в программировании.pdf	PDF	1.95 MB

Gambino N. Presheaf Models for Constructive Set Theories.pdf

PDF

203.02 KB

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

PDF

218.91 KB

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

PDF

230.53 KB

Jacobs B. Categorical Logic and Type Theory.pdf

PDF

31.45 MB

Jay C.B. Functorial Lambda-Calculus.pdf

PDF

337.81 KB

Jay C.B. Functorial ML.pdf

PDF

502.51 KB

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

PDF

32.66 MB

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

PDF

2.77 MB

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

PDF

382.57 KB

Moggi E. Notions of computation and monads.pdf

PDF

269.38 KB

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

PDF

312.74 KB

Pitts A.M. Categorical Logic.pdf

PDF

698.19 KB

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

PDF

180.9 KB

Rydeheard, Burstall. Computational Category Theory.pdf

PDF

920.9 KB

Toposes

Awoday S. Logic in Topoi. Functorial Semantics for Higher-Order Logic.pdf	PDF	832.19 KB
Barr, Wells. Category Theory for Computing Science.pdf	PDF	533.48 KB
Berg B. Non-well-founded trees in categories.pdf	PDF	284.61 KB
Berg B. Predicative topos theory and models for constructive set theory.pdf	PDF	797.19 KB
Berg B. Sheaves for predicative toposes.pdf	PDF	208.31 KB
Blass A. Topoi and Computation.pdf	PDF	125.18 KB
Caramello O. Atomic Toposes and countable categoricity.pdf	PDF	214.18 KB
Goldblatt R. A Kripke-Joyal Semantics for Noncommutative Logic in Quantales.pdf	PDF	204.14 KB
Johnstone P.T. Sketches of an Elephant A Topos Theory Compendium.djvu	DJVU	8.79 MB
Johnstone P.T. Topos Theory.djvu	DJVU	22.36 MB
Lambek J., Scott P.J. Algebraic Aspects of Topos Theory.djvu	DJVU	394.75 KB
Malcom G. Observational Truth as Categorical Modality.pdf	PDF	183.37 KB
Oosten. The Modified Realizability Topos.pdf	PDF	274.91 KB
Pitts A.M. On product and change of base for toposes.pdf	PDF	1.07 MB
Power J. 2-Categories.pdf	PDF	109.16 KB
Saunders Mac Lane. Sheaves in Geometry and Logic.djvu	DJVU	4.61 MB
Seely R.A.G. Polymorphic Linear Logic and Topos Models.pdf	PDF	185.84 KB
Streicher T. Fibred Categories.pdf	PDF	527.9 KB
Streicher T. Universes in Toposes.pdf	PDF	270.31 KB
Vickers S. Locales and Toposes as Spaces.pdf	PDF	516.29 KB
Голдблатт. Топосы, категорийный анализ логики.djvu	DJVU	5.72 MB
Джонстон. ТеориТопосов.djvu	DJVU	4.08 MB

Type Theory

Altenkirch T. Imredicative Representations of Categorical Datatypes.pdf	PDF	354.54 KB
Asperti A., Longo G. Categories Types and Structures.pdf	PDF	1.6 MB
Butz C. Bernays-Godel Type-Theory.pdf	PDF	307.62 KB
Cattani G.L., Winskel G. Presheaf Models for Concurrency.pdf	PDF	287.91 KB
Erwig M. Random Access to Abstract Data Types.pdf	PDF	271.78 KB
Goubault-Larrecq J., Lasota S., Nowak D. Logical Relations for Monadic Types.pdf	PDF	946.71 KB
Hagino T. A Categorical Programming Language.pdf	PDF	530.38 KB
Hagino T. A Typed Lambda Calculus with Categorical Type Constructors.pdf	PDF	121.81 KB
Kock J. Notes on Polynomial Functors.pdf	PDF	1.32 MB
Michelbrink M. Interfaces as Functors, Programs as Coalgebras - a Final Coalgebra Theorem in Intensional Type Theory.pdf	PDF	272.22 KB
Nogueira P. When Abstract Data Type a functor.pdf	PDF	84.91 KB
Santocanale L. Logical Contruction of Final Coalgebras.pdf	PDF	316.12 KB
Seely R.A.G. Locally cartesian closed categories and type theory.pdf	PDF	5.5 MB
Vene V. Categorical Programming with Inductive and Coinductive Types.pdf	PDF	423.72 KB
Vene V. Coding Recursion a la Mendler.pdf	PDF	242.43 KB
Vene V. Comonadic Iteration.pdf	PDF	333.35 KB
Vene V. Recursive Coalgebras from Comonads.pdf	PDF	243.56 KB

Category Theory

Adamek, Herrlich, Strecker. The Joy of Cats.pdf	PDF	4.13 MB
Barr, Wells. Category Theory.pdf	PDF	1.18 MB
Barr, Wells. Toposes, Triples and Theories.pdf	PDF	1.27 MB
Barr. Models of sketches.pdf	PDF	1.14 MB
Category_Theory-Awodey.pdf	PDF	3.91 MB
Fokkinga. Gentle introduction to category theory.pdf	PDF	386.58 KB
Goguen. A Categorical Manifesto.pdf	PDF	272.07 KB
Leinster T. The Yoneda Lemma.pdf	PDF	160.89 KB
Pierce B.C. Basic category theory for computer scientists.djvu	DJVU	5.43 MB
Saunders Mac Lane. Categories for Working Mathematician.djvu	DJVU	3.86 MB
Schalk A., Simmons H. An Introduction to Category Theory in four easy movements.pdf	PDF	1.17 MB
Turi D. Category Theory Lecture Notes.pdf	PDF	535.71 KB
М.Ш. Цаленко, Е.Г. Шульгейфер. Основы теории категорий.djvu	DJVU	2.09 MB
Маклейн. Категории длработающего математика.djvu	DJVU	2.73 MB
ТеориКатегорий. Слайды.pdf	PDF	149.11 KB

Category_Theory-Awodey.pdf

PDF

3.91 MB

Exact_Categories_and_Categories_of_Sheaves-Barr-Grillet-van_Osdol.djvu

DJVU

1.74 MB

Introduction_to_Bicategories-Benabou.djvu

DJVU

1.13 MB

Lambda Calculus

Barendregt H. Lambda Calculi with Types.pdf

PDF

857.96 KB

Introduction to Functional Programming. John Harrison.pdf

PDF

927.85 KB

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

PDF

320.2 KB

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

PDF

449.09 KB

МГУ 2003 ФЯП

1 Классификациыков программировани.pdf	PDF	241.59 KB
10 Абстрактные машины и категоральнакомбинаторналогика.pdf	PDF	246.15 KB
11 Категориальнаабстрактнамашина.pdf	PDF	244.67 KB
12 Оптимизацивычислений и расширениабстрактных машин.pdf	PDF	261.52 KB
2 Концепции возможности подхода .NET.pdf	PDF	240.3 KB
3 Функциональный подход к программированию.pdf	PDF	288.93 KB
4 Ламбда-исчисление как формализациЯФП.pdf	PDF	288.31 KB
5 Комбинаторналогика как формальнасистема.pdf	PDF	247.92 KB
6 Теоритипов и комбинаторналогика.pdf	PDF	276.87 KB
7 Синтаксис ыков программировани.pdf	PDF	294.25 KB
8 Семантика ыков программировани.pdf	PDF	282.88 KB
9 Рекурсивные функции и множества.pdf	PDF	282.16 KB

Функциональное программирование.pdf

PDF

304.37 KB

Meta Languages

CAML

Bettenburg N. JoCaml. A Language for Concurrent Distributed and Mobile Programming.pdf	PDF	203.24 KB
Fournet C., Maranget L. JoCaml. A Language for Concurrent Distributed and Mobile Programming.pdf	PDF	262.11 KB
Hickey J. Introduction to Objective Caml.pdf	PDF	2.23 MB
Leroy X. The Caml Light System 0.74.pdf	PDF	720 KB
Leroy X. The Objective Caml System 3.11.pdf	PDF	1.86 MB
Mandel L., Maranget L. The JoCaml Language 3.11.pdf	PDF	330.05 KB
Remy D. Using, Understanding and Unraveling The Ocaml Language.pdf	PDF	1.13 MB

Erlang

Pragmatic.Programming.Erlang.Jul.2007.pdf	PDF	2.65 MB
armstrong_thesis_2003.pdf	PDF	839.11 KB
bjarnelic.pdf	PDF	476.6 KB
foundation.pdf	PDF	173.83 KB
remond.pdf	PDF	121.24 KB

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

PDF

562.48 KB

Gilmore S. Programming in Standard ML.pdf	PDF	556.07 KB
Harper R. Introduction to Standart ML.pdf	PDF	447.91 KB
Harper R. Programming in Standard ML.pdf	PDF	947.33 KB
Tofte M. Tips for CS on Standard ML.pdf	PDF	212.17 KB
Харпер Р. Введение в Стандартный ML.pdf	PDF	612.28 KB

Topos of Music.pdf

PDF

49.45 MB

readme

9.66 KB

Description

									Show full description
								

Related Torrents

TORRENT NAME	SIZE	FILES	AGE	SEED	LEECH	SOURCE
The Cubing Bible - The definitive guide to Speedcubing (From 0 to 100 in every Category) Posted by freecoursewb in Books - Ebooks Posted in Books - Ebooks 6 30.9 MB 6 months ago freecoursewb	Size 30.9 MB	Files 3	Age 6 months ago	Seeds 6	Leechs 0	Source
Yukita S. Category Theory Using Haskell. An Introduction...2025 Posted by andryold1 in Books - Ebooks Posted in Books - Ebooks 22 3.4 MB 1 year ago andryold1	Size 3.4 MB	Files 1	Age 1 year ago	Seeds 22	Leechs 2	Source
Nelson-Field K. The Attention Economy. A Category Blueprint 2024 Posted by andryold1 in Books - Ebooks Posted in Books - Ebooks 4 10.33 MB 1 year ago andryold1	Size 10.33 MB	Files 1	Age 1 year ago	Seeds 4	Leechs 0	Source
[business] The Attention Economy: A Category Blueprint by Karen Nelson-Field EPUB Posted by zakareya in Books - Ebooks Posted in Books - Ebooks 23 21.8 MB 1 year ago zakareya	Size 21.8 MB	Files 3	Age 1 year ago	Seeds 23	Leechs 2	Source
Category Five: Superstorms and the Warming Oceans That Feed Them - Porter Fox Posted by MojoYugen in Books - Audio books Posted in Books - Audio books 0 237.83 MB 1 year ago MojoYugen	Size 237.83 MB	Files 1	Age 1 year ago	Seeds 0	Leechs 0	Source

Category Theory

Torrent Contents Size: 402.37 MB

Description

Related Torrents

Location

Trackers

Latest News

Latest Searches

Sites In Our Index

Popular Tags

Tracker name
udp://tracker.coppersurfer.tk:6969/announce
udp://9.rarbg.me:2850/announce
udp://9.rarbg.to:2920/announce
udp://tracker.opentrackr.org:1337
udp://tracker.leechers-paradise.org:6969/announce