leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: Is there code for X?

Topic: Tangent space to a functor


Paul Lezeau (Jun 25 2023 at 12:14):

Has anyone done work towards defining the tangent space to a left-exact functor FFF from (say) kkk-algebras to Sets?

More specifically, what I'm looking for is the natural vector space structure on set F(k[T]/(T2))F(k[T]/(T^2))F(k[T]/(T2)).


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll