Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Functor
gptkb:mathematical_concept |
| gptkbp:appearsIn |
Bicategory theory
Monoidal category theory |
| gptkbp:contrastsWith |
Colax functor
Strict functor |
| gptkbp:definedIn |
2-category
|
| gptkbp:field |
Category theory
|
| gptkbp:generalizes |
gptkb:Functor
|
| gptkbp:hasCoherenceData |
Natural transformation for composition
Natural transformation for identities |
| gptkbp:hasComponent |
2-morphism mapping
Morphism mapping Object mapping |
| gptkbp:hasProperty |
Preserves composition up to specified morphism
Preserves identities up to specified morphism |
| https://www.w3.org/2000/01/rdf-schema#label |
Lax functor
|
| gptkbp:relatedTo |
gptkb:Functor
2-category Natural transformation |
| gptkbp:usedIn |
gptkb:Higher_category_theory
|
| gptkbp:bfsParent |
gptkb:Functor
|
| gptkbp:bfsLayer |
5
|