We define and explore rack objects internal to categories with products. In demonstration, we classify the group-racks, and use homotopy to prove both existence and exclusion theorems for path-connected topological racks.

We establish tetrahedral symmetries of 6j-symbols for arbitrary fusion categories under minimal assumptions. As a convenient tool for our calculations we introduce the notion of a veined fusion category, which is generated by a finite set of simple objects but is larger than its skeleton. Every fusion category C contains veined fusion subcategories that are monoidally equivalent to C and which suffice to compute many categorical properties for C. The notion of a veined fusion category does not assume the presence of a pivotal structure, and thus in particular does not assume unitarity. We also exhibit the geometric origin of the algebraic statements for the 6j-symbols. 

We consider algebras and Frobenius algebras, internal to a monoidal category, that are graded over a finite abelian group. For the case that A is a twisted group algebra in a linear abelian monoidal category we obtain a graded generalization of the Schur Lemma for the category of induced A-modules. We further show that if the monoidal category is braided and A is commutative up to a bicharacter of the grading group, then the category of induced A-modules can be endowed with a graded-monoidal structure that is twisted by the bicharacter. In the particular case that the grading group is Z/2Z, these findings reproduce known results about superalgebras and super-monoidal structures.