Showing 1–2 of 2 results for author: Prouté, A

A Construction of Colimits in Monoidal Closed Categories

Authors: Alain Prouté

Abstract: We prove that a category which is symmetric (relaxed) monoidal closed, (small) complete, well-powered and has a small cogenerating family, is cocomplete. We prove that a category which is symmetric (relaxed) monoidal closed, (small) complete, well-powered and has a small cogenerating family, is cocomplete. △ Less

Submitted 20 March, 2018; originally announced March 2018.

Comments: 8 pages

On the dependent conjunction and implication

Authors: Matthieu Herrmann, Alain Prouté

Abstract: We give a theoretical model of conjunctions $E\wedge F$ and implications $E\implies F$ where $F$ is meaningful only when $E$ is true, a situation which is very often encountered in everyday mathematics, and which was already formalized by several type theorists. We present a version of these concepts which should be more attractive for mathematicians and in particular for non logicians, by using a… ▽ More We give a theoretical model of conjunctions $E\wedge F$ and implications $E\implies F$ where $F$ is meaningful only when $E$ is true, a situation which is very often encountered in everyday mathematics, and which was already formalized by several type theorists. We present a version of these concepts which should be more attractive for mathematicians and in particular for non logicians, by using an extension of Lawvere's definition of the quantifiers. We explain the link of this phenomenon with the principle of description, why this dependency is obtained through the use of a "hidden" variable, and more generally the link of these concepts with the vernacular language of mathematics, which is actually our main motivation. Despite its links with topos theory, this article is readable by non specialists. △ Less

Submitted 9 May, 2018; v1 submitted 20 June, 2016; originally announced June 2016.

Comments: 18 pages