Andrew W Swan | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music AI Voice Chat

research

∙ 09/29/2022

Double negation stable h-propositions in cubical sets

We give a construction of classifiers for double negation stable h-propo...

0 Andrew W Swan, et al. ∙

research

∙ 06/27/2022

Definable and Non-definable Notions of Structure

Definability is a key notion in the theory of Grothendieck fibrations th...

0 Andrew W Swan, et al. ∙

research

∙ 10/02/2020

On the Nielsen-Schreier Theorem in Homotopy Type Theory

We give a formulation of the Nielsen-Schreier theorem (subgroups of free...

0 Andrew W Swan, et al. ∙