2 citations · 2 across the 10 of their papers we have counts for
11 papers
A Parameterized Algorithm for Testing whether the Limit of a Diagram is Empty
Ernst Althaus, Benjamin Merlin Bumpus, James Fairbanks +2
A limit of a (small) diagram in a complete category can be thought of as specifying a set of equations involving the objects of . To motivate this intuitively,…
Hypercovers in Differential Geometry
Cheyne Glass, Emilio Minichiello
In this paper we provide a simple proof that for several sites of interest in differential geometry, the local projective model structure and the Čech projective model structure ar…
Thomason-Type Model Structures on Simplicial Complexes and Graphs
Emilio Minichiello
In this paper we show that the Matsushita model structure on loop graphs, which is right-transferred from the Kan-Quillen model structure on simplicial sets, factors through two ot…
Coverages and Grothendieck Toposes
Emilio Minichiello
These notes detail the basics of the theory of Grothendieck toposes from the viewpoint of coverages. Typically one defines a site as a (small) category equipped with a Grothendieck…
Presenting Profunctors
Gabriel Goren-Roig, Joshua Meyers, Emilio Minichiello
Motivated by problems in categorical database theory, we introduce and compare two notions of presentation for profunctors, uncurried and curried, which arise intuitively from thin…
The Diffeological Čech-de Rham Obstruction
Emilio Minichiello
Using higher topos theory, we explore the obstruction to the Čech-de Rham map being an isomorphism in each degree for diffeological spaces. In degree 1, we obtain an exact sequence…
A detailed look at the Szczarba map
Emilio Minichiello, Manuel Rivera, Mahmoud Zeinalian
We explain how to derive an explicit formula for a natural transformation relating the (left adjoints of) the homotopy coherent nerve and the Dwyer-Kan simplicial classifying space…
A Mathematical Model of Package Management Systems
Gershom Bazerman, Emilio Minichiello, Raymond Puzio
This paper brings mathematical tools to bear on the study of package dependencies in software systems. We introduce structures known as Dependency Structures with Choice (DSC) that…
Diffeological Principal Bundles and Principal Infinity Bundles
Emilio Minichiello
In this paper, we study diffeological spaces as certain kinds of discrete simplicial presheaves on the site of cartesian spaces with the coverage of good open covers. The Čech mode…
Categorical models for path spaces
Emilio Minichiello, Manuel Rivera, Mahmoud Zeinalian
We establish an explicit comparison between two constructions in homotopy theory: the left adjoint of the homotopy coherent nerve functor, also known as the rigidification functor,…
Smocked Metric Spaces and their Tangent Cones
Christina Sormani, Demetre Kazaras, David Afrifa +11
We introduce the notion of a smocked metric spaces and explore the balls and geodesics in a collection of different smocked spaces. We find their rescaled Gromov-Hausdorff limits a…