Truncation levels in homotopy type theory

QR Code

Truncation levels in homotopy type theory

Homotopy type theory (HoTT) is a branch of mathematics that combines and benefits from a variety of fields, most importantly homotopy theory, higher dimensional category theory, and, of course, type theory. We present several original results in homotopy type theory which are related to the truncati...

Full description

Bibliographic Details
Main Author:	Kraus, Nicolai
Format:	Thesis (University of Nottingham only)
Language:	English English
Published:	2015
Subjects:	homotopy type theory truncation levels
Online Access:	https://eprints.nottingham.ac.uk/28986/

Similar Items

Extending homotopy type theory with strict equality
by: Altenkirch, Thorsten, et al.
Published: (2016)

Constructions with non-recursive higher inductive types
by: Kraus, Nicolai
Published: (2016)

Notions of anonymous existence in Martin-Löf type theory
by: Kraus, Nicolai, et al.
Published: (2016)

Quotient types in type theory
by: Li, Nuo
Published: (2015)

Univalent higher categories via complete semi-segal types
by: Capriotti, Paolo, et al.
Published: (2018)

Type theory in a type theory with quotient inductive types
by: Kaposi, Ambrus
Published: (2017)

Partiality, revisited: the partiality monad as a quotient inductive-inductive type
by: Altenkirch, Thorsten, et al.
Published: (2017)

Towards a cubical type theory without an interval
by: Altenkirch, Thorsten, et al.
Published: (2017)

Type theory in type theory using quotient inductive types
by: Altenkirch, Thorsten, et al.
Published: (2016)

Higher inductive types, inductive families, and inductive-inductive types
by: von Raumer, Jakob
Published: (2020)

Homotopy Analysis And Legendre Multi-Wavelets Methods For Solving Integral Equations
by: Vahdati, Saeed
Published: (2009)

Modified homotopy perturbation method for integro-differential and hypersingular integral equations
by: Zulkarnain, Fatimah Samihah
Published: (2018)

Improved Convergence Rates for the Truncation Error in Gravimetric Geoid Determination
by: Evans, J., et al.
Published: (2000)

Twisted Cubes and their Applications in Type Theory
by: Pinyo, Gun
Published: (2023)

Types with extra structure: predicates, equations, composition
by: Hewer, Brandon
Published: (2024)

Free higher groups in homotopy type theory
by: Kraus, Nicolai, et al.
Published: (2018)

Homotopy colimits and global observables in Abelian gauge theory
by: Benini, Marco, et al.
Published: (2015)

Handling of Over-Dispersion of Count Data via Truncation using Poisson Regression Model
by: Saffari, S.E., et al.
Published: (2011)

Spectral homotopy analysis method and composite Chebyshev finite difference method for solving integro-differential equations
by: Atabakan, Zohreh Pashazadeh
Published: (2015)

A Meissl-modified Vanicek and Kleusberg kernel to reduce the truncation error in gravimetric geoid computations
by: Featherstone, Will, et al.
Published: (1998)

Linear homotopy solution of nonlinear systems of equations in geodesy
by: Palancz, B., et al.
Published: (2010)

Error estimations of Homotopy perturbation method for linear integral and integro-differential equations of the third kind
by: Eshkuvatov, Zainidin K., et al.
Published: (2016)

Higher linear algebraic quantum field theory
by: Bruinsma, Simen
Published: (2022)

Normalisation by evaluation for type theory, in type theory
by: Altenkirch, Thorsten, et al.
Published: (2017)

Agent-Based Logics in Dependent Type Theory
by: Baston, Colm
Published: (2025)

The effects of region-level institutions and firm-level competences on firm’s innovativeness: evidence from the ICT industry in China
by: Hou, Fangfang
Published: (2020)

Normalisation by evaluation for dependent types
by: Altenkirch, Thorsten, et al.
Published: (2016)

Modelling and Control of Liquid Level System
by: Yaacob, Marizan
Published: (2001)

Homotopy extension property in homotopy theory for topological semigroups.
by: Kilicman, Adem, et al.
Published: (2012)

Classical and quantum parametric excitations of Bose-Einstein condensates
by: Finke, Andreas
Published: (2017)

Restorative justice - how can this technique be adopted from micro level use in pastoral areas of school life to being used on a whole school level in which all members of staff are participants
by: Needham, Gemma
Published: (2013)

Exploring the meaning of significance in experimental economics
by: Zhang, Lyla, et al.
Published: (2013)

Correction to Angus-Leppan, P.V. (1979) Refraction in levelling - its variation with ground slope and meteorological conditions
by: Filmer, Michael, et al.
Published: (2009)

Underpinnings of higher level motivational orientations
by: Skatova, Anna A.
Published: (2011)

Sea level: measuring the bounding surfaces of the ocean
by: Tamisiea, M.E., et al.
Published: (2014)

Health and doping in elite-level cycling
by: Lentillon-Kaestner, V., et al.
Published: (2012)

Learning of interval and general type-2 fuzzy logic systems using simulated annealing: theory and practice
by: Almaraashia, M., et al.
Published: (2016)

On Nie-Tan operator and type-reduction of interval type-2 fuzzy sets
by: Li, Jiawei, et al.
Published: (2018)

Chain Mapping Tools for Analysis and Improvement of Inter-Organisational Information Systems and Relationships
by: Storer, Christine, et al.
Published: (2006)

Relationships Between the School-Level and Classroom-Level Environment in Secondary Schools in South Africa
by: Aldridge, Jill, et al.
Published: (2011)