Maths - Category Theory - Initial Object

An initial object has a unique morphism to every other object in the category.

Strict Initial Object

A strict initial object has no morphisms into it (apart from its own identity).

In type theory this could be related to the empty type and way to represent 'false'.

An example of a strict initial object is the empty set.

Examples in Various Categories

  Initial Object
  initial arrow category
Notation 0
generalisation a kind of colimit
universal cone over diagram  
examples: set:

Ø = {}

empty set

group (null object) trivial group (just identity element)
topological space empty space
poset least element (if exists)
monoid trivial monoid
semigroup empty semigroup
Rng ring of integers Z
fields does not have initial object
Vec zero object
Top empty space
Grf the null graph (without vertices and edges)
algebra with signature Ω
initial (term) algebra whose carrier consists of all finite trees.
Cat empty category



metadata block
see also:

Correspondence about this page

Book Shop - Further reading.

Where I can, I have put links to Amazon for books that are relevant to the subject, click on the appropriate country flag to get more details of the book or to buy it from them.


Terminology and Notation

Specific to this page here:


This site may have errors. Don't use for critical systems.

Copyright (c) 1998-2022 Martin John Baker - All rights reserved - privacy policy.