募捐 9月15日2024 – 10月1日2024 关于筹款

Truncation levels in homotopy type theory

Main
Mathematics - Mathematical Foundations
Truncation levels in homotopy type...

Truncation levels in homotopy type theory

Nicolai Kraus

0 / 0

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

种类:

Mathematics - Mathematical Foundations

年:

2015

出版:

version 2 Dec 2015

语言:

english

页:

210

ISBN 10:

157586181X

ISBN 13:

9781575861814

系列:

PhD thesis at University of Nottingham

文件:

PDF, 1.43 MB

IPFS:

,

english, 2015

线上阅读

正在转换

转换为失败

您可能会感兴趣

Heath P.R. — An introduction to homotopy theory via groupoids and universal constructions

Metzler W., Rosebrock S. (eds.) — Advances in two-dimensional homotopy and combinatorial group theory

John F. Jardine — Local Homotopy Theory

Andreas Nuyts — Towards a Directed Homotopy Type Theory based on 4 Kinds of Variance

Мария Невельсон — Аюрведа. Вкусный путь к здоровью

it-ebooks — Homotopy Type Theory Lecture Notes (CMU 15-819)

Hovey M. — Model categories

Jacob Lurie — Algebraic K-Theory and Manifold Topology

The Univalent Foundations Program — Homotopy Type Theory: Univalent Foundations of Mathematics

Jackson Macor — A brief introduction to type theory and the univalence axiom

J. P. May — Finite spaces and larger contexts

Emily Riehl — A model structure for quasi-categories

Egbert Rijke — Homotopy type theory

Rafael Villarroel-Flores — Equivariant Homotopy Type of Categories and Preordered Sets

Eva Belmont — Stable Homotopy and the J-Homomorphism [thesis]

Daniela Egas Santander — Quasi-categories and Complete Segal Spaces: Quillen equivalences [thesis]

Aczel Peter et al. — Homotopy Type Theory. Univalent Foundations of Mathematics

André Joyal, Myles Tierney — Notes on simplicial homotopy theory [lecture notes]

Mark Hovey — Model categories

Rong Zhou — Constructing the cotangent complex via homotopical algebra

Hatcher A.E. — Higher simple homotopy theory

— Journal of Pure and Applied Algebra №109 (1996)

— Journal of Pure and Applied Algebra №35 (1985)

— Journal of Pure and Applied Algebra №41 (1986)

— Journal of Pure and Applied Algebra №62 (1989)

— Journal of Pure and Applied Algebra №90 (1993)

Peter May — Simplicial objects in algebraic topology

Hyman Bass — Higher K-theories

Rudolf Fritsch, Renzo Piccinini — Cellular structures in topology

Jacob Lurie — Higher topos theory

Jacob Lurie — Higher topos theory

Mark Hovey — Model Categories (Mathematical Surveys and Monographs)

J. Peter May — Classifying Spaces and Fibrations (Memoirs : No 155)

International Conference on Algebraic Topology, Paul Gregory Goerss, Stewart Priddy (ed.) — Homotopy Theory: Relations With Algebraic Geometry, Group Cohomology, and Algebraic K-Theory : An International Conference on Algebraic Topology, March 24-28, 2002 Nor

Octav Cornea, Gregory Lupton, John Oprea, Daniel Tanré — Lusternik-Schnirelmann Category

Alexei Davydov, Michael Batanin, Michael Johnson, Stephen Lack, Amnon Neeman (ed.) — Categories in Algebra, Geometry and Mathematical Physics: Conference and Workshop in Honor of Ross Street's 60th Birthday July 11-16/July 18-21, 2005, ... Australian Natio

Mark Hovey — Model categories

Philip S. Hirschhorn — Model Categories and Their Localizations

Biedermann, Georg; Raptis, Georgios; Stelzer, Manfred — The realization space of an unstable coalgebra

关键词