IT
semagrams.acsets.Petris$.IT$
Attributes
- Graph
- Supertypes
- Self type
- IT.type
Members list
Concise view
Type members
Inherited types
The names of the product elements
The names of the product elements
Attributes
- Inherited from:
- Singleton
Attributes
- Inherited from:
- Singleton
The name of the type
The name of the type
Attributes
- Inherited from:
- Mirror
The mirrored *-type
The mirrored *-type
Attributes
- Inherited from:
- Singleton
Attributes
- Inherited from:
- Singleton
Value members
Inherited methods
Check whether this
has p
in the domain and q
in the codomain,
possibly nested within other parts.
Check whether this
has p
in the domain and q
in the codomain,
possibly nested within other parts.
Attributes
- Inherited from:
- Hom
Create a new instance of type T
with elements taken from product p
.
Create a new instance of type T
with elements taken from product p
.
Attributes
- Inherited from:
- Singleton
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product
Concrete fields
The possible codomains of this morphism
The possible codomains of this morphism