nLab
outer horn

An outer horn is a horn Λ[n] i\Lambda[n]_i with i=0i = 0 or i=ni = n.

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