1 citations · 1 across the 1 of their papers we have counts for
2 papers
math.CT2023★ 1 cited
Posetal Diagrams for Logically-Structured Semistrict Higher Categories
Chiara Sarti, Jamie Vicary
We now have a wide range of proof assistants available for compositional reasoning in monoidal or higher categories which are free on some generating signature. However, none of th…
hep-lat2022
Zeta-regularized Lattice Field Theory with Lorentzian background metrics
Tobias Hartung, Karl Jansen, Chiara Sarti
Lattice field theory is a very powerful tool to study Feynman's path integral non-perturbatively. However, it usually requires Euclidean background metrics to be well-defined. On t…