Nothing Special   »   [go: up one dir, main page]

nLab outer horn (changes)

Showing changes from revision #1 to #2: Added | Removed | Changed

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.