6TEKA Category Theory, winter semester 2023/2024

HOMEWORKS

Homework 8
Recall that a constant functor between two categories \(\mathbb C\) and \(\mathbb D\) is a functor sending each object of \(\mathbb C\) to a fixed object \(A\) in \(\mathbb D\), and each arrow in \(\mathbb C\), to \(1_A\). Describe all situations when a constant functor is isomorphism of categories.


Last modified: Wed Sep 30 2026 17:23:15 CEST