Objet de type fini
type d'objet en théorie des catégories
En théorie des catégories, un objet de type finie est le quotient d'un objet libre par un ensemble fini, soit la cible d'un épimorphisme régulier dont la source est objet libre sur un ensemble fini[1].
Par exemple, voici une façon de définir ce qu'est un groupe de type fini :
Définition — Un groupe de type fini est l'image d'un homomorphisme de groupe dont la source est un groupe libre de type fini.
Références
modifier- Objet de type fini sur le nLab
