functor preserving finite products

1. Definition

Let C,D be categories and F:CD a functor. Then F is said to be preserving finite products, if

F(iIAi)=iI(F(Ai))

Date: nil

Author: Anton Zakrewski

Created: 2024-10-14 Mo 00:03