Category Cat

1. Definition

The category of small categories, \(\mathrm{Cat}\) contains

  1. small categories as objects
  2. functors as morphisms

Date: nil

Author: Anton Zakrewski

Created: 2024-10-11 Fr 22:06