FoncteurDans la théorie des catégories, un foncteur est une construction transformant les objets et morphismes d'une catégorie en ceux d'une autre catégorie, d'une façon compatible. On parle alors d'une construction fonctorielle ou de fonctorialité. Une telle construction est donc un morphisme entre deux catégories. Historiquement, les foncteurs furent introduits en topologie algébrique, associant aux espaces topologiques et aux applications continues des objets algébriques tels que les groupes d'homotopie et les morphismes de groupes, permettant ainsi un véritable calcul d'invariants caractérisant ces espaces.
Libre arbitreLe libre arbitre, parfois orthographié libre-arbitre, est la faculté qu’aurait l'être humain de se déterminer librement et par lui seul, à agir et à penser, par opposition au déterminisme ou au fatalisme, qui affirment que la volonté serait déterminée dans chacun de ses actes par des « forces » qui l’y obligent. « Se déterminer à » ou « être déterminé par » illustrent l’enjeu de l’antinomie du libre arbitre d'un côté et du destin ou de la « nécessité » de l'autre.
Œuvre librethumb|150px|Logo œuvres culturelles libres Une œuvre libre, ou contenu libre, est une œuvre de l'esprit (ce qui implique sa soumission au droit d'auteur) dont la diffusion et la modification sont libres. Ces œuvres sont notamment des s, des textes, de la musique et des logiciels dont chacun peut distribuer autant de copies qu'il le souhaite, et aussi les modifier pour les améliorer. Cela ne signifie pas pour autant que ces œuvres ne sont pas soumises au droit d’auteur.
Logiciel librethumb|200px|Logo du projet GNU, initiateur du mouvement du logiciel libre.|alt=Gnou du projet GNU Un logiciel libre est un logiciel dont l'utilisation, l'étude, la modification et la duplication par autrui en vue de sa diffusion sont permises, techniquement et juridiquement, ceci afin de garantir certaines libertés induites, dont le contrôle du programme par l'utilisateur et la possibilité de partage entre individus. Ces droits peuvent être simplement disponibles ou bien établis par une licence, dite « libre », basée sur le droit d'auteur.
Mouvement du logiciel librealt=Logo du projet GNU, initiateur du mouvement du logiciel libre.|vignette|231x231px|Logo du projet GNU, initiateur du mouvement du logiciel libre. Le mouvement du logiciel libre est un mouvement politique et social dont la démarche vise à proposer des logiciels exempts de secret industriel, sur lesquels la libre circulation du code source est garantie. Selon Richard Stallman, initiateur de ce mouvement, « les éditeurs de logiciel cherchent à diviser et à conquérir les utilisateurs en forçant chacun à accepter de ne pas partager avec les autres.
