# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeNov 6th 2010
• (edited Nov 6th 2010)

I made the following obvious fact more manifest in the respective $n$Lab entries:

a pregeometry (for structured (infinity,1)-toposes) $\mathcal{T}$ is a special case of a (multi-sorted) (infinity,1)-algbraic theory.

A structure $\infty$-sheaf

$\mathcal{O} : \mathcal{T} \to \mathcal{X}$

on $\mathcal{X}$ is an $\infty$-algebra over this $\infty$-algebraic theory in $\mathcal{X}$. The extra conditions on it ensure that it indeed looks like a sheaf of function algebras .

(I added a respective remark to the discussion of pre-geometries and added an Example-sectoin with this to the entry of oo-alghebraic theories.)

• CommentRowNumber2.
• CommentAuthorzskoda
• CommentTimeNov 7th 2010

The link should be to (infinity,1)-algebraic theory.