# nLab coinductive type

foundations

## Foundational axioms

foundational axiom

# Contents

## Idea

The notion of coinductive types is dual to that of inductive types.

## Properties

### Categorical semantics

Where the categorical semantics of an inductive type is an initial algebra for an endofunctor, the semantics of a coinductive type is a terminal coalgebra of an endofunctor.

Created on October 4, 2012 23:54:26 by Urs Schreiber (82.169.65.155)