Some constructions on ω-groupoids

QR Code

Some constructions on ω-groupoids

Weak ω-groupoids are the higher dimensional generalisation of setoids and are an essential ingredient of the construc- tive semantics of Homotopy Type Theory [10]. Following up on our previous formalisation [3] and Brunerie’s notes [5], we present a new formalisation of the syntax of weak ω- groupoi...

Full description

Bibliographic Details
Main Authors:	Altenkirch, Thorsten, Li, Nuo, Ondřej, Rypáček
Format:	Conference or Workshop Item
Published:	2014
Subjects:	Logic Programming Groupoids
Online Access:	https://eprints.nottingham.ac.uk/28381/

Similar Items

Distributive laws in programming structures
by: Rypacek, Ondrej
Published: (2010)

Reka bentuk dan implementasi suatu penghurai Bahasa Melayu menggunakan sistem logik selari
by: Ramli, Suzaimah
Published: (2002)

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

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

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

Quantum field theories on categories fibered in groupoids
by: Benini, Marco, et al.
Published: (2017)

Narrowing in on property-based testing
by: Fowler, Jonathan
Published: (2019)

A novel dual surface type-2 fuzzy logic controller for a micro robot
by: Birkin, Philip
Published: (2010)

Testing and debugging functional reactive programming
by: Perez, Ivan, et al.
Published: (2017)

Monads need not be endofunctors
by: Altenkirch, Thorsten, et al.
Published: (2015)

The stack of Yang-Mills fields on Lorentzian manifolds
by: Benini, Marco, et al.
Published: (2018)

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

Analysing fuzzy sets through combining measures of similarity and distance
by: McCulloch, Josie, et al.
Published: (2014)

A fuzzy directional distance measure
by: McCulloch, Josie, et al.
Published: (2014)

Dynamical fuzzy autocatalytic set of combustion process in circulating fluidized bed boiler using transition matrix / Hazwani Hashim
by: Hashim, Hazwani
Published: (2014)

The spiritual VS physical certainties (اليقين): inspirations from al-Ghazali`s intellectual heritage
by: Shogar, Ibrahim
Published: (2017)

Performance measurement under increasing environmental uncertainty in the context of interval type-2 fuzzy logic based robotic sailing
by: Benatar, Naisan, et al.
Published: (2013)

Extending similarity measures of interval type-2 fuzzy sets to general type-2 fuzzy sets
by: McCulloch, Josie, et al.
Published: (2013)

Measuring the directional distance between fuzzy sets
by: McCulloch, Josie, et al.
Published: (2013)

Fuzzy logic controller for roof sprinkler cooling system / Faizzudin Sahazudin , Nooraini Yusoff and Fadzilah Siraj
by: Yusoff, Nooraini, et al.
Published: (2018)

Developing touchscreen numeracy learning application for children with autism / Muhamad Fairus Kamaruzaman
by: Kamaruzaman, Muhamad Fairus
Published: (2018)

3D object recognition using affine moment invariants and multiple adaptive network based fuzzy inference system / Muhammad Khusairi Osman … [et al.]
by: Osman, Muhammad Khusairi
Published: (2009)

An investigation on devoutness Islamic prayer among female college students through biofeedback
by: Jing, Wang
Published: (2013)

盛唐山水诗中的自然生态观研究
by: Chuah, Wan Cheng, et al.
Published: (2016)

Parallel genetic algorithms for shortest path routing in high- performance computing / Mohd Erman Safawie Che Ibrahim
by: Che Ibrahim, Mohd Erman Safawie
Published: (2012)

Coalition announcements
by: Galimullin, Rustam
Published: (2019)

Characterization of ternary blends of vegetable oils with optimal ω-6/ω-3 fatty acid ratios
by: Nehdi, Imededdine Arbi, et al.
Published: (2019)

Representations of first order function types as terminal coalgebras
by: Altenkirch, Thorsten
Published: (2001)

Malay speech recognition to determine emotion using fuzzy logic / Siti Nazirah Abd Rahim
by: Abd Rahim, Siti Nazirah
Published: (2013)

A fuzzy logic model for students' scholarship selection / Nor Hashimah Sulaiman and Daud Mohamad
by: Sulaiman, Nor Hashimah, et al.
Published: (2006)

Efficient edge detection using fuzzy heuristic particle swarm optimization / Noor Elaiza Abdul Khalid, Mazani Manaf and Mohd Ezane Aziz
by: Abdul Khalid, Noor Elaiza, et al.
Published: (2009)

Exact formula for distribution of sequences {ωn}
by: Shahverdian, Ashot, et al.
Published: (2013)

Use and abuse of some SAS/STAT procedures in agricultural experiments
by: A. Halim, Ridzwan, et al.
Published: (1988)

CSC112 - PENGANTAR LOGIK DAN PENGABSTRAKAN - JUN 1994.
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (1994)

CSI501 - LOGIK DAN SISTEM PENTAABIRAN - OKTOBER 1988.
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (1988)

CAT102/CSC112 - Pengantar Logik dan Pengabstrakan Februari 1999
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (1999)

CPT104 - Pengantar Logik & Pengabstrakan - Mac 2005
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2005)

Biotransformation of ω fatty acids using pseudomonas aeruginosa
by: Omar, Muhammad Nor
Published: (2012)

A fuzzy approach to portfolio selection at bursa Malaysia / Wan Rosanisah Wan Mohd
by: Wan Mohd, Wan Rosanisah
Published: (2014)

Universiti Teknologi MARA application system using modified neuro-fuzzy approach / Nor Eleena Yusoff
by: Yusoff, Nor Eleena
Published: (2014)