09/11/2018, 14:55
09/11/2018, 22:41
Michiko ha scritto:La categoria \(\mathbf{C}^{\rightarrow} \) ha per oggetti le frecce di \(\mathbf{C} \) e come frecce tra \(f\) e \(f' \) le coppie \(g=(g_1,g_2) \) tali che \(\displaystyle g_2\circ f=f'\circ g_1 \). Ho una domanda sui funtori di questa categoria: il testo si limita a dirmi che ne possiede due, e mi fa vedere \[\displaystyle \mathbf{C}\stackrel{\mathbf{dom}}{\longleftarrow}\mathbf{C^\rightarrow}\stackrel{\mathbf{cod}}{\longrightarrow}\mathbf{C}. \] La mia domanda: cosa sono di preciso questi due funtori?
Poi: una categoria slice - in italiano, cercando su Internet non trovo nulla
Le mie considerazioni: l'identità \(1_f \) di un oggetto \(f \) è data da \(1_X \); la composizione di due frecce \(g:f\to f'\), \(h:f'\to f''\) è data da \(h\circ g:X\to X''\) tale che \(f''\circ(h\circ g)=f \). E' giusto "bypassare" la freccia intermedia \(f'\)?
(Tra parentesi: vorrei imparare a disegnare i diagrammi con \(\TeX \), ma i metodi che ho trovato online non funzionano su questo forum (o almeno io non sono in grado di farli funzionare); qualcuno ha un link a una guida veloce con qualche esempio?).
So che un funtore manda oggetti in oggetti: gli oggetti della categoria slice sono le frecce di \(\mathbf{C} \) con un certo codominio, gli oggetti della categoria freccia sono tutte le frecce di \(\mathbf{C} \). Quindi il funtore non è "suriettivo" (si può parlare di suriettività di un funtore?)
Infine: è possibile definire il concetto duale di categoria slice, ovvero la categoria coslice \(C/\mathbf{C} \) con oggetti le frecce che partono da \(C\). Mi si chiede tale categoria possa essere definita in termini di \(\mathbf{C}/C \); siccome gli oggetti della categoria coslice sono l'inversione delle frecce che sono gli oggetti della categoria slice, ho pensato di poter definire \(C/\mathbf{C}=\mathbf{C}^{op}/C \). Ha senso?
10/11/2018, 18:06
11/11/2018, 11:53
Michiko ha scritto:Definito il funtore \(U: \mathbf{C}/C\to \mathbf{C} \) che si dimentica dell'oggetto $C$, mi si chiede di trovare un funtore \(F:\mathbf{C}/C\to\mathbf{C}^\rightarrow \) tale che \(\mathbf{dom}\circ F=U\).
11/11/2018, 13:54
Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000—
Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.
Powered by phpBB © phpBB Group - Privacy policy - Cookie privacy
phpBB Mobile / SEO by Artodia.