Not signed in

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

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

(0 1)-category-theory 2-category 2-category-theory 2-monad abelian-categories accessible adjoint algebra algebraic algebraic-geometry analysis arithmetic beauty book bundle categories category category-theory chern-simons-theory cohesion cohesive-homotopy-type-theory cohomology combinatorics complex-geometry conference connection constructive constructive-mathematics cosmology deformation-theory descent differential differential-cohomology differential-geometry duality enriched enriched-category-theory enrichment examples factorization-system fibration forms foundations functional-analysis functor galois-theory gauge-theory gebra general topology geometric geometric-quantization geometry gravity group-theory higher higher-algebra higher-category-theory higher-geometry higher-topos-theory history homological homological-algebra homology homotopy homotopy-theory homotopy-type-theory homtopy-type-theory index-theory infinity-groupoid integration-theory internal-categories internalization kan lie lie-algebras lie-theory limit limits linear linear-algebra locale localization localization-theory logic manifolds mathematics measure measure-theory mechanics meta modal-logic model model-category-theory monad monoidal-category monoidal-category-theory morphism motivic-cohomology n-groups newpage noncommutative noncommutative-geometry operator operator-algebra order-theory particle-physics phenomenology philosophy physics pretopology pro-object probability-theory quantum quantum-field-theory quantum-mechanics quantum-physics quantum-theory question relative representation representation-theory riemannian-geometry scheme set set-theory sheaf simplicial space stable-homotopy-theory stack string string-theory subobject supergeometry symplectic-geometry tannaka tensor terminology theory topologica-quantum-field-theory topology topos topos-theory torsor tqft type type-theory universal weighted-limit

1. • CommentRowNumber1.
   • CommentAuthorzskoda
   • CommentTimeAug 22nd 2012
   • (edited Aug 22nd 2012)
   • PermaLink
   Author: zskoda
   Format: MarkdownItexI have this information from Vladimir Guletskii. Maybe somebody could post/advertise it on nCafe as well. The deadlines are really soon so it is an urgent information. The Department of Mathematical Sciences of the **University of Liverpool** has one __EPSRC DTG studentship award for research leading to a PhD starting on 1 October 2012__. Dr Jon Woolf proposes the following PhD research programme for this vacancy to work under his supervision: Directed homotopy theory and (infinity,1)-categories Directed homotopy theory studies spaces equipped with some notion of direction or ordering of points; there are several variants but the most relevant one for this project is **locally pre-ordered spaces**. These are spaces such that the points of each open subset are pre-ordered (suitably compatibly with the topology, and with the other local pre-orders). There are many natural examples: stratified spaces (points in higher codimension strata are deeper), space-time (ordered by causality), geometric simplices (points have the same `level' as the highest vertex in the closure of the face in which they lie), and more generally geometric realisations of simplicial sets. The initial aim of this project is to study an analogue of Grothendieck's homotopy hypothesis `homotopy-types are infinity-groupoids, i.e. (infinity,0)-categories'; namely that `directed homotopy types are (infinity,1)-categories'. (Here, by a directed homotopy type we mean a directed space up to equivalence under an *un*directed notion of homotopy. Working with directed homotopies is also interesting, but leads to a different theory.) To be more precise, the aim is to set up a model structure on the category of locally pre-ordered spaces which is Quillen equivalent, via directed analogues of the singular simplicial set and geometric realisation functors, to the Joyal model structure on simplicial sets. The fibrant objects of the latter are precisely the quasi-categories, i.e. the simplicial models of (infinity,1)-categories. The conjectural model structure on locally pre-ordered spaces should have a close connection with well-studied notions in the homotopy theory of stratified spaces (and from this it would derive much of its interest). In particular, the fibrant objects should include Quinn's homotopically stratified sets, and for these weak equivalence should specialise to stratum-preserving homotopy equivalence. The Initial applications (CV and Personal Statement on Research) can be emailed to jonwoolf@liverpool.ac.uk

   I have this information from Vladimir Guletskii. Maybe somebody could post/advertise it on nCafe as well. The deadlines are really soon so it is an urgent information.

   The Department of Mathematical Sciences of the University of Liverpool has one EPSRC DTG studentship award for research leading to a PhD starting on 1 October 2012. Dr Jon Woolf proposes the following PhD research programme for this vacancy to work under his supervision:

   Directed homotopy theory and (infinity,1)-categories

   Directed homotopy theory studies spaces equipped with some notion of direction or ordering of points; there are several variants but the most relevant one for this project is locally pre-ordered spaces. These are spaces such that the points of each open subset are pre-ordered (suitably compatibly with the topology, and with the other local pre-orders). There are many natural examples: stratified spaces (points in higher codimension strata are deeper), space-time (ordered by causality), geometric simplices (points have the same ‘level’ as the highest vertex in the closure of the face in which they lie), and more generally geometric realisations of simplicial sets.

   The initial aim of this project is to study an analogue of Grothendieck’s homotopy hypothesis

   ‘homotopy-types are infinity-groupoids, i.e. (infinity,0)-categories’;

   namely that ‘directed homotopy types are (infinity,1)-categories’.

   (Here, by a directed homotopy type we mean a directed space up to equivalence under an undirected notion of homotopy. Working with directed homotopies is also interesting, but leads to a different theory.) To be more precise, the aim is to set up a model structure on the category of locally pre-ordered spaces which is Quillen equivalent, via directed analogues of the singular simplicial set and geometric realisation functors, to the Joyal model structure on simplicial sets. The fibrant objects of the latter are precisely the quasi-categories, i.e. the simplicial models of (infinity,1)-categories.

   The conjectural model structure on locally pre-ordered spaces should have a close connection with well-studied notions in the homotopy theory of stratified spaces (and from this it would derive much of its interest). In particular, the fibrant objects should include Quinn’s homotopically stratified sets, and for these weak equivalence should specialise to stratum-preserving homotopy equivalence.

   The Initial applications (CV and Personal Statement on Research) can be emailed to jonwoolf@liverpool.ac.uk

2. • CommentRowNumber2.
   • CommentAuthorzskoda
   • CommentTimeSep 4th 2012
   • PermaLink
   Author: zskoda
   Format: MarkdownItexLet me remind you of this urgent entry if you know somebody interested.

   Let me remind you of this urgent entry if you know somebody interested.

3. • CommentRowNumber3.
   • CommentAuthorDavid_Corfield
   • CommentTimeSep 4th 2012
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexI posted it at the [Cafe](http://golem.ph.utexas.edu/category/2012/08/directed_homotopy_at_liverpool.html). I wonder if there's an effect working here that I've seen in philosophy. It's much easier to fill a postdoc with prescribed content than a PhD position.

   I posted it at the Cafe. I wonder if there’s an effect working here that I’ve seen in philosophy. It’s much easier to fill a postdoc with prescribed content than a PhD position.

4. • CommentRowNumber4.
   • CommentAuthorzskoda
   • CommentTimeSep 4th 2012
   • PermaLink
   Author: zskoda
   Format: MarkdownItexGreat, thanx.

   Great, thanx.