Loading paper
The enriched Thomason model structure on 2-categories | Tomesphere