Copyright | Guillaume Sabbagh 2022 |
---|---|
License | GPL-3 |
Maintainer | guillaumesabbagh@protonmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
The Omega
linear order category is the category generated by the arrows 0 -> 1 -> 2 -> ... (See "Categories for the Working Mathematican" Saunders Mac Lane. p.12)
Synopsis
- type Omega = OrdinalCategory Natural
- omega :: Omega
- module Math.Categories.OrdinalCategory
Documentation
type Omega = OrdinalCategory Natural Source #
Omega
is an OrdinalCategory
on natural numbers.