Structure

universal morphism

Notation !! Category walking morphism
This is the morphism !:0→1! : 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

—