6TEKA Category Theory, winter semester 2023/2024
HOMEWORKS
Homework 5
Is it possible that a functor between two categories is simultaneously covariant
and contravariant?
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: Tue Oct 7 2025 19:42:31 CEST