Not signed in (Sign In)

Not signed in

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

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry beauty bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality education elliptic-cohomology enriched fibration foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homology homotopy homotopy-theory homotopy-type-theory index-theory infinity integration integration-theory k-theory kan lie lie-theory limit limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal-logic model model-category-theory monad monoidal monoidal-category-theory morphism motives motivic-cohomology nonassociative noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics planar pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

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

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
  • Tim_Porter

    Researcher

  • Someone researching in the library
  • Real Name

    Timothy Porter

  • Email

  • Account Created

    Jan 27th 2009

  • Last Active

    3 days ago

  • Visit Count

    919

  • Discussions Started

    305

  • Comments Added

    2330

About Tim_Porter

I was Professor in Mathematics in the University of Wales, Bangor, until 2005, when they shut the mathematics department down. (Please do not react by saying 'a university without a maths department! How is that possible?' The answer is 'It is all too easy in some education systems'.)

Since the closure, I have been, amongst other things, a visiting professor/researcher in Ottawa, Galway, Paris, Granada, and have given numerous workshop and seminar talks (Lisbon, Porto, Barcelona, Cardiff, Luminy, IHP, LiX). I was a CNRS visitor in Lyon (France) working with Philippe Malbos and Yves Guiraud and in autumn 2011, visited the Université de Savoie, Chambery on a research visit. More recently I have visited Granada for four weeks followed by short visits to Logrono and Madrid, the Max Planck Institut for a short visit during the season `Higher structures in geometry and physics'and a research visit to Louvain-la-Neuve. Nearer home I gave a talk at the meeting on `Modelling topological phases of matter' in Leeds, and further afield again visited Logrono for the Métodos Categóricos y Homotópicos en Álgebra, Geometría y Topología.

I was a member of the program committee for Higher-Dimensional Rewriting and Applications in 2015 and 2016 and continued that role in 2017. It looks likely to continue for 2018.

I am an `emeritus member' of WIMCS and helped organise a WIMCS related workshop in Cardiff in 2011 on Higher Gauge Theory, TQFTs and categorification. I am a Fellow of the Learned Society of Wales.

View blog posts...