Related papers: Dowker's theorem for higher-order relations
We classify the homotopy types of reduced 2-nilpotent simplicial groups in terms of the homology an d boundary invariants $b,\beta$. This contains as special cases results of J.H.C. Whitehead on 1-connected 4-dimensional complexes and of…
Given a suitable functor T:C -> D between model categories, we define a long exact sequence relating the homotopy groups of any X in C with those of TX, and use this to describe an obstruction theory for lifting an object G in D to C.…
If H is a strongly regular hypergroup, we show that the set of regular relations on H and the set of subhypergroups containing $0_{H}$ are two lattices that are isomorphic to each other. In the next step, we introduce and study the…
Assuming complex functions defined on complex curves satisfy recursion relations with respect to number of parameters, we express the corresponding cohomology theory via generalizations of holomorphic connections. In examples provided, the…
We define triangulated factorization systems on triangulated categories, and prove that a suitable subclass thereof (the normal triangulated torsion theories) corresponds bijectively to $t$-structures on the same category. This result is…
Given a commutative ring $R$ and finitely generated ideal $I$, one can consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes. Under a mild assumption on the ideal $I$ called weak pro-regularity,…
We introduce (weak) oddomorphisms of graphs which are homomorphisms with additional constraints based on parity. These maps turn out to have interesting properties (e.g., they preserve planarity), particularly in relation to homomorphism…
This paper develops a version of dependent type theory in which isomorphism is handled through a direct generalization of the 1939 definitions of Bourbaki. More specifically we generalize the Bourbaki definition of structure from simple…
We prove a general version of the homological perturbation lemma which works in the presence of curvature, and without the restriction to strong deformation retracts, building on work of Markl. A key observation is that the notion of strong…
A combinatorial group-theoretic hypothesis is presented that serves as a necessary and sufficient condition for a union of connected Cockcroft two-complexes to be Cockcroft. This hypothesis has a component that can be expressed in terms of…
Reflexive homology and dihedral homology are the homology theories associated to the reflexive and dihedral crossed simplicial groups respectively. The former has recently been shown to capture interesting information about…
Let l be a commutative ring with unit. Garkusha constructed a functor from the category of l-algebras into a triangulated category D, that is a universal excisive and homotopy invariant homology theory. Later on, he provided different…
We establish a Quillen equivalence relating the homotopy theory of Segal operads and the homotopy theory of simplicial operads, from which we deduce that the homotopy coherent nerve functor is a right Quillen equivalence from the model…
We define an order relation among oriented $PD_4$-complexes. We show that with respect to this relation, two $PD_4$-complexes over the same complex are homotopy equivalent if and only if there is an isometry between the second homology…
We give the first tractable and systematic examples of nontrivial higher digraph homotopy groups. To do this we define relative digraph homotopy groups and show these satisfy a long exact sequence analogous to the relative homotopy groups…
A new proof of the homogeneity of isoparametric hypersurfaces with six simple principal curvatures (Dorfmeister-Neher's theorem) is given in a method applicable to the multiplicity two case.
We develop a general theory of cosimplicial resolutions, homotopy spectral sequences, and completions for objects in model categories, extending work of Bousfield-Kan and Bendersky-Thompson for ordinary spaces. This is based on a…
We introduce cohomology and homology theories for small categories with general coefficient systems from simplex categories first studied by Thomason. These theories generalize at once Baues-Wirsching cohomology and homology and other more…
We develop an explicit covering theory for complexes of groups, parallel to that developed for graphs of groups by Bass. Given a covering of developable complexes of groups, we construct the induced monomorphism of fundamental groups and…
This is the first of a pair of papers where we construct and investigate a closed monoidal structure on the category of generalized algebraic theories (in the sense of Cartmell). In the present text, as a starting point, we define the…