Species

Content created by Victor Blanchi, Egbert Rijke and Fredrik Bakke.

Created on 2023-03-21.
Last modified on 2023-06-08.

Files in the species folder

module species where

open import species.cartesian-exponents-species-of-types public
open import species.cartesian-products-species-of-types public
open import species.cauchy-composition-species-of-types public
open import species.cauchy-composition-species-of-types-in-subuniverses public
open import species.cauchy-exponentials-species-of-types public
open import species.cauchy-exponentials-species-of-types-in-subuniverses public
open import species.cauchy-products-species-of-types public
open import species.cauchy-products-species-of-types-in-subuniverses public
open import species.cauchy-series-species-of-types public
open import species.cauchy-series-species-of-types-in-subuniverses public
open import species.composition-cauchy-series-species-of-types public
open import species.composition-cauchy-series-species-of-types-in-subuniverses public
open import species.coproducts-species-of-types public
open import species.coproducts-species-of-types-in-subuniverses public
open import species.cycle-index-series-species-of-types public
open import species.derivatives-species-of-types public
open import species.dirichlet-exponentials-species-of-types public
open import species.dirichlet-exponentials-species-of-types-in-subuniverses public
open import species.dirichlet-products-species-of-types public
open import species.dirichlet-products-species-of-types-in-subuniverses public
open import species.dirichlet-series-species-of-finite-inhabited-types public
open import species.dirichlet-series-species-of-types public
open import species.dirichlet-series-species-of-types-in-subuniverses public
open import species.equivalences-species-of-types public
open import species.equivalences-species-of-types-in-subuniverses public
open import species.exponentials-cauchy-series-of-types public
open import species.exponentials-cauchy-series-of-types-in-subuniverses public
open import species.hasse-weil-species public
open import species.morphisms-finite-species public
open import species.morphisms-species-of-types public
open import species.pointing-species-of-types public
open import species.precategory-of-finite-species public
open import species.products-cauchy-series-species-of-types public
open import species.products-cauchy-series-species-of-types-in-subuniverses public
open import species.products-dirichlet-series-species-of-finite-inhabited-types public
open import species.products-dirichlet-series-species-of-types public
open import species.products-dirichlet-series-species-of-types-in-subuniverses public
open import species.small-cauchy-composition-species-of-finite-inhabited-types public
open import species.small-cauchy-composition-species-of-types-in-subuniverses public
open import species.species-of-finite-inhabited-types public
open import species.species-of-finite-types public
open import species.species-of-inhabited-types public
open import species.species-of-types public
open import species.species-of-types-in-subuniverses public
open import species.unit-cauchy-composition-species-of-types public
open import species.unit-cauchy-composition-species-of-types-in-subuniverses public
open import species.unlabeled-structures-species public

Recent changes