Bonjour,
Un exercice me demande de trouver des diagrammes ou est une catégorie, la catégorie des catégories et de trouver une transformation naturelle telle que est une équivalence de catégories mais telle que la map induite colimcolim n'est pas une équivalence de catégories.
Un indice me dit d'essayer avec une catégorie simple comme et de m'inspirer de la topologie mais je ne vois pas du tout. Surtout que pour moi
Quelqu'un a une idée ?
Bonjour, pour l'indication "s'inspirer de la topologie", on peut regarder du côté des groupoïdes de Poincaré par exemple.
Pour la suite, je peux me tromper mais on peut prendre F comme étant :
et G :
où :
- est une catégorie discrète à deux objets ;
- une catégorie à deux objets où il existe un unique morphisme entre deux éléments distincts (autrement dit "")
- "" une catégorie discrète à un objet.
Tu peux chercher les pushouts des diagrammes et montrer qu'ils ne sont pas équivalents. Si je me suis trompé, j'espère que quelqu'un corrigera vite. Bonne journée.
Merci pour ta réponse.
Est-ce qu'un groupoïde G avec 2 éléments x,y, un nombre dénombrable de morphismes entre x et x, y et y respectivement (de sorte a obtenir des morphismes qui se comortent comme ) et un unique morphisme de entre x et y, y et x respectivement existe ?
Même question mais cette fois si en demandant que G(a,b)= pour a,b ?
Bonsoir, je passe en coup de vent sans être certain de ma réponse, peut-être qu'elle est fausse (tiens moi au courant). Pour ta première question, je vois bien un groupoïde où les deux objets sont . En les appelant on peut définir les endomorphismes des par et le morphisme de vers (et inversement) par 0 de sorte que la composition soit simplement l'addition.
On peut adapter la dernière définition des morphismes de Z1 -> Z2 pour avoir aussi Z je crois. Je le répète, je peux me tromper !
En fait j'ai du mal avec ta 1ere réponse, tu décris F et G comme étant des diagrammes.
Pourrais tu préciser quel est ton J ? Est ce qu'on a F et G des foncteurs partant de {0,1} ou est-ce qu'ils partent des pushouts, mais dans ce cas quelle est leur codomaine ?
J'ai pris et tout foncteur F de source J est entièrement déterminé par deux flèches possédant le même domaine (F est un diagramme !). Peut-être que c'est moins abstrait si on donne des noms aux objets et morphismes de J, par exemple
Dans ce cas, F est déterminé par qui peuvent se représenter sous la forme du diagramme J (c'est pas pour rien que F est appelé diagramme). Dans mon premier message et par rapport à ces notations, on a que F est donné par
et les flèches sont envoyées par F sur les foncteurs d'inclusion.
Ah oui d'accord je vais continuer de réfléchir dessus alors. Je renverrai un message au besoin, merci.
Je t'en prie, je travaille beaucoup les catégories en ce moment pour mes recherches mais je reste néophyte. Ton exercice est intéressant je trouve, ça m'intéresse vraiment de savoir si les pistes fonctionnent ou non. Si tu as une correction un jour, je suis aussi intéressé .
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :