Esercizio 1. Dimostrare che ogni gruppoide G è isomorfo al suo duale G op .
Esercizio 2. Consideriamo il seguente diagramma di categorie e funtori: F1 F2 ) * Ci Di E, G1 G2
in cui F1 è aggiunto sinistro di G1 e F2 è aggiunto sinistro di G2 . Mostrare che F2 ◦F1 è aggiunto
sinistro di G1 ◦ G2 . Esercizio 3. Sia C una categoria qualsiasi. Stabilire se il funtore ∆ : C → C × C, detto “funtore diagonale”, che manda un oggetto C in (C, C) ed una freccia f : C → C 0 in (f, f ), ammette un aggiunto sinistro o un aggiunto destro. Esercizio 4. Siano F : C → D un funtore fedele e f : C → C 0 un morfismo di C. Mostrare che, se F (f ) è un monomorfismo, allora anche f lo è. Qual è l’analoga proprietà per gli epimorfismi? Esercizio 5. Sia e : A → B un morfismo, in una categoria C qualsiasi, che sia contemporanea- mente un equalizzatore e un epimorfismo. Dimostrare che e è un isomorfismo. Esercizio 6. Si consideri il seguente diagramma commutativo in una categoria C qualsiasi: f0 g0 A0 / B0 / C0 γ β α
A / B / C. f g
(1) Dimostrare che, se entrambi i quadrati sono pullback, allora il rettangolo esterno è un pullback. (2) Dimostrare che, se il quadrato di destra e il rettangolo esterno sono pullback, allora il quadrato di sinistra è un pullback. (3) È vero che, se il quadrato di sinistra e il rettangolo esterno sono pullback, allora il quadrato di destra è un pullback?
