# 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.

• New version of CompLF.

• expanded the previously pretty empty entry smooth Lorentzian space.

I added some standard definitions for smooth Lorentzian manifolds and then a discussion on how a time orientation without closed future-directed curves induces the structure of a category that is a poset, where a morphism $x \to y$ witnesses the fact that $y$ is a point in the future of $x$.

• brief category:people-entry for hyperlinking references at Kähler manifold

• Creating a separate page for the old rules. This is the beginning of an attempt at reorganization.

• brief category:people-entry for hyperlinking references at G-structure

• brief category:people-entry for hyperlinking references at G-structure and elsewhere

• For completeness I have added pointer to

though there should really be some accompanying discussion of how this form of the statement is related to the usual one in terms of presheaves.

• Page created, but author did not leave any comments.

• Created categorical model of dependent types, describing the various different ways to strictify category theory to match type theory and their interrelatedness. I wasn’t sure what to name this page — or even whether it should be part of some other page — but I like having all these closely related structures described in the same place.

• brief category:people-entry for hyperlinking references at Berger’s theorem

• Created to complete a link.

• For now, a place to try putting some typing rules for proto CLF.

• updated Andy Tonks’ entry.

• starting something…

• starting something…

• brief category:people-entry for hyperlinking references at orbifold and G-structure

• for completeness

• starting something

• Created an entry for this geometric theory.