2 papers
math.CT2022
Internalization and enrichment via spans and matrices in a tricategory
Bojana Femić, Enrico Ghiorzi
We introduce categories $\M$ and internal in the tricategory $\Bicat_3$ of bicategories, pseudofunctors, pseudonatural transformations and modifications, for matrices and spans…
math.CT2020
Complete internal categories
Enrico Ghiorzi
Internal categories feature notions of limit and completeness, as originally proposed in the context of the effective topos. This paper sets out the theory of internal completeness…