\(\int^c \hom(c,c)\)

Messaggioda caulacau » 04/08/2019, 23:07

\(\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*}
\]
Avatar utente
caulacau
Junior Member
Junior Member
 
Messaggio: 167 di 466
Iscritto il: 08/05/2019, 18:30

Re: \(\int^c \hom(c,c)\)

Messaggioda _fabricius_ » 10/08/2019, 14:47

Cosa ti spinge a postare in un modo che minimizza le possibilità di risposta?
Ingressum instruas, progressum dirigas, egressum compleas.
Avatar utente
_fabricius_
Junior Member
Junior Member
 
Messaggio: 179 di 382
Iscritto il: 01/04/2013, 19:02
Località: Bari

Re: \(\int^c \hom(c,c)\)

Messaggioda caulacau » 10/08/2019, 15:12

Che cosa intendi con ciò? Non manca niente per rispondere.
Avatar utente
caulacau
Junior Member
Junior Member
 
Messaggio: 176 di 466
Iscritto il: 08/05/2019, 18:30

Re: \(\int^c \hom(c,c)\)

Messaggioda caulacau » 11/08/2019, 08:23

\(\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:

\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
}

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
  • \(\hom(\C^\to_e) = \coprod_{c\to c'}\hom_\C(c,c)\);
  • \(\text{obj}(\C^\to_e) = \coprod_{c\in\C}\hom_\C(c,c)\);
  • Esiste una funzione \(p : \text{obj}(\C^\to_e) \to \int^c\hom_\C(c,c)\) che coequalizza \(s,t\);
  • \(p\) è iniziale rispetto a questa proprietà.
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\).
Avatar utente
caulacau
Junior Member
Junior Member
 
Messaggio: 179 di 466
Iscritto il: 08/05/2019, 18:30

Re: \(\int^c \hom(c,c)\)

Messaggioda Indrjo Dedej » 14/08/2019, 16:34

_fabricius_ ha scritto:Cosa ti spinge a postare in un modo che minimizza le possibilità di risposta?
Prova a richiederglielo, se non ti soddisfa la risposta.
Indrjo Dedej
Senior Member
Senior Member
 
Messaggio: 750 di 1649
Iscritto il: 31/05/2016, 19:58

Re: \(\int^c \hom(c,c)\)

Messaggioda Ancona » 14/08/2019, 18:54

L'esercizio non è facile ma il testo è chiaro imho
Ancona
Junior Member
Junior Member
 
Messaggio: 16 di 144
Iscritto il: 18/07/2019, 17:17

Re: \(\int^c \hom(c,c)\)

Messaggioda caulacau » 14/08/2019, 21:00

Siete la matematica che vuole bene :heart:
Avatar utente
caulacau
Junior Member
Junior Member
 
Messaggio: 191 di 466
Iscritto il: 08/05/2019, 18:30

Re: \(\int^c \hom(c,c)\)

Messaggioda _fabricius_ » 21/09/2019, 10:41

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".
Ingressum instruas, progressum dirigas, egressum compleas.
Avatar utente
_fabricius_
Junior Member
Junior Member
 
Messaggio: 183 di 382
Iscritto il: 01/04/2013, 19:02
Località: Bari

Re: \(\int^c \hom(c,c)\)

Messaggioda gugo82 » 21/09/2019, 18:10

@ 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.


Moderatore: gugo82

P.S.: caulacau è stato bannato dal forum in quanto ennesimo clone dell’utente già bannato killing_buddha.
Sono sempre stato, e mi ritengo ancora un dilettante. Cioè una persona che si diletta, che cerca sempre di provare piacere e di regalare il piacere agli altri, che scopre ogni volta quello che fa come se fosse la prima volta. (Freak Antoni)
Avatar utente
gugo82
Cannot live without
Cannot live without
 
Messaggio: 22380 di 44915
Iscritto il: 12/10/2007, 23:58
Località: Napoli


Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: Martino e 1 ospite