Add to ORKGThis text is an updated version of material used for a course at Université de Nantes, part of ‘Functor homology and applications’, April 23–27, 2012. The proof [30], [31] by Touzé of my conjecture on cohomological finite generation (CFG) has been one of the successes of functor homology. We will not treat this proof in any detail. Instead we will focus on a formality conjecture of Chałupnik and discuss ingredients of a second generation proof [33] of the existence of the universal classes of Touzé
In this paper, we present a complete formalization in the Coq theorem prover of an important algorit...
We prove that the simplicial cocommutative coalgebra of singular chains on a connected topological s...
These lecture notes give an introductory account of an approach to cohomological field theory due to...
This text is an updated version of material used for a course at Université de Nantes, part of ‘Func...
This book features a series of lectures that explores three different fields in which functor homolo...
Let G be a reductive linear algebraic group over a field k. Let A be a finitely generated commutativ...
International audienceLet G be a reductive linear algebraic group over afield k. Let A be a finitely...
The integral cohomology algebra functor, H*( ;Z), was developed as an aid in distinguishing homotopy...
These notes are based on a series of three lectures given (online) by the first named author at the ...
AbstractThe homological finiteness propertyFP3and the combinatorial property of having finite deriva...
In rational homotopy theory, varieties are encoded by their algebraic models thanks to the work of S...
AbstractIn this paper, we present a complete formalization in the Coq theorem prover of an important...
SIGLEAvailable from British Library Document Supply Centre- DSC:D183951 / BLDSC - British Library Do...
This chapter discusses the cohomology of groups. The cohomology of groups is one of the crossroads o...
This paper presents a commutative complex-oriented cohomology theory that realizes the Buchstaber fo...
In this paper, we present a complete formalization in the Coq theorem prover of an important algorit...
We prove that the simplicial cocommutative coalgebra of singular chains on a connected topological s...
These lecture notes give an introductory account of an approach to cohomological field theory due to...
This text is an updated version of material used for a course at Université de Nantes, part of ‘Func...
This book features a series of lectures that explores three different fields in which functor homolo...
Let G be a reductive linear algebraic group over a field k. Let A be a finitely generated commutativ...
International audienceLet G be a reductive linear algebraic group over afield k. Let A be a finitely...
The integral cohomology algebra functor, H*( ;Z), was developed as an aid in distinguishing homotopy...
These notes are based on a series of three lectures given (online) by the first named author at the ...
AbstractThe homological finiteness propertyFP3and the combinatorial property of having finite deriva...
In rational homotopy theory, varieties are encoded by their algebraic models thanks to the work of S...
AbstractIn this paper, we present a complete formalization in the Coq theorem prover of an important...
SIGLEAvailable from British Library Document Supply Centre- DSC:D183951 / BLDSC - British Library Do...
This chapter discusses the cohomology of groups. The cohomology of groups is one of the crossroads o...
This paper presents a commutative complex-oriented cohomology theory that realizes the Buchstaber fo...
In this paper, we present a complete formalization in the Coq theorem prover of an important algorit...
We prove that the simplicial cocommutative coalgebra of singular chains on a connected topological s...
These lecture notes give an introductory account of an approach to cohomological field theory due to...