ﻻ يوجد ملخص باللغة العربية
Many special classes of simplicial sets, such as the nerves of categories or groupoids, the 2-Segal sets of Dyckerhoff and Kapranov, and the (discrete) decomposition spaces of G{a}lvez, Kock, and Tonks, are characterized by the property of sending certain commuting squares in the simplex category $Delta$ to pullback squares of sets. We introduce weaker analogues of these properties called completeness conditions, which require squares in $Delta$ to be sent to weak pullbacks of sets, defined similarly to pullback squares but without the uniqueness property of induced maps. We show that some of these completeness conditions provide a simplicial set with lifts against certain subsets of simplices first introduced in the theory of database design. We also provide reduced criteria for checking these properties using factorization results for pushouts squares in $Delta$, which we characterize completely, along with several other classes of squares in $Delta$. Examples of simplicial sets with completeness conditions include quasicategories, Kan complexes, many of the compositories and gleaves of Flori and Fritz, and bar constructions for algebras of certain classes of monads. The latter is our motivating example which we discuss in a companion paper.
Cartesian fibrations were originally defined by Lurie in the context of quasi-categories and are commonly used in $(infty,1)$-category theory to study presheaves valued in $(infty,1)$-categories. In this work we define and study fibrations modeling p
We prove that four different ways of defining Cartesian fibrations and the Cartesian model structure are all Quillen equivalent: On marked simplicial sets, on bisimplicial spaces, on bisimplicial sets, on marked simplicial spaces. The main way to pro
We prove general adjoint functor theorems for weakly (co)complete $n$-categories. This class of $n$-categories includes the homotopy $n$-categories of (co)complete $infty$-categories -- in particular, these $n$-categories do not admit all small (co)l
We revisit the definition of Cartesian differential categories, showing that a slightly more general version is useful for a number of reasons. As one application, we show that these general differential categories are comonadic over Cartesian catego
Cartesian differential categories were introduced to provide an abstract axiomatization of categories of differentiable functions. The fundamental example is the category whose objects are Euclidean spaces and whose arrows are smooth maps. Tensor d