# 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.

Revised on April 15, 2017 05:23:26 by Dexter Chua (223.19.89.160)