CatDat

universal morphism

This is the morphism !:01! : 0 \to 1 in the walking morphism II, see there for details.

Satisfied Properties

Assigned properties

Deduced properties

Unsatisfied Properties

Assigned properties

Deduced properties*

*This also uses the deduced satisfied properties.

Unknown properties

Undistinguishable morphisms

These morphisms in the database currently have exactly the same properties as the universal morphism. This indicates that the data may be incomplete or that a distinguishing property may be missing from the database.