Lax functor
id:
lax-functor-298-10890888
title:
Lax functor
text:
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 P : C → D , consists of the following data: for each object x in C, an object P x ∈ D ;
for each pair of objects x,y ∈ C a functor on morphism-categories, P x , y : C → D ;
for each object x∈C, a 2-morphism P id x : id P x → P x , x in D;
for e
brand slug:
wiki
category slug:
encyclopedia
description:
Generalization of functors
original url:
https://en.wikipedia.org/wiki/Lax_functor
date created:
date modified:
2022-01-14T16:41:17Z
main entity:
{"identifier":"Q18345526","url":"https://www.wikidata.org/entity/Q18345526"}
image:
fields total:
13
integrity:
14