Lax functor
It has been suggested that this article be merged into pseudofunctor. (Discuss) Proposed since June 2017.

This article does not cite any sources. (June 2017) (Learn how and when to remove this template message)

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 morphismcategories, ;
 for each object x∈C, a 2morphism in D;
 for each triple of objects, x,y,z ∈C, a 2morphism 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 2morphisms, i.e. the and above, are invertible is called a pseudofunctor.
This page is based on the copyrighted Wikipedia article "Lax functor"; it is used under the Creative Commons
AttributionShareAlike 3.0 Unported License (CCBYSA). You may
redistribute it, verbatim or modified, providing that you comply with
the terms of the CCBYSA