\(\int^c \hom(c,c)\)
\(\def\C{\mathcal{C}}\)Visto che in Italia è pieno di gente che sa queste cose, che facciano questo esercizio.
Se \(\C\) è una categoria piccola, calcolate il colimite del diagramma
\[
\coprod_{c \to c'} \hom_{\C}(c',c)\underset{t}{\overset{s}\rightrightarrows} \coprod_{c\in \C} \hom_{\C}(c,c)
\] ossia il coequalizzatore di \(s,t\), essendo \(s,t\) definite rispettivamente come
\[
\begin{align*}
s\left(u : c\to c',\left[ \begin{smallmatrix} c' \\\,\, \downarrow f \\ c \end{smallmatrix} \right]\right) = f\circ u\\
t\left(u : c \to c',\left[ \begin{smallmatrix} c' \\\,\, \downarrow f \\ c \end{smallmatrix} \right]\right) = u\circ f.
\end{align*}
\]
Se \(\C\) è una categoria piccola, calcolate il colimite del diagramma
\[
\coprod_{c \to c'} \hom_{\C}(c',c)\underset{t}{\overset{s}\rightrightarrows} \coprod_{c\in \C} \hom_{\C}(c,c)
\] ossia il coequalizzatore di \(s,t\), essendo \(s,t\) definite rispettivamente come
\[
\begin{align*}
s\left(u : c\to c',\left[ \begin{smallmatrix} c' \\\,\, \downarrow f \\ c \end{smallmatrix} \right]\right) = f\circ u\\
t\left(u : c \to c',\left[ \begin{smallmatrix} c' \\\,\, \downarrow f \\ c \end{smallmatrix} \right]\right) = u\circ f.
\end{align*}
\]
Risposte
Cosa ti spinge a postare in un modo che minimizza le possibilità di risposta?
Che cosa intendi con ciò? Non manca niente per rispondere.
\(\def\C{\mathcal{C}}\)Vabbè, ho capito, lo faccio io. 
Si tratta di determinare il quoziente di \(H=\coprod_{c\in\C}\hom_\C(c,c)\) (l'insieme degli endomorfismi di \(\C\)) per la minima relazione di equivalenza generata da $s,t$ (con ciò intendendo la relazione $(s[u,f], t[u,f]) \subseteq H \times H$: è abbastanza ovvio che questa non è simmetrica né transitiva, cosicché bisogna considerarne la chiusura rispetto a queste due proprietà).
Ciò che si ottiene è che l'insieme degli endomorfismi di \(\C\) va quozientato per la relazione di equivalenza che identifica \(u : c \to c\) e \(v : c'\to c'\) se e solo se esiste una tupla di oggetti e morfismi come segue:
dove \(x_{i-1}\leftrightarrow x_i\) significa "esiste una freccia in una delle due direzioni".
La congettura che si può fare a questo punto è che il colimite cercato sia l'insieme delle componenti connesse di \(\C^\to_e\), dove con \(\C^\to_e\) indico la sottocategoria piena della categoria delle frecce \(\C^\to = {\bf Cat}({\bf 2}, \C)\) i cui oggetti sono i soli endomorfismi di \(\C\).
Si tratta allora di dimostrare che \(\int^c \hom_\C(c,c)\) e \(\pi_0(\C^\to_e)\) hanno la stessa proprietà universale; del resto, il secondo è definito esattamente come il coequalizzatore
\[
\hom(\C^\to_e) \underset{t}{\overset{s}\rightrightarrows} \text{obj}(\C^\to_e) \to \pi_0(\C^\to_e)
\] ed è questione di controllare che
Si tratta di determinare il quoziente di \(H=\coprod_{c\in\C}\hom_\C(c,c)\) (l'insieme degli endomorfismi di \(\C\)) per la minima relazione di equivalenza generata da $s,t$ (con ciò intendendo la relazione $(s[u,f], t[u,f]) \subseteq H \times H$: è abbastanza ovvio che questa non è simmetrica né transitiva, cosicché bisogna considerarne la chiusura rispetto a queste due proprietà).
Ciò che si ottiene è che l'insieme degli endomorfismi di \(\C\) va quozientato per la relazione di equivalenza che identifica \(u : c \to c\) e \(v : c'\to c'\) se e solo se esiste una tupla di oggetti e morfismi come segue:
[tex]\xymatrix{
c \ar[d]_u\ar@{<->}[r]& x_1 \ar[d]_{f_1}\ar@{<->}[r]& x_2 \ar[d]_{f_2}\ar@{<->}[r]& \dots \ar@{<->}[r]& x_n\ar[d]_{f_n}\ar@{<->}[r] & c^\prime\ar[d]^v \\
c \ar@{<->}[r] & x_1\ar@{<->}[r] & x_2\ar@{<->}[r] & \dots\ar@{<->}[r] & x_n\ar@{<->}[r] & c^\prime
}[/tex]
c \ar[d]_u\ar@{<->}[r]& x_1 \ar[d]_{f_1}\ar@{<->}[r]& x_2 \ar[d]_{f_2}\ar@{<->}[r]& \dots \ar@{<->}[r]& x_n\ar[d]_{f_n}\ar@{<->}[r] & c^\prime\ar[d]^v \\
c \ar@{<->}[r] & x_1\ar@{<->}[r] & x_2\ar@{<->}[r] & \dots\ar@{<->}[r] & x_n\ar@{<->}[r] & c^\prime
}[/tex]
dove \(x_{i-1}\leftrightarrow x_i\) significa "esiste una freccia in una delle due direzioni".
La congettura che si può fare a questo punto è che il colimite cercato sia l'insieme delle componenti connesse di \(\C^\to_e\), dove con \(\C^\to_e\) indico la sottocategoria piena della categoria delle frecce \(\C^\to = {\bf Cat}({\bf 2}, \C)\) i cui oggetti sono i soli endomorfismi di \(\C\).
Si tratta allora di dimostrare che \(\int^c \hom_\C(c,c)\) e \(\pi_0(\C^\to_e)\) hanno la stessa proprietà universale; del resto, il secondo è definito esattamente come il coequalizzatore
\[
\hom(\C^\to_e) \underset{t}{\overset{s}\rightrightarrows} \text{obj}(\C^\to_e) \to \pi_0(\C^\to_e)
\] ed è questione di controllare che
[*:2y775phe] \(\hom(\C^\to_e) = \coprod_{c\to c'}\hom_\C(c,c)\);[/*:m:2y775phe]
[*:2y775phe] \(\text{obj}(\C^\to_e) = \coprod_{c\in\C}\hom_\C(c,c)\);[/*:m:2y775phe]
[*:2y775phe] Esiste una funzione \(p : \text{obj}(\C^\to_e) \to \int^c\hom_\C(c,c)\) che coequalizza \(s,t\);[/*:m:2y775phe]
[*:2y775phe] \(p\) è iniziale rispetto a questa proprietà.[/*:m:2y775phe][/list:u:2y775phe] Ciascuna di queste cose è facile. Ora, come corollario immediato, lo stesso ragionamento mostra che
\[
\int^c \hom_\C(Fc, Gc) \cong \pi_0\big((F\downarrow G)_e\big)
\] dove\((F\downarrow G)_e\) è la comma degli endomorfismi, cioè la sottocategoria piena di \((F\downarrow G)\) i cui unici oggetti sono endomorfismi di \(\C\).
"_fabricius_":Prova a richiederglielo, se non ti soddisfa la risposta.
Cosa ti spinge a postare in un modo che minimizza le possibilità di risposta?
L'esercizio non è facile ma il testo è chiaro imho
Siete la matematica che vuole bene 
La matematica che vuole bene è quella che non dà ordini di risolvere tale o tal'altro esercizio, e non esordisce con sterili polemiche, tanto più in una sezione non dedicata alle "sfide".
@ fabricius: Quella cui ti riferisci, al mio paese, si chiama “buona educazione”… Ma si vede che è un formalismo poco diffuso tra i falegnami di IKEA.
[xdom="gugo82"]P.S.: caulacau è stato bannato dal forum in quanto ennesimo clone dell’utente già bannato killing_buddha.[/xdom]
[xdom="gugo82"]P.S.: caulacau è stato bannato dal forum in quanto ennesimo clone dell’utente già bannato killing_buddha.[/xdom]
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo