In the paper Free biassociative groupoids, the variety of biasso- ciative groupoids (i.e., groupoids satisfying the condition: every subgroupoid generated by at most two elements is a subsemigroup) is considered and free objects are constructed using a chain of partial biassociative groupoids that satisfy certain properties. The obtained free objects in this variety are not canonical. By a canonical groupoid in a variety V of groupoids we mean a free groupoid (R, ∗ )i nV with a free basis B such that the carrier R is a subset of the absolutely free groupoid (TB, ·) with the free basis B and (tu ∈ R ⇒ t,u ∈ R & t ∗u = tu). In the present paper, a canonical description of free objects in the variety of biassociative groupoids is obtained. 1. Preliminaries Let G =( G, ·) be a groupoid and a, b ∈ G. We denote bya, bthe subgroupoid of G generated by a, b and byathe subgroupoid generated by a. Clearly, � a �⊆ � a, band if b ∈� a� , thena, b� = � a� ; specially, � a, a� = � a� . The subgroupoids � a, bandb, aare equal. Let a1 ,a 2 ,...,a n be a finite sequence of elements in a groupoid G. We denote by a1a2 ··· an the product of the sequence a1 ,a 2 ,...,a n in G defined as follows: i) if n = 3, then a1a2a3 def = a1(a2a3 )a nd ii) if n 3, then a1a2 ··· an def = a1(a2 ··· an). We call a1a2 ··· an the main product of the sequence a1 ,a 2 ,...,a n .I fn =1a nd n = 2, then a1 and a1a2 will also be called the main products of the sequences a1 and a1 ,a 2 respectively. If c = a1a2 ··· an, then we say that c is presented as a main product of the sequence a1 ,a 2 ,...,a n. Let G be a groupoid and A ⊆ G.I fQ is the subgroupoid of G generated by A, i.e., Q = � A� , then Q = {Ak : k 0}, where A0 = A, Ak+1 = Ak ∪ AkAk. If x ∈ Q, then a hierarchy of x in Q is the nonnegative integer χQ(x), defined by χQ(x) = min{k ∈ N0 : x ∈ Ak}, where N0 is the set of nonnegative integers.