Linear HoTT and its applications
In notes, Effective Quantum Certification via Linear Homotopy Types slide 63 alludes to the fact that the tangent ∞-category of an ∞-topos is an ∞-topos. What’s the place of the tower of jet ∞-toposes approximating twisted cohomology: https://ncatlab.org/nlab/show/twisted+cohomology?
Something in this area back here: https://nforum.ncatlab.org/discussion/5340/nexcisive-functor/?Focus=55638#Comment_55638
https://nforum.ncatlab.org/discussion/7830/linear-logic/?Focus=102311#Comment_102311
https://nforum.ncatlab.org/discussion/5550/dependent-linear-type-theory/?Focus=102861#Comment_102861
Last revised on April 9, 2024 at 10:29:28. See the history of this page for a list of all contributions to it.