Twisted Cubes and their Applications in Type Theory

QR Code

Twisted Cubes and their Applications in Type Theory

This thesis captures the ongoing development of twisted cubes, which is a modification of cubes (in a topological sense) where its homotopy type theory does not require paths or higher paths to be invertible. My original motivation to develop the twisted cubes was to resolve the incompatibility betw...

Full description

Bibliographic Details
Main Author:	Pinyo, Gun
Format:	Thesis (University of Nottingham only)
Language:	English
Published:	2023
Subjects:	twisted cubes topology homotopy theory
Online Access:	https://eprints.nottingham.ac.uk/73620/

Similar Items

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

Truncation levels in homotopy type theory
by: Kraus, Nicolai
Published: (2015)

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

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

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

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

Experimental benchmarking of Unstructured Transmission Line Modelling (UTLM) method in modelling twisted wires
by: Meng, Xuesong, et al.
Published: (2016)

Noncommutative principal bundles through twist deformation
by: Aschieri, Paolo, et al.
Published: (2016)

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

Topological state sum models in four dimensions, half-twists and their applications
by: Bärenz, Manuel
Published: (2017)

Array-Aided Precise Orbit and Attitude Determination of CubeSats using GNSS
by: Allahvirdizadeh, Amir, et al.
Published: (2024)

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

Effect of rotating twisted tape on thermo-hydraulic performances of nanofluids in heat-exchanger systems
by: Qi, Cong, et al.
Published: (2018)

Precise Orbit Determination of CubeSasts Using a Proposed Observations Weight Model
by: Allahvirdizadeh, Amir, et al.
Published: (2021)

An investigation of metastatic markers in models of paediatric medulloblastoma
by: Nasir, Aishah
Published: (2017)

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

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

uCube: control platform for power electronics
by: Galassini, Alessandro, et al.
Published: (2017)

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

Phase centre variation of the GNSS antenna onboard the CubeSats and its impact on precise orbit determination
by: Allahvirdizadeh, Amir
Published: (2021)

A Sensitivity Study of POD Using Dual-Frequency GPS for CubeSats Data Limitation and Resources
by: Wang, Kan, et al.
Published: (2020)

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

Effects of Different Drying Methods on the Quality of Squid Cubes
by: Chen, H., et al.
Published: (2013)

Stability of CubeSat Clocks and Their Impacts on GNSS Radio Occultation
by: Allahvirdizadeh, Amir, et al.
Published: (2022)

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

Precise Orbit Determination of CubeSats Using Proposed Observations Weighting Model
by: Allahvirdizadeh, Amir, et al.
Published: (2022)

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

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

Some Topics in Topological Data Analysis
by: Di, Yang
Published: (2021)

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

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

The impact of precise inter-satellite ranges on relative precise orbit determination in a smart CubeSats constellation
by: Allahvirdizadeh, Amir, et al.
Published: (2022)

Designing three dimensional graphic objects using the polynomial of trigonometric curves with a shape parameter and the sweep surface head of project / Noor Khairiah Razali and Nursyazni Mohamad Sukri
by: Razali, Noor Khairiah, et al.
Published: (2012)

Rubber leaf blight disease detection using multispectral sensor in rural and urban area / Nur Adrianna Mat Ariffin
by: Mat Ariffin, Nur Adrianna
Published: (2020)

On the dynamic dilatation of a compressible Rivlin cube beyond its elastic limit
by: Soldatos, Konstantinos
Published: (2018)

Generalizations of ѵ-Lindelöf generalized topological spaces
by: Abuage, Mariam M.
Published: (2018)

Analysis of IEC 61850 for a Reliable Communication System between Substations
by: Yang, Xin, et al.
Published: (2013)

Interval-valued fuzzy soft topology and its applications in group decision-making problems
by: Altwer, Mabruka Ali Juma
Published: (2022)

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)

Generating topologies using edges and vertices in graphs and some applications
by: Abdu, Khalid Abdulkalek
Published: (2018)