Definable Quotients in Type Theory Thorsten Altenkirch1 , Thomas Anberrée2 , and Nuo Li2 1 - Coequalizer - Document - PDFSEARCH.IO

First Page	Meta Content
	Definable Quotients in Type Theory Thorsten Altenkirch1 , Thomas Anberrée2 , and Nuo Li2 1 Add to Reading List Document Date: 2011-06-20 11:59:33 Open Document File Size: 527,71 KB Share Result on Facebook City Ningbo / Nottingham / / Company Let us / / Country United Kingdom / China / / Facility Ningbo Campus / Jubilee Campus / University of Nottingham / / IndustryTerm β-law lift-β / / Organization School of Computer Science / University of Nottingham / / SocialTag Field theory Elementary mathematics Group actions Coequalizer Epimorphism Structure Quotient space Quotient group Function Abstract algebra

Definable Quotients in Type Theory Thorsten Altenkirch1 , Thomas Anberrée2 , and Nuo Li2 1Add to Reading List