#### Filter Results:

- Full text PDF available (6)

#### Publication Year

2015

2018

- This year (0)
- Last 5 years (9)
- Last 10 years (9)

#### Publication Type

#### Journals and Conferences

Learn More

- Anthony Bordg
- 2017

In this article the author endows the functor category [B(Z2),Gpd] with the structure of a type-theoretic fibration category with a universe using the projective fibrations. It offers a new model of… (More)

- Anthony Bordg
- ArXiv
- 2018

We give a concise presentation of the Univalent Foundations of mathematics outlining the main ideas (section 1), followed by a discussion of the large-scale UniMath library of formalized mathematics… (More)

- Anthony Bordg
- 2017

We prove a theorem, motivated by a conjecture of Voevodsky on C-systems, that provides, under some assumptions, a lift of a functor with a C-system as domain and a category as codomain, to a… (More)

- Anthony Bordg
- 2015

Cette these de doctorat a pour sujet les modeles de la theorie homotopique des types avec l'Axiome d'Univalence introduit par Vladimir Voevodsky. L'auteur prend pour cadre de travail les definitions… (More)

- Anthony Bordg
- 2015

This PhD thesis deals with some new models of intensional type theory and the Univalence Axiom introduced by Vladimir Voevodsky. Our work takes place in the framework of the definitions of… (More)

- Anthony Bordg
- Applied Categorical Structures
- 2017

In this article, the author endows the functor category $$[\mathbf {B}(\mathbb {Z}_2),\mathbf {Gpd}]$$[B(Z2),Gpd] with the structure of a type-theoretic fibration category with a univalent universe,… (More)

- Anthony Bordg
- Archive of Formal Proofs
- 2018

We formalize the localization [1, II, §4] of a commutative ring R with respect to a multiplicative subset (i.e. a submonoid of R seen as a multiplicative monoid). This localization is itself a… (More)

- Anthony Bordg
- Nature
- 2018

I AGREE with Mr. Piaggio that projective geometry is a pleasant and suitable subject of study for arts students, especially women, who are reading for honours with a view of entering the teaching… (More)

- Anthony Bordg
- 2018

We give a concise presentation of the Univalent Foundations of mathematics outlining the main ideas, followed by a discussion of the UniMath library of formalized mathematics implementing the ideas… (More)

- ‹
- 1
- ›