nLab outer horn

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

Last revised on April 27, 2023 at 08:43:20. See the history of this page for a list of all contributions to it.