Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
created tangent category
in order to have a place where to keep just details on the purely 1-categorical "shadow" of tangent (infinity,1)-category.
added to tangent category a new Examples-section titled Modules over smooth algebras where I state the characterization of the tangent category over -rings / smooth algebras and spell out the bulk of its proof.
I added a proof that the left adjoint of the “square-zero extension” functor constructs Kähler differentials.
So, I learned today that a “Beck module” over an object in a category with finite limits is precisely an abelian group object in . Perhaps it would be worth noting that somewhere on the tangent category page.
Didn’t know this. Please add!
I looked around a bit and it seems to me that Beck modules are considered in a more “local” picture – one fixes the base – whereas the current page is more concerned with the global picture. So I think I will start a new page instead.
Regarding the statement “we should be claiming that this functor has a left adjoint which is a section and computes the Kähler differentials of objects in .” This is discussed a bit more on the Kähler differential page, but I still can’t find any explicit construction of this left adjoint. What is the explicit construction of the module of Kähler differentials in a general category?
I suppose I spoke a bit too soon, it looks like the page Beck Module states that this left adjoint exists whenever is a locally presentable category. However, there are categories like the (opposite) category of schemes which have Kähler differentials but is not a locally presentable category. Does anyone know of any references that explore for what categories this left adjoint exists?
1 to 9 of 9