id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
ejpam-1535	Hollings, Christopher	The Ehresmann-Schein-Nambooripad Theorem and its Successors	2012	37	.pdf	application/pdf	17694	1043	73	Similarly, f ⊗ e = f ∧ e = e ∧ f , hence idempotents in Co commute with respect to ⊗. We show that eRCo is a left congruence. If e ≤ f , then, since e = d(e) = r(e), we have e| f = d(e)| f = e = f |r(e)	cache/ejpam-1535.pdf	txt/ejpam-1535.txt