Results 171 to 180 of about 1,564 (187)

Stable Homotopy Theory

1964
openaire   +1 more source

ALTERNATIVE HOMOTOPY THEORIES

1977
openaire   +3 more sources

The homotopy theory of dg-categories and derived Morita theory

Inventiones Mathematicae, 2006
Bertrand Toen, Toen Bertrand
exaly  

Homotopy and cohomology theory

1987
openaire   +1 more source

Towards a Directed Homotopy Type Theory

Electronic Notes in Theoretical Computer Science, 2019
Paige Randall North
exaly  

Affine representability results in A1-homotopy theory, I: Vector bundles

Duke Mathematical Journal, 2017
Aravind Asok, Marc Hoyois, Matthias Wendt   +2 more
exaly  

Homotopy-Initial Algebras in Type Theory

Journal of the ACM, 2017
Nicola Gambino, Steve Awodey
exaly  

Motivic Homotopy Theory

Milan Journal of Mathematics, 2008
Marc Levine, Levine Marc
exaly  

Finiteness results in n-homotopy theory

Topology and Its Applications, 1996
A Chigogidze
exaly  

Axiomatic homotopy theory

Lecture Notes in Mathematics, 1979
D W Anderson
exaly