28 November 2016:
1) Daniel Cicala passed his oral exam today! He spoke about this paper that he put on the arXiv last week:
* [Spans of cospans](https://arxiv.org/abs/1611.07886).
> **Abstract.** We introduce the notion of a span of cospans and define, for them, horizontal and vertical composition. These compositions satisfy the interchange law if working in a topos C and if the span legs are monic. A bicategory is then constructed from C-objects, C-cospans, and doubly monic spans of C-cospans. The primary motivation for this construction is an application to graph rewriting.
2) Tobias Fritz is visiting us! He'll be speaking in the network theory seminar tomorrow and also joining our group meeting on Wednesday at 11 am. Here's his talk:
* [Inferring hidden network structure: the case of causal inference](https://simons.berkeley.edu/talks/tobias-fritz-12-06-2016).
> **Abstract.** The problem of causal inference is to determine if a given probability distribution on observed variables is compatible with some hypothetical Bayesian network structure. In the presence of hidden nodes (unobserved variables), this is a challenging problem for which no exact methods are known. The inflation technique of [http://arxiv.org/abs/1609.00672](http://arxiv.org/abs/1609.00672) provides a new practical tool for approaching this problem. It has the potential to be generalized to other kinds of networks, in particular those that live in semicartesian monoidal categories.
3) My former grad student Chris Rogers will be giving a special seminar on symplectic stuff on Thursday 3:40-5:00, either in the Undergraduate Study Room or in some better room like room 284 or 268 - it's not exactly clear, but I'll try to inform you when I find out.
It will be very good for Brandon and Adam to attend this, since they're doing symplectic stuff. However, Chris will blow them out of the water with his erudition.
* From Hamiltonian mechanics to homotopy Lie theory
> **Abstract.** In Hamiltonian mechanics, physicists model the phase space of a physical system using symplectic geometry, and they use Lie algebras to describe the space's infinitesimal symmetries. Given such a Lie algebra of symmetries, the geometry naturally produces a new Lie algebra called a "central extension''. This central extension plays a crucial role, especially in quantum mechanics. The famous Heisenberg algebra, for example, arises precisely in this way.
> In this talk, I will explain how the above recipe can be enhanced to geometrically produce examples of "homotopy Lie algebras''. A homotopy Lie algebra is a topologist's version of a Lie algebra: a chain complex equipped with structures which satisfy the axioms of a Lie algebra only up to chain homotopy. They provide important tools for rational homotopy theory and deformation theory. The homotopy Lie algebras produced from our construction turn out to have interesting relationships with the theory of loop groups and what are called "string structures'' in algebraic topology