Syntax definition ctophom

Description: Syntax for the set of topological morphisms.

	Ref	Expression
Assertion	ctophom	class Top⟶