Бібліотека Групоїд Інфініті

1. Прикладна математика
2. Філософія
3. Логіка та Витоки інтуіціонізму
4. Теоретична інформатика
5. Чиста математика
6. Формальна Філософія

Прикладна математика

Алгебра

Image Artin. Algebra. 2010

Image Серр. Когомологии Галуа. 1964

Image Artin. Algebra. 1991

Image Artin. Galois Theory. 1964

Image Serre. Topics in Galois Theory. 1992

Аналіз

Image Abbott. Understanding Analysis. 2000

Image Spivak. Calculus. 1967

Ланцюжкові дроби

Image Brezinski. History of Continued Fractions and Pade Approximantns. 1991

Image Wall. Analytic Theory of Continued Fractions. 1948

Диференціальні рівняння

Image Chorin, Marsden. A Mathematical Introduction to Fluid Mechanics. 1992

Image Taylor. Partial Differential Equations 1. Basic Theory. 1996

Image Taylor. Partial Differential Equations 2. Qualitative Studies on Linear Equations

Символьні обчислення

Image Bronstein. Symbolic Integration 1. Transcendental Functions. 2005

Image Quadrat, Zerz. Algebraic and Symbolic Computation Methods. 2020

Топологія

Image Naber. Topology Geometry and Gauge Fields. Foundations. 2010

Image Naber. Topology Geometry and Gauge Fields. Interactions. 2010

Прикладна математика

Image Holmes. Introduction to the Foundations of Applied Mathemathics. 2009

Філософія

Арістотель

Image 1. Метафизика, О душе

Image 2. Органон

Image 3. Физика, О небе, О возникновении, Метеорологика

Image 4. Этика, Политика, Поэтика

Пуанкаре

Image Пуанкаре. О науке. 1983

Логіка та Витоки інтуіціонізму

Чорч

Image Church. 1940

Фреге

Image Frege. Begriffsschrift. 1879

Гейтінг

Image Heyting. Intuitionism. 1971

Image Heyting. Intuitionism. An introduction. 1956

Гільберт

Image Hilbert, Ackermann. Principles of Mathematical Logic. 1950

Image Гильберт, Аккерман. Основы теоретической логики. 1947

Image Гильберт, Бернайс. Основания математики. Том 1. 1979

Image Гильберт, Бернайс. Основания математики. Том 2. 1982

Кліні

Image Клини. Основания интуиционистской математики, рекурсивные функции. 1978

Image Клини. Введение в метаматематику. 1957

Image Клини. Математическая логика. 1973

Рассел

Image Russell. Inroduction to Mathematical Philosophy. 1920

Image Рассел. Основания Математики. Том 1. 1935

Image Рассел. Основания Математики. Том 2. 1935

Image Рассел. Основания Математики. Том 3. 1935

Тарський

Image Tarski. Introduction to logic and to the methodology of the deductive sciences

Image Tarski. Undecidable theories. 1971

Теоретична інформатика

Логіка

Image Girard, Lafont, Regnier. Advances in Linear Logic. 1995

Image Jacobs. Categorical Logic and Type Theory. 1999

Image Makkai. Fibrational formulation of intuitionistic predicate logic 1, part 1. 1993

Image Makkai. Fibrational formulation of intuitionistic predicate logic 1, part 2. 1993

Image Girard. The Blind Spot. Lectures on logic. 2011

Image Hermida, Jacobs. Structural Induction and Coinduction in a Fibrational Setting

Image Hofmann. Extensional Concepts in Intensional Type Theory. 1995

Image Klev. Eta-Rules in MLTT. 2019

Image Makkai, Reyes. First Order Categorical Logic. 1977

Image Vandalen. Logic and Structure. 1994

Image Черч. Введение в математическую логику. 1956

Теорія залежних типів

Image Laouar. A presheaf model of dependent type theory. 2017

Image Palmgren. On Universes in Type Theory. 1998

Image Coquand. Preshead model of Type Theory. 2017

Image Buisse, Dybjer. The Interpretation of Intuitionistic Type Theory. 2008

Image Martin-Lof. Intuitionistic Type Theory. 1980

Image Meijer. Henk. A Typed Intermediate Language. 1997

Image Hofmann. Conservativity of Equality Reflection over Intensional Type Theory. 1996

Image Nishiwaki, Asai. Logic of computational semi-effects. 2020

Чиста математика

Теорія категорій

Image Caprioti. Type Theory through Comprehension Categories. 2013

Image Mac Lane. Categories for the Working Mathematician. 1969

Image Riehl, Verity. Elements of ∞-Category Theory. 2022

Теорія гомотопій

Image Jardine. Simplicial Homotopy Theory. 1999

Image Quillen. Homotopical Algebra. 1967

Image Jardine. Local Homotopy Theory. 2015

Image Voevodsky, Awodey et all. Homotopy Type Theory. 2013

Image Warren. Homotopy Theoretic Aspects of Constructive. 2008

Теорія топосів

Image Johnstone. Sketches of an Elephant. A Topos Theory Compendium. 2002

Image Moerdijk. Classifying Spaces and Classifying Topoi. 1995

Алгебраїчна топологія

Image Mac Lane. Homology. 1975

Image Масси. Теория гомологий и комогологий. 1981

Image Уайли С. Теория гомологий. Введение в алгебраическую топологию. 1966

Image Alper. Guide to Stacks Literature. 2009

Image Anton Geraschenko. Stacks. 2007

Image Grothendieck. Sur quelques points d'algebre homologique. 1957

Image Kato. The Heart of Cohomology. 2006

Image Картан, Эйленберг. Гомологическая алгебра. 1960

Image Сartan, Eilenberg. Homological Algebra. 1956

Гротендік

Image Grothendieck Topoi

Image Grothendieck. On the de Rham cohomology of algebraic varieties. 1966

Image Grothiendieck. EGA 1 , EGA 2

Image Grothiendieck. EGA 3.1 , EGA 3.2

Image Grothiendieck. EGA 4.1 , EGA 4.2 , EGA 4.3 , EGA 4.4

Image Grothiendieck. EGA 5

Image Grothiendieck. FGA

Image Grothiendieck. SGA 1 , SGA 2

Image Grothiendieck. SGA 4.1 , SGA 4.2 , SGA 4.3 , SGA 4.5

Image Grothiendieck. SGA 5

Image Гротендик. О некоторых вопросах гомологической алгебры. 1957

Формальна Філософія

Барендрехт

Image Barendregt. Axiomatizing consciousness

Image Barendregt. Gems of Corrado Böhm

Image Barendregt. The Two Arrows of Pain

Като

Image Kato. A Sheaf Theoretic Approach to Consciousness

Image Kato. Category Theory and Consciousness

Image Kato. Category Theory as the Language of Consciousness

Image Kato. Double-Slit Interference and Temporal Topos

Image Kato. Elemental principles of t-topos

Image Kato. Microcosm to Macrocosm Via the Notion of a Sheaf

Image Kato. On the Notion of Precohomology

Image Kato. Presheafification of Matter, Space, and Time

Image Kato. Sheaf Cohomology and Geometrical Approach to EPR Non-locality

Image Kato. Sheaf Cohomology of Conscious Entity

Image Kato. Sheaf Theoretic Formulation of Entanglement

Image Kato. Temporal Topos and U-Singularities

Image Kato. Toward a descent theoretic formulation for organization and emergence

Image Kato. Urcohomologies and Cohomologies of N-Complexes

Image Kato. u-Singularity and t-Topos Theoretic Entropy

Image Kato. A p-Adic Cohomological Method for the Weierstrass Family and Its Zetas