TName
semagrams.acsets.Petris$.TName$
Attributes
- Graph
- Supertypes
- Self type
- TName.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, possibly nested within other
parts.
Check whether this
has p
in the domain, possibly nested within other
parts.
Attributes
- Inherited from:
- Attr
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
Like Hom, this can have multiple domains; we interpret this mathematically as a separate attribute for each domain, but this makes it easier to write down.
Like Hom, this can have multiple domains; we interpret this mathematically as a separate attribute for each domain, but this makes it easier to write down.