2 papers
math.CT2025
Logical Aspects of Virtual Double Categories
Hayato Nasu
This thesis deals with two main topics: virtual double categories as semantics environments for predicate logic, and a syntactic presentation of virtual double categories as a type…
math.CT2025
An Internal Logic of Virtual Double Categories
Hayato Nasu
We present a type theory called fibrational virtual double type theory (FVDblTT) designed specifically for formal category theory, which is a succinct reformulation of New and Lica…