Sur La Logique De Premier Ordre Et La Théorie Des Catégories.
Syntactical theory of functors
The alternation hierarchy for the theory of -lattices.
The category of opetopes and the category of opetopic sets.
The catgorical theory of self-similarity.
The Dialectica interpretation of first-order classical affine logic.
The double powerlocale and exponentiation: A case study in geometric logic.
The dual locale of a seminormed space
The Frobenius relations meet linear distributivity.
The logic of categories of partial functions and its applications [Book]
The maximality of the typed lambda calculus and of cartesian closed categories
The "World's Simplest Axiom of Choice" Fails.
Théories des types de graphes
Traced premonoidal categories
Motivated by some examples from functional programming, we propose a generalization of the notion of trace to symmetric premonoidal categories and of Conway operators to Freyd categories. We show that in a Freyd category, these notions are equivalent, generalizing a well-known theorem relating traces and Conway operators in cartesian categories.
Traced Premonoidal Categories
Motivated by some examples from functional programming, we propose a generalization of the notion of trace to symmetric premonoidal categories and of Conway operators to Freyd categories. We show that in a Freyd category, these notions are equivalent, generalizing a well-known theorem relating traces and Conway operators in Cartesian categories.
Trames et sémantiques catégoriques des systèmes de trames