Optimisation Abstraite
Fethi Kadhi
Abstract
The basic concepts in category theory are representables, adjoints, limits, and monads. In this talk, we define the notion of a Kan extension and show that this notion encompasses these concepts.
Table of Contents
Fetching ...
Optimisation Abstraite
Authors
Fethi Kadhi
Abstract
The basic concepts in category theory are representables, adjoints, limits, and monads. In this talk, we define the notion of a Kan extension and show that this notion encompasses these concepts.
Paper Structure
This paper contains 3 sections, 1 theorem, 21 equations.
Key Result
Proposition 1
Un adjoint à gauche préserve les extensions à gauche.
Theorems & Definitions (10)
- proof
- proof
- proof
- proof
- proof
- Proposition 1
- proof
- proof
- proof
- proof