nLab
outer horn

An outer horn is a horn Λ[n] i with i=0 or i=n.

Created on April 29, 2010 07:41:24 by Urs Schreiber (87.212.203.135)