The “classical” problem of relation lifting Generalisation for preorders, metric spaces, etc. The case of preorders Relation lifting on preorders, metric spaces, etc. Marta B´ılkov´a - Lifting theory - Document - PDFSEARCH.IO

First Page	Meta Content
	The “classical” problem of relation lifting Generalisation for preorders, metric spaces, etc. The case of preorders Relation lifting on preorders, metric spaces, etc. Marta B´ılkov´a Add to Reading List Document Date: 2011-10-11 04:08:27 Open Document File Size: 424,06 KB Share Result on Facebook Facility square Rel / / IndustryTerm proof systems / / Person Daniela Petri¸san / Alexander Kurz / / SocialTag Order theory Preorder Topological spaces Lifting theory Metric space Binary relation Operator Mathematics Mathematical analysis Structure

The “classical” problem of relation lifting Generalisation for preorders, metric spaces, etc. The case of preorders Relation lifting on preorders, metric spaces, etc. Marta B´ılkov´aAdd to Reading List