, vi) ? preserves interpolators: If a ? b, then ?(b|a) = ?(b)|?(a)

, Property (iv) above was considered in [27, p. 134], as part of the definition of callitic morphisms for distributive inverse semigroups. It is a strengthening of the condition that ? preserves ?, and is necessary since we consider non-Hausdorff inverse semigroupoids, It is easy to check that morphisms of ?-ordered inverse semigroups are stable under composition

, then by (iv) there exists c ? a ? b such that ?(u) ? ?(c) ? ?(a ? b), so ?(a ? b) is the largest ?-lower bound of {a, b}, i.e., ?(a ? b) = ?(a) ? ?(b). It is important to note that there are semigroup homomorphisms, between ?-ordered inverse semigroups, which satisfy Properties (i)-(v) but not (vi)

, and the compatible order x ? y ?? x = 0 or x = y, and let L 2 = {0, 1}, as an ideal of L 3 , and the restriction of ?. Both L 3 and L 2 are ?-ordered inverse semigroups. (L 3 is isomorphic to KB(L 2 ), where L 2 is seen simply as an inverse semigroup, and L 2 is isomorphic to KB({0}).) The map ?

, Similarly, the map ? : L 3 ? L 2 , ?(0) = ?(1) = 0, ?(2) = 1, satisfies all of (i)-(v) but not (vi)

, s(a) = s(b) and ?(a) = ?(b) implies a = b (i.e., ? is injective on all fibers), and star-surjective if for all t ? T and all a ? S, if s(t) = s(?(a)), then there exists b ? S with s(b) = s(a) and ?(b) = t. If ? is both star-injective and star-surjective, The category Amp ?. A homomorphism ? : S ? T of inverse semigroupoids is star-injective if for all a, b ? S

, On objects, to each ample inverse semigroup S, we set K(S) = (KB(S), ?)

, The map A ? ? ?1 (A) is a morphism of ?-ordered inverse semigroups. We thus define the functor K on a morphism ? : A ? B of Amp ? as K(?)(A), Lemma 5.16. Let ? : S ? T is a proper continuous covering homomorphism of ample semigroupoids. If A ? KB(T) then ? ?1 (A) ? KB(S)

, As ? is continuous and proper, then ? ?1 (A) is open and compact. Let us prove that it is a bisection of S. Suppose a, b ? ? ?1 (A) and s(a) = s(b)

, As ? is star-surjective, there exists p b ? S with s(p b ) = s(z) and ?(p b ) = b. Then s(?(pp * b )) = s(b * ) = s(a)

, As ? is star-injective then x = p a p b ? ? ?1 (A) ? ? ?1 (B). The first non-trivial property that we need to prove for K(?), to conclude that it is a morphism of ?-ordered inverse semigroups, is properness. Suppose K ? KB(S), Then s(p a p b ) = s(p b ) = s(z), and ?

, ? = S for every ample semigroupoid S. Given another ample semigroupoid T, a morphism ? : KB(S) ? KB(T)) thus induces a morphism P(?) : T ? S, and in particular a map between the underlying vertex spaces T (0) and S (0) , or alternatively by the content of Subsection 5, The functor P : ?-Ord op ? Amp. As a motivation, suppose that the functor P is defined in a manner that P(KB(S)), vol.1

E. , Moreover, the map P(?) (0) thus defined is continuous and proper

, ) and s 1 ,. .. , s n ? E(S) such that t = n i=1 t i and t i ? ?(s i ) for each i. As F is ?-prime (Lemma 5.12), for some i we have t i ? F

, F) is upwards closed, does not contain 0, and contains ? ?1 (F), so to prove that it is a filter we need to prove that it is closed under products. For this

, We have f p(p \ q f ) ? q f (p \ q f ) = q f ? (p \ q f ) = 0, and because f ? P(?) (0) (F) then p(p \ q f ) ? ? ?1 (F), so (p \ q f ) ? ? ?1 (F) as well. We therefore have q f ? ? ?1 (F). Suppose now, in order to obtain a contradiction, that f g ? P(?) (0) (F), so that we may find e ? ? ?1 (F) such that f ge = 0, ) (F). Then f p ? p, so we may consider the interpolator q f. . = p|(f p)

, In fact, its definition makes it clear, by Lemma 5, vol.10

, ?-v), the join ?(e) ? a exists. As ? is proper, the same considerations as in the proof that ? ?1 (F) is nonempty allow us to assume that ?(e) ? a ? ?(g), and in particular ?(e) = ?(eg), particular, ?(e)a = 0 implies ?(p)a = 0, so ?(p) ? F. On the other hand, e(g \ p) = ge(g \ p) ? p(g \ p) = 0, and since e ? P(?) (0) (F) then g \ p ? ? ?1 (F), i.e., ?(g \ p) ? F, vol.5

F. Abadie, On partial actions and groupoids, Proc. Amer. Math. Soc, vol.132, issue.4, pp.1037-1047, 2004.

D. Bagio and A. Paques, Partial groupoid actions: globalization, Morita theory, and Galois theory, vol.40, pp.3658-3678, 2012.

M. Viviane, L. Beuter, and . Cordeiro, The dynamics of partial inverse semigroup actions, p.31, 2018.
URL : https://hal.archives-ouvertes.fr/ensl-01956972

M. Viviane, D. Beuter, and . Gonçalves, The interplay between Steinberg algebras and skew rings, J. Algebra, vol.497, pp.337-362, 2018.

R. Brown, Topology and groupoids, 2006.

