About: Lax functor

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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
dbo:wikiPageID
  • 43088232 (xsd:integer)
dbo:wikiPageLength
  • 1393 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1065649147 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
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
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:knownFor of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:knownFor of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License