- In mathematics, a
pseudofunctor F is a
mapping from a
category to the
category Cat of (small)
categories that is just like a
functor except that F ( f...
- y , z {\displaystyle P_{x,y,z}} above, are
invertible is
called a
pseudofunctor.
There is also a lax
version of a
natural transformation. Let C and...
- the
Yoneda lemma to 2-categories. Precisely,
given a
contravariant pseudofunctor F {\displaystyle F} on a
category C, it says: for each
object x {\displaystyle...
- is
important to
generalize the
construction to even a
contravariant pseudofunctor F {\displaystyle F} (the
covariant case is similar). Namely,
given F...
-
several approaches for
constructing the f ! {\displaystyle f^{!}}
pseudofunctor emerged. One
quite recent successful approach is
based on the notion...
-
Mathematics portal Anafunctor Profunctor Functor category Kan
extension Pseudofunctor Mac Lane,
Saunders (1971),
Categories for the
Working Mathematician...
- Weak n-categories
Bicategory (
pseudofunctor)
Tricategory Tetracategory Kan
complex ∞-groupoid ∞-topos
Strict n-categories 2-category (2-functor) 3-category...
- Weak n-categories
Bicategory (
pseudofunctor)
Tricategory Tetracategory Kan
complex ∞-groupoid ∞-topos
Strict n-categories 2-category (2-functor) 3-category...
- Weak n-categories
Bicategory (
pseudofunctor)
Tricategory Tetracategory Kan
complex ∞-groupoid ∞-topos
Strict n-categories 2-category (2-functor) 3-category...
- Weak n-categories
Bicategory (
pseudofunctor)
Tricategory Tetracategory Kan
complex ∞-groupoid ∞-topos
Strict n-categories 2-category (2-functor) 3-category...
