Le 23 janvier 2024 à 14:35:05 :
Le 23 janvier 2024 à 14:33:48 :
Je suis en philosophie et j'ai des cours de mathématiquesTu as vu les coordonnées barycentriques ? La théorie de la mesure? Les variétés kahlerienes? Les ultrafiltres? Les p-sylow? Le théorème des fonctions implicites?
Non je suis juste en deuxième année. Je n'ai eu qu'un cours sur Frege, Russel, etc. Par contre en troisième, on a le niveau 2 et 3 de ce cours et un autre cours de logique
Le 23 janvier 2024 à 14:41:01 :
Le 23 janvier 2024 à 14:35:05 :
Le 23 janvier 2024 à 14:33:48 :
Je suis en philosophie et j'ai des cours de mathématiquesTu as vu les coordonnées barycentriques ? La théorie de la mesure? Les variétés kahlerienes? Les ultrafiltres? Les p-sylow? Le théorème des fonctions implicites?
Non je suis juste en deuxième année. Je n'ai eu qu'un cours sur Frege, Russel, etc. Par contre en troisième, on a le niveau 2 et 3 de ce cours et un autre cours de logique
Cours de 'logique' de philosophe "A => B === non(A) ou B"
Cours de logique catégorique basique de niveau M2 maths :
Un philosophe, ça reste un littéraire qui essaie de structurer sa pensée, mais la philosophie n'a rien d'une science
généralement les scientifiques s'intéressent plus à la philosophie et la littérature que les philosophes ne s'intéressent aux maths
il suffit de voir les épreuves des concours de prépas MP et BL
Le 23 janvier 2024 à 14:51:19 :
Le 23 janvier 2024 à 14:41:01 :
Le 23 janvier 2024 à 14:35:05 :
Le 23 janvier 2024 à 14:33:48 :
Je suis en philosophie et j'ai des cours de mathématiquesTu as vu les coordonnées barycentriques ? La théorie de la mesure? Les variétés kahlerienes? Les ultrafiltres? Les p-sylow? Le théorème des fonctions implicites?
Non je suis juste en deuxième année. Je n'ai eu qu'un cours sur Frege, Russel, etc. Par contre en troisième, on a le niveau 2 et 3 de ce cours et un autre cours de logique
Cours de 'logique' de philosophe "A => B === non(A) ou B"
https://image.noelshack.com/fichiers/2019/17/2/1556013235-idiot12.png Cours de logique catégorique basique de niveau M2 maths :
https://image.noelshack.com/fichiers/2024/04/2/1706017781-logique.jpg Un philosophe, ça reste un littéraire qui essaie de structurer sa pensée, mais la philosophie n'a rien d'une science
https://image.noelshack.com/fichiers/2016/34/1472411294-yeux2.png
Cash putain, mais j'ai jamais réussi à me mettre dans la logique. C'est un prérequis pour aborder doucement la théorie des catégories ?
Le 23 janvier 2024 à 14:54:32 :
Le 23 janvier 2024 à 14:51:19 :
Le 23 janvier 2024 à 14:41:01 :
Le 23 janvier 2024 à 14:35:05 :
Le 23 janvier 2024 à 14:33:48 :
Je suis en philosophie et j'ai des cours de mathématiquesTu as vu les coordonnées barycentriques ? La théorie de la mesure? Les variétés kahlerienes? Les ultrafiltres? Les p-sylow? Le théorème des fonctions implicites?
Non je suis juste en deuxième année. Je n'ai eu qu'un cours sur Frege, Russel, etc. Par contre en troisième, on a le niveau 2 et 3 de ce cours et un autre cours de logique
Cours de 'logique' de philosophe "A => B === non(A) ou B"
https://image.noelshack.com/fichiers/2019/17/2/1556013235-idiot12.png Cours de logique catégorique basique de niveau M2 maths :
https://image.noelshack.com/fichiers/2024/04/2/1706017781-logique.jpg Un philosophe, ça reste un littéraire qui essaie de structurer sa pensée, mais la philosophie n'a rien d'une science
https://image.noelshack.com/fichiers/2016/34/1472411294-yeux2.png Cash putain, mais j'ai jamais réussi à me mettre dans la logique. C'est un prérequis pour aborder doucement la théorie des catégories ?
Non c'est plutôt le contraire. Commence par l'algèbre (linéaire, symplectique, tensorielle, exterieure, non commutative). Et en parallèle la topologie (générale, les variétés, géométrie différentielle, espaces fibrés, connexions).
Ensuite tu pourras étudier les bases de théorie des catégories jusqu'à un certain point assez avancé pour servir de base dans presque tous les domaines.
Après cela, ça dépend de ce qui t'intéresse. Si tu aimes bien la topologie par exemple, tu peux étudier la théorie des préfaisceaux, faisceaux, et schémas
La theorie des catégories te sera aussi utile pour faire de la géométrie algébrique, cohomologie, topologie algébrique, etc.
Si t'es davantage intéressé par la logique catégorique, la théorie des catégories est évidemment un prérequis et tu pourras étudier les topos, la théorie des langages, preuves formelles, lambda calcul, etc
Le 23 janvier 2024 à 14:51:19 :
Le 23 janvier 2024 à 14:41:01 :
Le 23 janvier 2024 à 14:35:05 :
Le 23 janvier 2024 à 14:33:48 :
Je suis en philosophie et j'ai des cours de mathématiquesTu as vu les coordonnées barycentriques ? La théorie de la mesure? Les variétés kahlerienes? Les ultrafiltres? Les p-sylow? Le théorème des fonctions implicites?
Non je suis juste en deuxième année. Je n'ai eu qu'un cours sur Frege, Russel, etc. Par contre en troisième, on a le niveau 2 et 3 de ce cours et un autre cours de logique
Cours de 'logique' de philosophe "A => B === non(A) ou B"
https://image.noelshack.com/fichiers/2019/17/2/1556013235-idiot12.png Cours de logique catégorique basique de niveau M2 maths :
https://image.noelshack.com/fichiers/2024/04/2/1706017781-logique.jpg Un philosophe, ça reste un littéraire qui essaie de structurer sa pensée, mais la philosophie n'a rien d'une science
https://image.noelshack.com/fichiers/2016/34/1472411294-yeux2.png
Il faut bien commencer par le commencement, c'est pas pire que d'avoir des logiciens très bien formés sur la technique mais n'ayant aucun aperçu historique ou philosophique de leur domain, qui y est pourtant éminemment lié
Ce n'est pas un cours de logique catégorique "basique", il n'y a pas de cours de logique catégorique "basique", il a dû être donné deux ou trois ans et fini, et je ne suis pas en mesure de citer plus de deux facs dans le monde ayant des cours de logique catégorique
Le 23 janvier 2024 à 14:59:33 :
Le 23 janvier 2024 à 14:54:32 :
Le 23 janvier 2024 à 14:51:19 :
Le 23 janvier 2024 à 14:41:01 :
Le 23 janvier 2024 à 14:35:05 :
> Le 23 janvier 2024 à 14:33:48 :
>Je suis en philosophie et j'ai des cours de mathématiques
Tu as vu les coordonnées barycentriques ? La théorie de la mesure? Les variétés kahlerienes? Les ultrafiltres? Les p-sylow? Le théorème des fonctions implicites?
Non je suis juste en deuxième année. Je n'ai eu qu'un cours sur Frege, Russel, etc. Par contre en troisième, on a le niveau 2 et 3 de ce cours et un autre cours de logique
Cours de 'logique' de philosophe "A => B === non(A) ou B"
https://image.noelshack.com/fichiers/2019/17/2/1556013235-idiot12.png Cours de logique catégorique basique de niveau M2 maths :
https://image.noelshack.com/fichiers/2024/04/2/1706017781-logique.jpg Un philosophe, ça reste un littéraire qui essaie de structurer sa pensée, mais la philosophie n'a rien d'une science
https://image.noelshack.com/fichiers/2016/34/1472411294-yeux2.png Cash putain, mais j'ai jamais réussi à me mettre dans la logique. C'est un prérequis pour aborder doucement la théorie des catégories ?
Non c'est plutôt le contraire. Commence par l'algèbre (linéaire, symplectique, tensorielle, exterieure, non commutative). Et en parallèle la topologie (générales, les variétés, géométrie différentielle, espaces fibrés, connexions).
Ensuite tu pourras étudier les bases de théorie des catégories jusqu'à un certain point assez avancé.Après ça, ça dépend de ce qui t'intéresse. Si tu aimes bien la topologie par exemple, tu peux étudier la théorie des préfaisceaux, faisceaux, et schémas
La theorie des catégories te sera aussi utile pour faire de la géométrie algébrique, cohomologie, topologie algébrique, etc.Si t'es davantage intéressé par la logique catégorique, la théorie des catégories est évidemment un prérequis et tu pourras étudier les topos, la théorie des langages, preuves formelles, lambda calcul, etc
La théorie des catégories ne constitue pas une théorie fondamentale alternative à la théorie des ensembles ?
Ça veut dire quoi exactement ? Que la théorie des ensembles est obsolète ?
Ahi je suis un low
On m'a dit que y a des ulmites qui se sont cassés les dents à vouloir faire une thèse sur ce sujet
Le 23 janvier 2024 à 14:51:19 :
Le 23 janvier 2024 à 14:41:01 :
Le 23 janvier 2024 à 14:35:05 :
Le 23 janvier 2024 à 14:33:48 :
Je suis en philosophie et j'ai des cours de mathématiquesTu as vu les coordonnées barycentriques ? La théorie de la mesure? Les variétés kahlerienes? Les ultrafiltres? Les p-sylow? Le théorème des fonctions implicites?
Non je suis juste en deuxième année. Je n'ai eu qu'un cours sur Frege, Russel, etc. Par contre en troisième, on a le niveau 2 et 3 de ce cours et un autre cours de logique
Cours de 'logique' de philosophe "A => B === non(A) ou B"
https://image.noelshack.com/fichiers/2019/17/2/1556013235-idiot12.png Cours de logique catégorique basique de niveau M2 maths :
https://image.noelshack.com/fichiers/2024/04/2/1706017781-logique.jpg Un philosophe, ça reste un littéraire qui essaie de structurer sa pensée, mais la philosophie n'a rien d'une science
https://image.noelshack.com/fichiers/2016/34/1472411294-yeux2.png
C'est évident qu'en philosophie on ne voit que les bases. Les mathématiques c'est une spécialisation de l'arbre, une branche. Et la philosophie c'est l'arbre
C'est évident qu'en philosophie on ne voit que les bases. Les mathématiques c'est une spécialisation de l'arbre, une branche. Et la philosophie c'est l'arbre
Non, les maths sont les racines. La physique et la chimie sont le tronc de l'arbre. L'humanité est une branche. La littérature est une feuille qui pousse au bout de la branche de l'humanité. La philosophie en est une fleur ou une feuille et non un fruit qui finirait par tomber au sol et donner un autre arbre. Quant à la politique, c'est un parasite qui s'attaque à l'arbre pour essayer d'en prendre le contrôle quitte à le tuer.
Le 23 janvier 2024 à 15:02:13 :
Le 23 janvier 2024 à 14:59:33 :
Le 23 janvier 2024 à 14:54:32 :
Le 23 janvier 2024 à 14:51:19 :
Le 23 janvier 2024 à 14:41:01 :
> Le 23 janvier 2024 à 14:35:05 :
>> Le 23 janvier 2024 à 14:33:48 :
> >Je suis en philosophie et j'ai des cours de mathématiques
>
> Tu as vu les coordonnées barycentriques ? La théorie de la mesure? Les variétés kahlerienes? Les ultrafiltres? Les p-sylow? Le théorème des fonctions implicites?
Non je suis juste en deuxième année. Je n'ai eu qu'un cours sur Frege, Russel, etc. Par contre en troisième, on a le niveau 2 et 3 de ce cours et un autre cours de logique
Cours de 'logique' de philosophe "A => B === non(A) ou B"
https://image.noelshack.com/fichiers/2019/17/2/1556013235-idiot12.png Cours de logique catégorique basique de niveau M2 maths :
https://image.noelshack.com/fichiers/2024/04/2/1706017781-logique.jpg Un philosophe, ça reste un littéraire qui essaie de structurer sa pensée, mais la philosophie n'a rien d'une science
https://image.noelshack.com/fichiers/2016/34/1472411294-yeux2.png Cash putain, mais j'ai jamais réussi à me mettre dans la logique. C'est un prérequis pour aborder doucement la théorie des catégories ?
Non c'est plutôt le contraire. Commence par l'algèbre (linéaire, symplectique, tensorielle, exterieure, non commutative). Et en parallèle la topologie (générales, les variétés, géométrie différentielle, espaces fibrés, connexions).
Ensuite tu pourras étudier les bases de théorie des catégories jusqu'à un certain point assez avancé.Après ça, ça dépend de ce qui t'intéresse. Si tu aimes bien la topologie par exemple, tu peux étudier la théorie des préfaisceaux, faisceaux, et schémas
La theorie des catégories te sera aussi utile pour faire de la géométrie algébrique, cohomologie, topologie algébrique, etc.Si t'es davantage intéressé par la logique catégorique, la théorie des catégories est évidemment un prérequis et tu pourras étudier les topos, la théorie des langages, preuves formelles, lambda calcul, etc
La théorie des catégories ne constitue pas une théorie fondamentale alternative à la théorie des ensembles ?
https://image.noelshack.com/fichiers/2024/04/2/1706018512-screenshot-2024-01-23-15-01-35-223-com-brave-browser-edit.jpg
Ça veut dire quoi exactement ? Que la théorie des ensembles est obsolète ?Ahi je suis un low
On m'a dit que y a des ulmites qui se sont cassés les dents à vouloir faire une thèse sur ce sujet
La théorie des catégories n'est pour le moment pas concurrente à la théorie des ensembles pour les fondements, mais c'est un langage très transversal qui permet de voir beaucoup de phénomènes et concepts mathématiques d'un point de vue qui n'est pas explicite en théorie des ensembles. C'est une autre façon d'articuler la pensée, de voir les choses, on pense aux objets structurellement, c'est une étude "behavioriste" dit le mec dont l'autre khey a screené le poly : plutôt que d'ouvrir un objet et d'en regarder la matière constituante, on essaie de comprendre la place qu'il a dans un certain paysage, la façon dont il se comporte avec ses congénères
Le 23 janvier 2024 à 15:08:59 :
C'est évident qu'en philosophie on ne voit que les bases. Les mathématiques c'est une spécialisation de l'arbre, une branche. Et la philosophie c'est l'arbre
Non, les maths sont les racines. La physique et la chimie sont le tronc de l'arbre. L'humanité est une branche. La littérature est une feuille qui pousse au bout de la branche de l'humanité. La philosophie en est une fleur ou une feuille et non un fruit qui finirait par tomber au sol et donner un autre arbre. Quant à la politique, c'est un parasite qui s'attaque à l'arbre pour essayer d'en prendre le contrôle quitte à le tuer.
Tu as beaucoup d'imagination et tu as le sens de la métaphore. Tu ne serais pas écrivain ?
Le 23 janvier 2024 à 15:09:41 :
Le 23 janvier 2024 à 15:02:13 :
Le 23 janvier 2024 à 14:59:33 :
Le 23 janvier 2024 à 14:54:32 :
Le 23 janvier 2024 à 14:51:19 :
> Le 23 janvier 2024 à 14:41:01 :
>> Le 23 janvier 2024 à 14:35:05 :
> >> Le 23 janvier 2024 à 14:33:48 :
> > >Je suis en philosophie et j'ai des cours de mathématiques
> >
> > Tu as vu les coordonnées barycentriques ? La théorie de la mesure? Les variétés kahlerienes? Les ultrafiltres? Les p-sylow? Le théorème des fonctions implicites?
>
> Non je suis juste en deuxième année. Je n'ai eu qu'un cours sur Frege, Russel, etc. Par contre en troisième, on a le niveau 2 et 3 de ce cours et un autre cours de logique
Cours de 'logique' de philosophe "A => B === non(A) ou B"
https://image.noelshack.com/fichiers/2019/17/2/1556013235-idiot12.png Cours de logique catégorique basique de niveau M2 maths :
https://image.noelshack.com/fichiers/2024/04/2/1706017781-logique.jpg Un philosophe, ça reste un littéraire qui essaie de structurer sa pensée, mais la philosophie n'a rien d'une science
https://image.noelshack.com/fichiers/2016/34/1472411294-yeux2.png Cash putain, mais j'ai jamais réussi à me mettre dans la logique. C'est un prérequis pour aborder doucement la théorie des catégories ?
Non c'est plutôt le contraire. Commence par l'algèbre (linéaire, symplectique, tensorielle, exterieure, non commutative). Et en parallèle la topologie (générales, les variétés, géométrie différentielle, espaces fibrés, connexions).
Ensuite tu pourras étudier les bases de théorie des catégories jusqu'à un certain point assez avancé.Après ça, ça dépend de ce qui t'intéresse. Si tu aimes bien la topologie par exemple, tu peux étudier la théorie des préfaisceaux, faisceaux, et schémas
La theorie des catégories te sera aussi utile pour faire de la géométrie algébrique, cohomologie, topologie algébrique, etc.Si t'es davantage intéressé par la logique catégorique, la théorie des catégories est évidemment un prérequis et tu pourras étudier les topos, la théorie des langages, preuves formelles, lambda calcul, etc
La théorie des catégories ne constitue pas une théorie fondamentale alternative à la théorie des ensembles ?
https://image.noelshack.com/fichiers/2024/04/2/1706018512-screenshot-2024-01-23-15-01-35-223-com-brave-browser-edit.jpg
Ça veut dire quoi exactement ? Que la théorie des ensembles est obsolète ?Ahi je suis un low
On m'a dit que y a des ulmites qui se sont cassés les dents à vouloir faire une thèse sur ce sujet
La théorie des catégories n'est pour le moment pas concurrente à la théorie des ensembles pour les fondements, mais c'est un langage très transversal qui permet de voir beaucoup de phénomènes et concepts mathématiques d'un point de vue qui n'est pas explicite en théorie des ensembles. C'est une autre façon d'articuler la pensée, de voir les choses, on pense aux objets structurellement, c'est une étude "behavioriste" dit le mec dont l'autre khey a screené le poly : plutôt que d'ouvrir un objet et d'en regarder la matière constituante, on essaie de comprendre la place qu'il a dans un certain paysage, la façon dont il se comporte avec ses congénères
Oui j'ai vu, ça demande un background de malade avant de s'y attaquer
Le 23 janvier 2024 à 13:26:29 KheyJuriste3 a écrit :
Pensez vous que la philosophie est en dehors de toute pensée scientifique ?https://image.noelshack.com/fichiers/2017/18/1494048058-pppppppppppppppppppp.png
Oui
Topic suivant
La théorie des catégories ne constitue pas une théorie fondamentale alternative à la théorie des ensembles ?
https://image.noelshack.com/fichiers/2024/04/2/1706018512-screenshot-2024-01-23-15-01-35-223-com-brave-browser-edit.jpg
Ça veut dire quoi exactement ? Que la théorie des ensembles est obsolète ?Ahi je suis un low
On m'a dit que y a des ulmites qui se sont cassés les dents à vouloir faire une thèse sur ce sujet
Non. La catégorie des ensemble est un exemple de catégorie, mais la théorie des ensembles n'est pas plus générale que la théorie des catégories et inversement. Tu peux t'amuser à lire les papiers de Bourbaki si tu es sucicidaire, tu verras que ça parle direct d'univers U-petit et même comme ça c'est extraordinairement compliqué de poser une première pierre à l'édifice. C'est en tout cas bien trop compliqué pour que je t'en fasse un résumé ici ça tuerait nos amis littéraires sur le coup
Le 23 janvier 2024 à 15:10:43 :
Le 23 janvier 2024 à 15:08:59 :
C'est évident qu'en philosophie on ne voit que les bases. Les mathématiques c'est une spécialisation de l'arbre, une branche. Et la philosophie c'est l'arbre
Non, les maths sont les racines. La physique et la chimie sont le tronc de l'arbre. L'humanité est une branche. La littérature est une feuille qui pousse au bout de la branche de l'humanité. La philosophie en est une fleur ou une feuille et non un fruit qui finirait par tomber au sol et donner un autre arbre. Quant à la politique, c'est un parasite qui s'attaque à l'arbre pour essayer d'en prendre le contrôle quitte à le tuer.
Tu as beaucoup d'imagination et tu as le sens de la métaphore. Tu ne serais pas écrivain ?
Loupé, je suis un mathématicien pur jus
Le 23 janvier 2024 à 15:12:46 :
La théorie des catégories ne constitue pas une théorie fondamentale alternative à la théorie des ensembles ?
https://image.noelshack.com/fichiers/2024/04/2/1706018512-screenshot-2024-01-23-15-01-35-223-com-brave-browser-edit.jpg
Ça veut dire quoi exactement ? Que la théorie des ensembles est obsolète ?Ahi je suis un low
On m'a dit que y a des ulmites qui se sont cassés les dents à vouloir faire une thèse sur ce sujet
Non. La catégorie des ensemble est un exemple de catégorie, mais la théorie des ensembles n'est pas plus générale que la théorie des catégories et inversement. Tu peux t'amuser à lire les papiers de Bourbaki si tu es sucicidaire, tu verras que ça parle direct d'univers U-petit et même comme ça c'est extraordinairement compliqué de poser une première pierre à l'édifice. C'est en tout cas bien trop compliqué pour que je t'en fasse un résumé ici ça tuerait nos amis littéraires sur le coup
Khey, il faut combien de temps pour comprendre les yogas et les schémas de grothendieck ? C'est avant ou après les catégories dans la chronologie de l'apprentissage ?
Le 23 janvier 2024 à 15:14:30 :
Le 23 janvier 2024 à 15:10:43 :
Le 23 janvier 2024 à 15:08:59 :
C'est évident qu'en philosophie on ne voit que les bases. Les mathématiques c'est une spécialisation de l'arbre, une branche. Et la philosophie c'est l'arbre
Non, les maths sont les racines. La physique et la chimie sont le tronc de l'arbre. L'humanité est une branche. La littérature est une feuille qui pousse au bout de la branche de l'humanité. La philosophie en est une fleur ou une feuille et non un fruit qui finirait par tomber au sol et donner un autre arbre. Quant à la politique, c'est un parasite qui s'attaque à l'arbre pour essayer d'en prendre le contrôle quitte à le tuer.
Tu as beaucoup d'imagination et tu as le sens de la métaphore. Tu ne serais pas écrivain ?
Loupé, je suis un mathématicien pur jus
Tu n'as vraiment pas le sens de l'humour, serais-tu contrôleur de la RATP ?
La théorie des catégories n'est pour le moment pas concurrente à la théorie des ensembles pour les fondements, mais c'est un langage très transversal qui permet de voir beaucoup de phénomènes et concepts mathématiques d'un point de vue qui n'est pas explicite en théorie des ensembles. C'est une autre façon d'articuler la pensée, de voir les choses, on pense aux objets structurellement, c'est une étude "behavioriste" dit le mec dont l'autre khey a screené le poly : plutôt que d'ouvrir un objet et d'en regarder la matière constituante, on essaie de comprendre la place qu'il a dans un certain paysage, la façon dont il se comporte avec ses congénères
Je vois qu'on est deux amateurs de ce poly de Prouté
Le 23 janvier 2024 à 15:15:13 :
Le 23 janvier 2024 à 15:14:30 :
Le 23 janvier 2024 à 15:10:43 :
Le 23 janvier 2024 à 15:08:59 :
C'est évident qu'en philosophie on ne voit que les bases. Les mathématiques c'est une spécialisation de l'arbre, une branche. Et la philosophie c'est l'arbre
Non, les maths sont les racines. La physique et la chimie sont le tronc de l'arbre. L'humanité est une branche. La littérature est une feuille qui pousse au bout de la branche de l'humanité. La philosophie en est une fleur ou une feuille et non un fruit qui finirait par tomber au sol et donner un autre arbre. Quant à la politique, c'est un parasite qui s'attaque à l'arbre pour essayer d'en prendre le contrôle quitte à le tuer.
Tu as beaucoup d'imagination et tu as le sens de la métaphore. Tu ne serais pas écrivain ?
Loupé, je suis un mathématicien pur jus
Tu n'as vraiment pas le sens de l'humour, serais-tu contrôleur de la RATP ?
Loupé, je suis un mathématicien pur jus
Même question, même réponse
Le 23 janvier 2024 à 15:14:54 :
Le 23 janvier 2024 à 15:12:46 :
La théorie des catégories ne constitue pas une théorie fondamentale alternative à la théorie des ensembles ?
https://image.noelshack.com/fichiers/2024/04/2/1706018512-screenshot-2024-01-23-15-01-35-223-com-brave-browser-edit.jpg
Ça veut dire quoi exactement ? Que la théorie des ensembles est obsolète ?Ahi je suis un low
On m'a dit que y a des ulmites qui se sont cassés les dents à vouloir faire une thèse sur ce sujet
Non. La catégorie des ensemble est un exemple de catégorie, mais la théorie des ensembles n'est pas plus générale que la théorie des catégories et inversement. Tu peux t'amuser à lire les papiers de Bourbaki si tu es sucicidaire, tu verras que ça parle direct d'univers U-petit et même comme ça c'est extraordinairement compliqué de poser une première pierre à l'édifice. C'est en tout cas bien trop compliqué pour que je t'en fasse un résumé ici ça tuerait nos amis littéraires sur le coup
Khey, il faut combien de temps pour comprendre les yogas et les schémas de grothendieck ? C'est avant ou après les catégories dans la chronologie de l'apprentissage ?
C'est de niveau M2 et le langage des catégories s'apprend du même coup, c'est l'un des domaines où ça trouve toute son utilité parce que ça permet de formuler des résultats de façon beaucoup plus synthétique