Skip to content

Category Theory

Sign up to create lists
Report Category Theory
Unverified source. This magnet is from an unverified source. The content may be unsafe or mislabeled. Proceed with caution.
Title: Category TheoryGroup: NOGRP
Info Hash
7A4B187243F978EDA3960ABD6E6A61CB569BA30F
Source
Unverified
Total Size
402.37 MB
Total Files
100
Seeders
0
Leechers
1
Health
Score
1
Type
eBook

File List

FileSize
Abstract Algebra/Картан, Эйленберг. ГомологическаАлгебра.djvu4.01 MB
Abstract Algebra/Artin M. Algebra.djvu4.28 MB
Abstract Algebra/Dummit D.S., Foote R.M. Abstract algebra.djvu14.59 MB
Abstract Algebra/Groups/Богопольский. Введение в теорию групп.djvu607.31 KB
Abstract Algebra/Groups/Дужин, Чеботаревский. От орнаментов до дифференциальных уравнений.djvu1.94 MB
Abstract Algebra/Groups/Холл. Теоригрупп.djvu5.41 MB
Abstract Algebra/Groups/Baker A.J. Finite Groups and their Representations.pdf450.84 KB
Abstract Algebra/Groups/Bechtell. The Theory of Groups.djvu6.5 MB
Abstract Algebra/Groups/Milne J.S. Group Theory.pdf622.18 KB
Abstract Algebra/Groups/Polites. An Introduction to the Group Theory.djvu3.93 MB
Abstract Algebra/Groups/Representations/Виленкин. Специальные функции и теорипредставлений групп.djvu5.76 MB
Abstract Algebra/Groups/Representations/Кириллов. Лекции по методу орбит.djvu3.05 MB
Abstract Algebra/Groups/Representations/Кириллов. Элементы теории представлений.djvu4.02 MB
Abstract Algebra/Groups/Representations/Ленг. SL2(R).djvu4.47 MB
Abstract Algebra/Groups/Representations/Серр. Линейные представлениконечных групп.djvu1.22 MB
Abstract Algebra/Groups/Representations/Фейт. Теорипредставлениконечных групп.pdf39.36 MB
Abstract Algebra/Groups/Representations/Хеннан. Представленигрупп и прикладнатеоривероностей.djvu1.19 MB
Abstract Algebra/Groups/Representations/Barcelo H., Ram A. Combinatorial Representation Theory.pdf924.88 KB
Abstract Algebra/Groups/Representations/Finite Groups.pdf498.61 KB
Abstract Algebra/Groups/Representations/Fulton W., Harris J. Representation theory. A first course .djvu10.15 MB
Abstract Algebra/Groups/Representations/Fulton. Young tableau, representation theory and geometry (.djvu2.29 MB
Abstract Algebra/Groups/Representations/Goldschmidt D.M. Group Characters, Symmetric Functions, and.djvu1.73 MB
Abstract Algebra/Groups/Representations/Kostrikin A.I. Vvedenie v algebru. Chast' 3. Osnovnye struk.djvu2.16 MB
Abstract Algebra/Modules/Пирс. Ассоциативные алгебры.pdf24.37 MB
Abstract Algebra/Modules/Anderson F.W., Fuller K.R. Rings and categories of modules.djvu4.88 MB
Abstract Algebra/Modules/Lam T.Y. A First Course in Noncommutative Rings.djvu5.31 MB
Categorical Logic/Awoday, Bauer. Introduction to Categorical Logic 1.pdf462.92 KB
Categorical Logic/Awoday, Bauer. Introduction to Categorical Logic 2.pdf464 KB
Categorical Logic/Awoday, Bauer. Introduction to Categorical Logic 3.pdf429.96 KB
Categorical Logic/Bell J.L. Development of Categorical Logic.pdf716.48 KB
Categorical Logic/CAM/Вольфенгаген. Аппликативные вычислениpdf552.32 KB
Categorical Logic/CAM/Вольфенгаген. Аппликативный комптютинг.pdf370.98 KB
Categorical Logic/CAM/Вольфенгаген. Категориальнаабстрактнамашина.pdf458.37 KB
Categorical Logic/CAM/Вольфенгаген. Комбинаторналогика в программировании.pdf1.95 MB
Categorical Logic/CAM/Hakjoo Oh. The CAM.pdf152.67 KB
Categorical Logic/CAM/Hinze. CAM Basic and Enhancements.pdf386.81 KB
Categorical Logic/CAM/Wolfengagen V.E. Combinatory Logic in Programming.djvu697.4 KB
Categorical Logic/CAM/Wolfengagen. Frame Theory and Computations.pdf1.22 MB
Categorical Logic/Gambino N. Presheaf Models for Constructive Set Theories.pdf203.02 KB
Categorical Logic/Gambino N., Hyland M. Wellfounded Trees and Dependent Polynomial Functors.pdf218.91 KB
Categorical Logic/Huet G., Saibi A. Constructive Category Theory.pdf230.53 KB
Categorical Logic/Jacobs B. Categorical Logic and Type Theory.pdf31.45 MB
Categorical Logic/Jay C.B. Functorial Lambda-Calculus.pdf337.81 KB
Categorical Logic/Jay C.B. Functorial ML.pdf502.51 KB
Categorical Logic/Lambek J., Scott P.J. Introduction to Higher Order Categorical Logic.pdf32.66 MB
Categorical Logic/Lawvere F.W. Metric Spaces, Generalized Logic and Closed Categories.pdf2.77 MB
Categorical Logic/Moerdjik I., Palmgren E. Type Theories, Toposes and Constructive Set Theory. Predecative Aspect of AST.pdf382.57 KB
Categorical Logic/Moggi E. Notions of computation and monads.pdf269.38 KB
Categorical Logic/Palmgren E. Locally Cartesian Closed Categories without chosen Constructions.pdf312.74 KB
Categorical Logic/Pitts A.M. Categorical Logic.pdf698.19 KB
Categorical Logic/Ranalter K. Two-sequent K and simple fibrations.pdf180.9 KB
Categorical Logic/Rydeheard, Burstall. Computational Category Theory.pdf920.9 KB
Categorical Logic/Toposes/Голдблатт. Топосы, категорийный анализ логики.djvu5.72 MB
Categorical Logic/Toposes/Джонстон. ТеориТопосов.djvu4.08 MB
Categorical Logic/Toposes/Awoday S. Logic in Topoi. Functorial Semantics for Higher-Order Logic.pdf832.19 KB
Categorical Logic/Toposes/Barr, Wells. Category Theory for Computing Science.pdf533.48 KB
Categorical Logic/Toposes/Berg B. Non-well-founded trees in categories.pdf284.61 KB
Categorical Logic/Toposes/Berg B. Predicative topos theory and models for constructive set theory.pdf797.19 KB
Categorical Logic/Toposes/Berg B. Sheaves for predicative toposes.pdf208.31 KB
Categorical Logic/Toposes/Blass A. Topoi and Computation.pdf125.18 KB
Categorical Logic/Toposes/Caramello O. Atomic Toposes and countable categoricity.pdf214.18 KB
Categorical Logic/Toposes/Goldblatt R. A Kripke-Joyal Semantics for Noncommutative Logic in Quantales.pdf204.14 KB
Categorical Logic/Toposes/Johnstone P.T. Sketches of an Elephant A Topos Theory Compendium.djvu8.79 MB
Categorical Logic/Toposes/Johnstone P.T. Topos Theory.djvu22.36 MB
Categorical Logic/Toposes/Lambek J., Scott P.J. Algebraic Aspects of Topos Theory.djvu394.75 KB
Categorical Logic/Toposes/Malcom G. Observational Truth as Categorical Modality.pdf183.37 KB
Categorical Logic/Toposes/Oosten. The Modified Realizability Topos.pdf274.91 KB
Categorical Logic/Toposes/Pitts A.M. On product and change of base for toposes.pdf1.07 MB
Categorical Logic/Toposes/Power J. 2-Categories.pdf109.16 KB
Categorical Logic/Toposes/Saunders Mac Lane. Sheaves in Geometry and Logic.djvu4.61 MB
Categorical Logic/Toposes/Seely R.A.G. Polymorphic Linear Logic and Topos Models.pdf185.84 KB
Categorical Logic/Toposes/Streicher T. Fibred Categories.pdf527.9 KB
Categorical Logic/Toposes/Streicher T. Universes in Toposes.pdf270.31 KB
Categorical Logic/Toposes/Vickers S. Locales and Toposes as Spaces.pdf516.29 KB
Categorical Logic/Type Theory/Altenkirch T. Imredicative Representations of Categorical Datatypes.pdf354.54 KB
Categorical Logic/Type Theory/Asperti A., Longo G. Categories Types and Structures.pdf1.6 MB
Categorical Logic/Type Theory/Butz C. Bernays-Godel Type-Theory.pdf307.62 KB
Categorical Logic/Type Theory/Cattani G.L., Winskel G. Presheaf Models for Concurrency.pdf287.91 KB
Categorical Logic/Type Theory/Erwig M. Random Access to Abstract Data Types.pdf271.78 KB
Categorical Logic/Type Theory/Goubault-Larrecq J., Lasota S., Nowak D. Logical Relations for Monadic Types.pdf946.71 KB
Categorical Logic/Type Theory/Hagino T. A Categorical Programming Language.pdf530.38 KB
Categorical Logic/Type Theory/Hagino T. A Typed Lambda Calculus with Categorical Type Constructors.pdf121.81 KB
Categorical Logic/Type Theory/Kock J. Notes on Polynomial Functors.pdf1.32 MB
Categorical Logic/Type Theory/Michelbrink M. Interfaces as Functors, Programs as Coalgebras - a Final Coalgebra Theorem in Intensional Type Theory.pdf272.22 KB
Categorical Logic/Type Theory/Nogueira P. When Abstract Data Type a functor.pdf84.91 KB
Categorical Logic/Type Theory/Santocanale L. Logical Contruction of Final Coalgebras.pdf316.12 KB
Categorical Logic/Type Theory/Seely R.A.G. Locally cartesian closed categories and type theory.pdf5.5 MB
Categorical Logic/Type Theory/Vene V. Categorical Programming with Inductive and Coinductive Types.pdf423.72 KB
Categorical Logic/Type Theory/Vene V. Coding Recursion a la Mendler.pdf242.43 KB
Categorical Logic/Type Theory/Vene V. Comonadic Iteration.pdf333.35 KB
Categorical Logic/Type Theory/Vene V. Recursive Coalgebras from Comonads.pdf243.56 KB
Category Theory/Маклейн. Категории длработающего математика.djvu2.73 MB
Category Theory/М.Ш. Цаленко, Е.Г. Шульгейфер. Основы теории категорий.djvu2.09 MB
Category Theory/ТеориКатегорий. Слайды.pdf149.11 KB
Category Theory/Adamek, Herrlich, Strecker. The Joy of Cats.pdf4.13 MB
Category Theory/Barr, Wells. Category Theory.pdf1.18 MB
Category Theory/Barr, Wells. Toposes, Triples and Theories.pdf1.27 MB
Category Theory/Barr. Models of sketches.pdf1.14 MB
Category Theory/Category_Theory-Awodey.pdf3.91 MB
Category Theory/Fokkinga. Gentle introduction to category theory.pdf386.58 KB

Trackers

No trackers found.