Lax functor (original) (raw)
In category theory, a discipline within mathematics, the notion of lax functor between bicategories generalizes that of functors between categories. Let C,D be bicategories. We denote composition in diagrammatic order. A lax functor P from C to D, denoted , consists of the following data: * for each object x in C, an object ; * for each pair of objects x,y ∈ C a functor on morphism-categories, ; * for each object x∈C, a 2-morphism in D; * for each triple of objects, x,y,z ∈C, a 2-morphism in D that is natural in f: x→y and g: y→z.
| Property | Value |
|---|---|
| dbo:abstract | In category theory, a discipline within mathematics, the notion of lax functor between bicategories generalizes that of functors between categories. Let C,D be bicategories. We denote composition in diagrammatic order. A lax functor P from C to D, denoted , consists of the following data: * for each object x in C, an object ; * for each pair of objects x,y ∈ C a functor on morphism-categories, ; * for each object x∈C, a 2-morphism in D; * for each triple of objects, x,y,z ∈C, a 2-morphism in D that is natural in f: x→y and g: y→z. These must satisfy three commutative diagrams, which record the interaction between left unity, right unity, and associativity between C and D. See http://ncatlab.org/nlab/show/pseudofunctor. A lax functor in which all of the structure 2-morphisms, i.e. the and above, are invertible is called a pseudofunctor. (en) |
| dbo:wikiPageExternalLink | http://ncatlab.org/nlab/show/composition http://ncatlab.org/nlab/show/pseudofunctor. |
| dbo:wikiPageID | 43088232 (xsd:integer) |
| dbo:wikiPageLength | 1393 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1065649147 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Functor dbc:Category_theory dbr:Bicategory dbr:Category_(mathematics) dbr:Category_theory dbr:Pseudofunctor |
| dbp:wikiPageUsesTemplate | dbt:Short_description dbt:Unreferenced |
| dct:subject | dbc:Category_theory |
| rdfs:comment | In category theory, a discipline within mathematics, the notion of lax functor between bicategories generalizes that of functors between categories. Let C,D be bicategories. We denote composition in diagrammatic order. A lax functor P from C to D, denoted , consists of the following data: * for each object x in C, an object ; * for each pair of objects x,y ∈ C a functor on morphism-categories, ; * for each object x∈C, a 2-morphism in D; * for each triple of objects, x,y,z ∈C, a 2-morphism in D that is natural in f: x→y and g: y→z. (en) |
| rdfs:label | Lax functor (en) |
| owl:sameAs | freebase:Lax functor wikidata:Lax functor https://global.dbpedia.org/id/mutG |
| prov:wasDerivedFrom | wikipedia-en:Lax_functor?oldid=1065649147&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Lax_functor |
| is dbo:knownFor of | dbr:Peter_Lax |
| is dbo:wikiPageRedirects of | dbr:Colax_map_of_monads dbr:Lax_map_of_monads |
| is dbo:wikiPageWikiLink of | dbr:Peter_Lax dbr:Pseudo-functor dbr:Glossary_of_category_theory dbr:2-functor dbr:Colax_map_of_monads dbr:Lax_map_of_monads |
| is dbp:knownFor of | dbr:Peter_Lax |
| is foaf:primaryTopic of | wikipedia-en:Lax_functor |