See that dark, unpointed house, with its lilac shrubbery.
"Woman in the Nineteenth Century" by Margaret Fuller Ossoli
Roll (exquisitely written, as many visitors are aware, in unpointed Hebrew), and asked him to read a few words.
"The Parish Clerk (1907)" by Peter Hampson Ditchfield
He noticed that she picked up the unpointed pencil and he felt a little desolate feeling, as if he had lost his only friend.
"Balloons" by Elizabeth Bibesco
Many different examples of stonework, both the pointed and unpointed, stand virtually side by side for comparison about Philadelphia.
"The Colonial Architecture of Philadelphia" by Frank Cousins
The fluted sides of the unpointed cones shone softly golden on all sides.
"Astounding Stories of Super-Science, November, 1930" by Various
***
Parametricity and unboxing with unpointed types.
Improvements for Free
For any pointed (or unpointed) semi-theory C there exists a pointed (resp. unpointed) algebraic theory F∗C such that the homotopy category of homotopy C-algebras is equivalent to the homotopy category of strict F∗C-algebras.
From $\Gamma$-spaces to algebraic theories
Throughout this paper we will work with unpointed versions of theorems 1.5 and 1.6.
From $\Gamma$-spaces to algebraic theories
The main difference between the pointed and the unpointed case is that the notion of a free unpointed semi-theory (sec. 3) is more natural and as a consequence the construction of the algebraic theory F∗C is easier to describe.
From $\Gamma$-spaces to algebraic theories
Hence, from now on by semi-theory we will understand an unpointed semi-theory (and similarly for algebraic theories).
From $\Gamma$-spaces to algebraic theories
Since, as we noted in §1, the arguments we used for unpointed semi-theories apply in this case with minor changes only, we will concentrate on the differences in some deﬁnitions and constructions.
From $\Gamma$-spaces to algebraic theories
Notice that the category C>0 is a free unpointed semi-theory.
From $\Gamma$-spaces to algebraic theories
For a free pointed semi-theory C the algebraic theory ¯C is constructed in a similar way as in the unpointed case. A tree T representing a morphisms [n] → in ¯C has its non-initial edges labeled with generators of C.
From $\Gamma$-spaces to algebraic theories
So, we have deﬁned a functor in the category of unpointed spaces (that can also be deﬁned in the category of pointed spaces, although we we will only work here with unpointed spaces), which is always coaugmented and idempotent, and kills the structure of X that “depends” on A .
Nullification functors and the homotopy type of the classifying space for proper bundles
Since the author’s ultimate goal is to apply these results to 2-groups and crossed modules, we also develop a pointed version of the theory, parallel to the unpointed one, and explain brieﬂy how the pointed theory can be translated to the language of crossed modules.
Notes on 2-groupoids, 2-groups and crossed-modules
The correct measure to use on unpointed bundles is (3.23).
Quantum Groups from Path Integrals
***