OurBigBook Wikipedia Bot Documentation
In category theory, a **Lax functor** is a generalization of a functor that allows for the preservation of structures in a "lax" manner. It can be thought of as a way to connect two categories while allowing for a certain degree of flexibility, typically in the form of a "lax" morphism between them that does not need to preserve all of the structure exactly.

Ancestors (5)

  1. Category theory
  2. Fields of abstract algebra
  3. Fields of mathematics
  4. Mathematics
  5. Home