# Pseudo-functor

In mathematics, a **pseudofunctor** *f* is a mapping between categories that is just like a functor except that and do not hold as exact equalities but only up to *coherent isomorphisms*.

The Grothendieck construction associates to a pseudofunctor a fibered category.

## See also

- Lax functor
- Prestack (an example of pseudofunctor)
- Fibered category

## References

This article is issued from
Wikipedia.
The text is licensed under Creative
Commons - Attribution - Sharealike.
Additional terms may apply for the media files.