@misc{fiore-2024-logical,
  author = {Marcelo P. Fiore and Chris Kapulkin and Yufeng Li},
  title = {Logical Structure on Inverse Functor Categories},
  year = {2024},
  month = {10},
  eprint = {2410.11728},
  archiveprefix = {arXiv}
}