R. Brown and J. Hardy, Topological groupoids: I. Universal constructions, Math. Nachrichten, vol.71, pp.273-286, 1976.

A. Buss and R. Exel, Inverse semigroup expansions and their actions on C *-algebras, Illinois J. Math, vol.56, issue.4, pp.1185-1212, 2012.

A. Buss, R. Exel, and R. Meyer, Inverse semigroup actions as groupoid actions, Semigroup Forum, vol.85, issue.2, pp.227-243, 2012.

A. Buss, R. D. Holkar, and R. Meyer, A universal property for groupoid C *-algebras. I, Proc. London Math. Soc. Third Ser, vol.117, issue.2, pp.345-375, 2018.

B. James-robin, S. G. Cockett, and . Lack, Restriction categories I: categories of partial maps, Theor. Comput. Sci, vol.270, issue.1-2, pp.223-259, 2002.

G. Luiz and . Cordeiro, Soficity and other dynamical aspects of groupoids and inverse semigroups, p.261, 2018.

M. Dokuchaev, Partial actions: a survey, vol.537, pp.173-184, 2011.

M. Dokuchaev and R. Exel, Associativity of crossed products by partial actions, enveloping actions and partial representations, Trans. Amer. Math. Soc, vol.357, issue.5, pp.1931-1952, 2005.

R. Exel, Reconstructing a totally disconnected groupoid from its ample semigroup, Circle actions on C *-algebras, partial automorphisms, and a generalized PimsnerVoiculescu exact sequence, vol.122, pp.303-318, 1994.

G. Goehle, Groupoid crossed products, p.504, 2009.

C. Heunen, On the Functor ? 2 , Comput. logic, games, quantum Found, pp.107-121, 2013.

J. and H. , Fundamentals of semigroup theory, vol.12, 1995.

R. Kaarsgaard, H. Bock-axelsen, and R. Glück, Join inverse categories and reversible recursion, J. Log. Algebr. Methods Program, vol.87, pp.33-50, 2017.

J. Kastl, One method of representations of inverse semigroups, Sûrikaisekikenkyûsho Kókyûroku, vol.292, pp.73-89, 1977.

J. Kellendonk, T. Mark-verus-lawson, and . Semigroups, J. Algebra, vol.224, issue.1, pp.140-150, 2000.

M. Khrypchenko, Partial actions and an embedding theorem for inverse semigroups, to appear in Periodica Mathematica Hungarica, 2017.

L. Mark-verus, Inverse semigroups, the theory of partial symmetries, 1998.

V. Mark, D. Lawson, and . Lenz, Pseudogroups and their étale groupoids, Adv. Math, vol.244, pp.117-170, 2013.

X. Li, Continuous orbit equivalence rigidity, Ergodic Theory Dynam, vol.38, pp.1543-1563, 2018.

V. Liu, Free inverse semigroupoids and their inverse subsemigroupoids, p.85, 2016.

S. Lane, Categories for the working mathematician, Graduate Texts in Mathematics, vol.5, 1978.

K. Matsumoto, Orbit equivalence of topological Markov shifts and Cuntz-Krieger algebras, Pacific J. Math, vol.246, issue.1, pp.199-225, 2010.

D. B. Mcalister, 227-244. 33. , v-prehomomorphisms on inverse semigroups, Trans. Amer. Math. Soc, vol.192, issue.1, pp.215-231, 1974.

B. Donald, N. R. Mcalister, and . Reilly, E-unitary covers for inverse semigroups, Pacific J. Math, vol.68, issue.1, pp.161-174, 1977.

K. Paul-mcclanahan, K-theory for partial crossed products by discrete groups, J. Funct. Anal, vol.130, issue.1, pp.77-117, 1995.

I. Moerdijk and J. Mr?un, Introduction to foliations and Lie groupoids, Cambridge Studies in Advanced Mathematics, vol.91, 2003.

A. Leonard-tuke-paterson, Groupoids, inverse semigroups, and their operator algebras, Progress in Mathematics, vol.170, 1999.

M. Petrich, Inverse semigroups, 1984.

J. Currie-quigg and N. Sieben, C *-actions of r-discrete groupoids and inverse semigroups, J. Aust. Math. Soc, vol.66, issue.2, p.143, 1999.

J. Nicolas and R. , 41. , Cartan subalgebras in C *-algebras, A groupoid approach to C *-algebras, vol.793, pp.29-63, 1980.
URL : https://hal.archives-ouvertes.fr/halshs-01697182

P. Resende, Étale groupoids and their quantales, Adv. Math, vol.208, issue.1, pp.147-209, 2007.

N. Sieben, C *-crossed products by partial actions and actions of inverse semigroups, J. Aust. Math. Soc, vol.63, issue.1, pp.32-46, 1997.

B. Steinberg, A groupoid approach to discrete inverse semigroup algebras, Adv. Math, vol.223, issue.2, pp.689-727, 2010.

B. R. Tilson, Categories as algebra: an essential ingredient in the theory of monoids, J. Pure Appl. Algebra, vol.48, issue.1-2, pp.83-198, 1987.

C. Todea, Symmetric algebras, skew category algebras and inverse semigroups, J. Algebra, vol.369, pp.226-234, 2012.

H. Tominaga, On s-unital rings, Math. J. Okayama Univ, vol.18, issue.2, pp.117-134, 1975.

, allée d'Italie, 69364 Lyon Cedex 07, France E-mail address: luizgc6@gmail.com, luis-gustavo, vol.46