[Alta-Logic] Additive bundle notes

[Ben MacAdam]

Hi everyone,

I managed to dig up my notes on Beck modules/additive bundles and gave them a quick re-write (though I’d probably take everything in them with a grain of salt). Following Kristine’s suggestion I’ll send them out on the mailing list here in case anyone is interested.

There does seem to be a connection with algebra, as there seems to be a natural flat, torsion-free vertical connection on Lex. Following the abelian category/differential object metaphor, it looks like the affine objects (those where the vertical connection induces a full connection) seem to be related to (something like) semi-abelian categories (so far I’ve only managed to check that the category of commutative rings are affine).

Best,
Ben
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20210325/24bfff17/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Weil1_modules.pdf
Type: application/pdf
Size: 301068 bytes
Desc: Weil1_modules.pdf
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20210325/24bfff17/attachment.pdf>