Definition 3.4. Let be an -operad.
- (1)
For , we say that is a -operad if is a -category.
- (2)
We say that is a -operad if is a skeletal -category and is faithful.
- (3)
We say that is a -operad if either or is an isomorphism.
Definition 3.4. Let be an -operad.
For , we say that is a -operad if is a -category.
We say that is a -operad if is a skeletal -category and is faithful.
We say that is a -operad if either or is an isomorphism.
Original source: arXiv:1902.04061v1
Original source ยท 1902.04061v1