# A discrete homotopy theory for binary reflexive structures

@article{Larose2004ADH, title={A discrete homotopy theory for binary reflexive structures}, author={B. Larose and Claude Tardif}, journal={Advances in Mathematics}, year={2004}, volume={189}, pages={268-300} }

Abstract We present a simple combinatorial construction of a sequence of functors σ k from the category of pointed binary reflexive structures to the category of groups. We prove that if the relational structure is a poset P then the groups are (naturally) isomorphic to the homotopy groups of P when viewed as a topological space with the topology of ideals, or equivalently, to the homotopy groups of the simplicial complex associated to P . We deduce that the group σ k ( X , x 0 ) of the pointed… Expand

#### 13 Citations

Relative Homotopy in Relational Structures

- Mathematics
- Canadian Mathematical Bulletin
- 2008

Abstract The homotopy groups of a finite partially ordered set (poset) can be described entirely in the context of posets, as shown in a paper by $\text{B}$ . Larose and $\text{C}$ . Tardif. In this… Expand

Ramsey classes of topological and metric spaces

- Mathematics, Computer Science
- Ann. Pure Appl. Log.
- 2006

It is shown that Ramsey classes are essentially classes of finite objects only and while for Ramsey classes of topological spaces the authors achieve a full characterization, for metric spaces this seems to be at present an intractable problem. Expand

Multiplication of Crowns

- Mathematics
- 2013

It is known that the only finite topological spaces that are H-spaces are the discrete spaces. For a finite poset which is weakly equivalent to an H-space, a generalized multiplication may be found… Expand

On the localization genus of a direct product of metacyclic groups

- Mathematics
- 2009

Abstract For a relatively prime pair of natural numbers n, u, let G(n; u) = 〈a, b | a n = 1, bab –1 = a u 〉. For groups H of the type G(n; u) × G(m; u) we determine the set χ(H) of all isomorphism… Expand

Finite relational structure models of topological spaces and maps

- Computer Science, Mathematics
- Theor. Comput. Sci.
- 2008

The notion of homotopy pushout is defined in the category of binary reflexive relational structures and its basic properties are explored, with a view to developing systematic methods in this regard. Expand

Semilattice polymorphisms and chordal graphs

- Computer Science, Mathematics
- Eur. J. Comb.
- 2014

The class of reflexive graphs that admit semilattice polymorphisms are investigated, and an algebraic characterisation of chordal graphs is given, which are, to the knowledge, the first structural results on graphs withSemilattic polymorphisms, beyond the conservative realm. Expand

A Review of Whitehead ’ s Asphericity Conjecture by

- 2013

This paper summarizes some of the work done to date on Whitehead’s question about the asphericity of subcomplexes of an aspherical 2-complex. We start with a review of the theory of higher homotopy… Expand

A quasi-Mal’cev condition with unexpected application

- Mathematics
- 2015

A quasi-Mal’cev condition for quasivarieties is established which in the case of locally finite quasivarieties forbids strongly abelian congruences and for varieties is equivalent to possessing a… Expand

A polynomial-time algorithm for near-unanimity graphs

- Mathematics, Computer Science
- J. Algorithms
- 2005

We present a simple polynomial-time algorithm that recognises reflexive, symmetric graphs admitting a near-unanimity operation. Several other characterisations of these graphs are also presented.

The Constraint Satisfaction Problem: Complexity and Approximability

- Computer Science, Mathematics
- The Constraint Satisfaction Problem
- 2017

This report documents the material presented during the course of the Dagstuhl Seminar 18231 “The Constraint Satisfaction Problem: Complexity and Approximability”, aimed at bringing together researchers using all the different techniques in the study of the CSP to share their insights obtained. Expand

#### References

SHOWING 1-10 OF 14 REFERENCES

Homotopy properties of the poset of nontrivial p-subgroups of a group

- Mathematics
- 1978

Let G be a group and let Y,(G) be the set of nontrivial p-subgroups of G ordered by inclusion, where p is a prime. To the poset (= partially ordered set) YD(G) one can associate a simplicial complex… Expand

Finite posets and topological spaces in locally finite varieties

- Mathematics
- 2005

Abstract.We prove that if a finite connected poset admits an order-preserving Taylor operation, then all of its homotopy groups are trivial. We use this to give new characterisations of locally… Expand

A nontrivial pairing of finite T0 spaces

- Mathematics
- 2002

Abstract There is a four-point space S 1 weakly homotopy equivalent to the circle. The restriction to S 1 of the complex number multiplication is not continuous, nevertheless a continuous model of… Expand

From graphs to ortholattices and equivariant maps

- Computer Science, Mathematics
- J. Comb. Theory, Ser. B
- 1983

A functor is constructed from the categories of graphs and graph homomorphisms to the category of spaces with involutions and equivariant homotopy classes of maps, and the correspondence between graphs and ortholattices is analyzed. Expand

The complexity of solving equations over finite groups

- Mathematics
- 2002

We study the computational complexity of solving systems of equations over a finite group. An equation over a group G is an expression of the form w1.w2....wk = 1G, where each wi is either a… Expand

Constraint Satisfaction Problems and Finite Algebras

- Mathematics, Computer Science
- ICALP
- 2000

It is shown that any restricted set of constraint types can be associated with a finite universal algebra and the result is a dichotomy theorem which significantly generalises Schaefer's dichotomy for the Generalised Satisfiability problem. Expand

The Complexity of the Extendibility Problem for Finite Posets

- Computer Science, Mathematics
- SIAM J. Discret. Math.
- 2003

It is proved that for any finite poset P, if EXT(P) has bounded strict width, then it has width 1, and this work generalizes Pratt and Tiuryn's result on crowns by proving thatEXT(P), is NP-complete forAny finite Poset P which admits no nontrivial idempotent Malcev condition. Expand

Algebraic Topology

The focus of this paper is a proof of the Nielsen-Schreier Theorem, stating that every subgroup of a free group is free, using tools from algebraic topology.

The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory

- Mathematics, Computer Science
- SIAM J. Comput.
- 1998

This paper isolates a class (of problems specified by) "monotone monadic SNP without inequality" which may exhibit a dichotomy, and explains the placing of all these restrictions by showing, essentially using Ladner's theorem, that classes obtained by using only two of the above three restrictions do not show this dichotomy. Expand

Tractable Constraint Satisfaction Problems on a 3-element set

- Computer Science, Mathematics
- Electron. Colloquium Comput. Complex.
- 2002