Cartesian differential categories as skew enriched categories

Richard Garner (Macquarie University).

Zoom (Meeting ID 926 3105 8994, passcode 345661).

Tuesday 08 June 2021, 10:00-11:30

Categorical Models of Explicit Substitutions

Valeria de Paiva (Topos Institute).

Zoom (Meeting ID 996 6732 5570, passcode 109362).

Tuesday 01 June 2021, 16:15-17:15

Categorical composable cryptography

Martti Karvonen (University of Ottawa).

Zoom (Meeting ID 937 8091 1329, passcode 001582).

Tuesday 25 May 2021, 16:15-17:15

The Gödel fibration

Davide Trotta (University of Pisa).

Zoom (Meeting ID 945 3662 6774, passcode 086714).

Tuesday 11 May 2021, 16:15-17:15

A characterisation of the category of compact Hausdorff spaces

Luca Reggio (University of Oxford).

Zoom (Meeting ID 916 7928 3736, passcode 844306).

Tuesday 09 March 2021, 14:15-15:15

On the categorical structure behind Galois theories

David Blázquez-Sanz, Universidad Nacional de Colombia.

Zoom (Meeting ID 993 6591 2480, passcode 493042).

Tuesday 16 February 2021, 16:15-17:15

Large categories and quantifiers in topos theory

Michael Shulman (University of San Diego).

Zoom (Meeting ID 943 7534 6045, passcode 252455).

Tuesday 26 January 2021, 16:15-17:15

Large categories and quantifiers in topos theory

Michael Shulman (University of San Diego).

Zoom (Meeting ID 943 7534 6045, passcode 252455).

Tuesday 26 January 2021, 16:15-17:15

Isotropy Groups of Quasi-Equational Theories

Jason Parker, Brandon University.

Zoom (Meeting ID 916 7928 3736, passcode 844306).

Tuesday 01 December 2020, 14:15-15:15

A 2-dimensional bifunctor theorem

Graham Manuell.

Zoom (Meeting ID 916 7928 3736, passcode 844306).

Tuesday 17 November 2020, 14:15-15:15

Quillen model structures from models of HoTT

Steve Awodey (Departments of Philosophy and Mathematics, Carnegie Mellon University).

Zoom (Meeting ID 916 7928 3736, passcode 844306).

Tuesday 20 October 2020, 14:15-15:15

D-ultrafilter monads

Lurdes Sousa (CMUC, University of Coimbra & IP Viseu).

MR4, Centre for Mathematical Sciences.

Tuesday 11 February 2020, 14:15-15:15

Characterizing weakly Schreier extensions of monoids

Peter Faul (University of Cambridge).

MR4, Centre for Mathematical Sciences.

Tuesday 04 February 2020, 14:15-15:15

A Formal Approach to Generalisations of Monads

Gabriele Lobbia (University of Leeds).

MR4, Centre for Mathematical Sciences.

Tuesday 21 January 2020, 14:15-15:15

Zariski-type spectra of localic rings and monoids

Graham Manuell (University of Edinburgh).

MR4, Centre for Mathematical Sciences.

Tuesday 03 December 2019, 14:15-15:15

Coherence through normalisation-by-evaluation for cartesian closed bicategories

Philip Saville (University of Edinburgh).

MR4, Centre for Mathematical Sciences.

Tuesday 12 November 2019, 14:15-15:15

Toposes for modified realizability

Dr. Benno van den Berg (University of Amsterdam).

MR4, Centre for Mathematical Sciences.

Thursday 17 October 2019, 14:15-15:15

On the Theory of Higher Subtopoi

Eric Finster (Inria - Nantes).

MR4, Centre for Mathematical Sciences.

Tuesday 28 May 2019, 14:15-15:15

Metric Algebra

Marcelo Fiore (University of Cambridge) .

MR4, Centre for Mathematical Sciences.

Tuesday 07 May 2019, 14:15-15:15

Betweenness reals: How to do Dedekind cuts when you don't know which way is up

Peter Johnstone (DPMMS).

MR4, Centre for Mathematical Sciences.

Tuesday 30 April 2019, 14:15-15:15

The Legendre-Fenchel transform from a category theoretic perspective

Simon Willerton (University of Sheffield).

MR4, Centre for Mathematical Sciences.

Tuesday 05 March 2019, 14:15-15:15

Internal Language of Higher Categories

Karol Szumiło (University of Leeds).

MR4, Centre for Mathematical Sciences.

Tuesday 26 February 2019, 14:15-15:15

Locally graded categories

Paul Levy (University of Birmingham).

MR4, Centre for Mathematical Sciences.

Tuesday 12 February 2019, 14:15-15:15

A new proof of the lattice property of the Tamari order

Noam Zeilberger (University of Birmingham).

MR4, Centre for Mathematical Sciences.

Tuesday 05 February 2019, 14:15-15:15

Univalent Universes of Sets

Andrew Pitts (University of Cambridge).

MR4, Centre for Mathematical Sciences.

Tuesday 27 November 2018, 14:15-15:15

Univalent Completion

Ieke Moerdijk (University of Utrecht).

MR5, Centre for Mathematical Sciences.

Tuesday 13 November 2018, 14:15-15:15

A Model Invariance Problem in Homotopy Type Theory

Anthony Bordg (University of Cambridge).

MR4, Centre for Mathematical Sciences.

Tuesday 30 October 2018, 14:15-15:15

No-Go Theorems for Distributive Laws

Maaike Zwart (University of Oxford).

MR4, Centre for Mathematical Sciences.

Tuesday 23 October 2018, 14:15-15:15

Dagger limits

Martti Karvonen (University of Edinburgh).

MR4, Centre for Mathematical Sciences.

Tuesday 18 September 2018, 14:15-15:15

Uniform Kan fibrations from scratch

Eric Faber (DPMMS).

MR3, Centre for Mathematical Sciences.

Tuesday 15 May 2018, 14:15-15:15

New methods for left exact localizations of topoi

Mathieu Anel (Université Paris Diderot).

MR4, Centre for Mathematical Sciences.

Tuesday 24 April 2018, 14:15-15:15

Elementary embeddings for category theory

Andrew Brooke-Taylor (University of Leeds).

MR5, Centre for Mathematical Sciences.

Tuesday 13 March 2018, 14:15-15:15

Comonad cohomology of track categories

Simona Paoli (University of Leicester).

MR5, Centre for Mathematical Sciences.

Tuesday 06 March 2018, 14:15-15:15

What does it mean to be Hopf?

Ignacio Lopez Franco (Universidad de la República).

MR5, Centre for Mathematical Sciences.

Tuesday 20 February 2018, 14:15-15:15

Constructing models of constructive or intuitionistic set theory from classical models of set theory

Robert Passmann (University of Amsterdam).

MR5, Centre for Mathematical Sciences.

Tuesday 13 February 2018, 15:45-16:45

A characterisation of the congruence biframe

Graham Manuell (University of Edinburgh).

MR5, Centre for Mathematical Sciences.

Tuesday 13 February 2018, 14:15-15:15

Perfect toposes and infinitesimal weak generation

Peter Johnstone (DPMMS).

MR5, Centre for Mathematical Sciences.

Tuesday 06 February 2018, 14:15-15:15

Univalent polymorphism

Benno van den Berg (University of Amsterdam).

MR5, Centre for Mathematical Sciences.

Tuesday 30 January 2018, 14:15-15:15

Sattler model structures

Nicola Gambino (University of Leeds).

MR11, Centre for Mathematical Sciences.

Thursday 18 January 2018, 10:00-11:00

Skew monoidal structure on categories of algebras

Philip Saville (University of Cambridge).

MR5, Centre for Mathematical Sciences.

Tuesday 28 November 2017, 14:15-15:15

Two-Level Type Theory

Nicolai Kraus (University of Nottingham).

MR5, Centre for Mathematical Sciences.

Tuesday 07 November 2017, 14:15-15:15

Equilogical spaces and algebras for a double-power monad

Giulia Frosoni (University of Genoa).

MR5, Centre for Mathematical Sciences.

Tuesday 24 October 2017, 14:15-15:15

Enriched Internal Categories

Enrico Ghiorzi (University of Cambridge).

MR5, Centre for Mathematical Sciences.

Tuesday 17 October 2017, 14:15-15:15

Ultrafilters, ultraproducts and ultracategories

Richard Garner, Macquarie University, Sydney, Australia.

MR5, Centre for Mathematical Sciences.

Thursday 10 August 2017, 14:15-15:15

Magnitude homology

Tom Leinster (University of Edinburgh).

MR5, Centre for Mathematical Sciences.

Tuesday 30 May 2017, 14:15-15:15

List objects with algebraic structure

Philip Saville (University of Cambridge).

MR5, Centre for Mathematical Sciences.

Tuesday 23 May 2017, 14:15-15:15

Embedding theorems for (regular) Mal'tsev categories

Pierre-Alain Jacqmin (Université catholique de Louvain).

MR5, Centre for Mathematical Sciences.

Tuesday 16 May 2017, 14:15-15:15

Homology of monoids with coefficients in group completion

Nigel Burke (University of Cambridge).

MR5, Centre for Mathematical Sciences.

Tuesday 09 May 2017, 14:15-15:15

Lie's Third Theorem in Synthetic Differential Geometry

Matthew Burke (MathSpire Ltd).

MR5, Centre for Mathematical Sciences.

Tuesday 02 May 2017, 14:15-15:15

Hopf Formulae for TOR

Julia Goedecke (University of Cambridge).

MR5, Centre for Mathematical Sciences.

Tuesday 14 March 2017, 14:15-15:15

Fibration categories and models for higher categories

Christian Sattler (University of Leeds).

MR5, Centre for Mathematical Sciences.

Tuesday 07 March 2017, 14:15-15:15

Split extensions of bialgebras

Tim Van der Linden (Université catholique de Louvain).

MR5, Centre for Mathematical Sciences.

Tuesday 28 February 2017, 14:15-15:15

Abstract Systems and Sheaves

Christina Vasilakopoulou (Université Libre de Bruxelles).

MR5, Centre for Mathematical Sciences.

Tuesday 21 February 2017, 14:15-15:15

Metric spaces and synthetic differential geometry

Anders Kock (Aarhus University).

MR5, Centre for Mathematical Sciences.

Tuesday 14 February 2017, 14:15-15:15

Gluing models of type theory

Sean Moss (University of Cambridge).

MR5, Centre for Mathematical Sciences.

Tuesday 07 February 2017, 14:15-15:15

Homotopy type theory and algebraic weak factorization systems

Nicola Gambino (University of Leeds).

MR5, Centre for Mathematical Sciences.

Tuesday 31 January 2017, 14:15-15:15

Logic programming: laxness and saturation

John Power (University of Bath).

MR5, Centre for Mathematical Sciences.

Tuesday 24 January 2017, 14:15-15:15

Globular: Higher categories, the easy way

Jamie Vicary (University of Oxford).

MR5, Centre for Mathematical Sciences.

Tuesday 29 November 2016, 14:15-15:15

Minimal dense C*-embedded sublocales

Peter Johnstone (DPMMS).

MR5, Centre for Mathematical Sciences.

Tuesday 22 November 2016, 14:15-15:15

Coordinatization of Countable MV algebras

Philip Scott (University of Ottawa).

MR5, Centre for Mathematical Sciences.

Tuesday 08 November 2016, 14:15-15:15

Displayed categories

Benedikt Ahrens (INRIA Nantes).

MR5, Centre for Mathematical Sciences.

Tuesday 01 November 2016, 14:15-15:15

Semi-Segal types in Homotopy Type Theory

Paolo Capriotti (University of Nottingham).

MR5, Centre for Mathematical Sciences.

Tuesday 25 October 2016, 14:15-15:15

Infinitesimal models of theories

Filip Bár (DPMMS).

MR5, Centre for Mathematical Sciences.

Tuesday 18 October 2016, 14:15-15:15

Effect Algebroids

Frank Roumen (University of Cambridge).

MR5, Centre for Mathematical Sciences.

Tuesday 11 October 2016, 14:15-15:15

Using the internal language of toposes in algebraic geometry

Ingo Blechschmidt (University of Augsburg).

MR5, Centre for Mathematical Sciences.

Tuesday 24 May 2016, 14:15-15:15

What does the universal measuring coalgebra measures?

Dr Ignacio Lopez Franco (University of Cambridge).

MR5, Centre for Mathematical Sciences.

Tuesday 17 May 2016, 14:15-15:15

Maximal flat extensions and DeMorganization of locales

Prof. P. T. Johnstone.

MR5, Centre for Mathematical Sciences.

Tuesday 03 May 2016, 14:15-15:15

Operads as polynomial 2-monads

Mark Weber (Macquarie University).

MR5, Centre for Mathematical Sciences.

Tuesday 26 April 2016, 14:15-15:15

Obstructions in the Deformation Theory of Pasting Diagrams: Shrestha's Polygonal Method.

David Yetter (Kansas State University).

MR4, Centre for Mathematical Sciences.

Tuesday 12 April 2016, 14:15-15:15

Weakly globular n-fold categories

Simona Paoli (University of Leicester).

MR5, Centre for Mathematical Sciences.

Tuesday 08 March 2016, 14:15-15:15

An Algebraic Combinatorial Approach to Opetopic Structure

Marcelo Fiore (University of Cambridge).

MR5, Centre for Mathematical Sciences.

Tuesday 01 March 2016, 14:15-15:15

Syntax-semantics adjunctions

Tom Avery (University of Edinburgh).

MR5, Centre for Mathematical Sciences.

Tuesday 23 February 2016, 14:15-15:15

Another look at simple reflections

Dr Ignacio Lopez Franco (University of Cambridge).

MR5, Centre for Mathematical Sciences.

Tuesday 16 February 2016, 14:15-15:15

Cartesian Essential Inclusions of Grothendieck Toposes

Guilherme Lima de Carvalho e Silva (University of Cambridge).

MR5, Centre for Mathematical Sciences.

Tuesday 09 February 2016, 14:15-15:15

On the relation between continuous and combinatorial cohesion

P. T. Johnstone (DPMMS).

MR5, Centre for Mathematical Sciences.

Tuesday 26 January 2016, 14:15-15:15

Constructive conceptual completeness for regular logic

Panagis Karazeris (University of Patras).

MR4, Centre for Mathematical Sciences.

Tuesday 12 January 2016, 14:15-15:15

Another viewpoint on cartesian theories

Zhen Lin Low (University of Cambridge).

MR5, Centre for Mathematical Sciences.

Tuesday 24 November 2015, 14:15-15:15

A Synthetic Version of Lie's Second Theorem

Matthew Burke (Masaryk University).

MR5, Centre for Mathematical Sciences.

Tuesday 17 November 2015, 14:15-15:15

Abstract aspects of commutativity

Ignacio Lopez Franco (University of Cambridge).

MR5, Centre for Mathematical Sciences.

Tuesday 10 November 2015, 14:15-15:15

A cotangent complex formalism via integral model structures

Matan Prezma (Radboud University).

MR5, Centre for Mathematical Sciences.

Tuesday 27 October 2015, 14:15-15:15

Two dimensional Lawvere Theories

John Power (University of Bath).

MR5, Centre for Mathematical Sciences.

Tuesday 20 October 2015, 14:15-15:15

Exact completion for fibration categories

Benno van der Berg (Universiteit van Amsterdam).

MR4, Centre for Mathematical Sciences.

Tuesday 29 September 2015, 14:15-15:15

Polynomial and Analytic Functors and Monads, revisited.

Marek Zawadowski (University of Warsaw).

MR4, Centre for Mathematical Sciences.

Wednesday 16 September 2015, 14:15-15:15

Synthetic differentiation of species

Richard Garner (Macquarie University).

MR2, Centre for Mathematical Sciences.

Wednesday 03 June 2015, 14:15-15:15

Closure operators and central extensions in the category of quandles

Marino Gran (Université Catholique de Louvain).

MR5, Centre for Mathematical Sciences.

Tuesday 26 May 2015, 14:15-15:15

Generalising the functor of points approach

Zhen Lin Low - DPMMS .

MR5, Centre for Mathematical Sciences.

Tuesday 19 May 2015, 14:15-15:15

Weak factorization systems for intensional type theory

Paige North - DPMMS ( DPMMS).

MR5, Centre for Mathematical Sciences.

Tuesday 12 May 2015, 14:15-15:15

Skew monoidal structures in 2-category theory

John Bourke (Masaryk University).

MR5, Centre for Mathematical Sciences.

Tuesday 28 April 2015, 14:15-15:15

Covariant fibrations and diagrams of spaces

Ieke Moerdijk (Radboud University).

MR3, Centre for Mathematical Sciences.

Tuesday 10 March 2015, 14:15-15:15

Ex-infinity

Sean Moss (DPMMS).

MR3, Centre for Mathematical Sciences.

Tuesday 03 March 2015, 14:15-15:15

Algebraically coherent categories: definition, examples and basic properties

Tim Van der Linden (Université catholique de Louvain).

MR3, Centre for Mathematical Sciences.

Tuesday 17 February 2015, 14:15-15:15

KZ diagonal fillers

Ignacio Lopez Franco (University of Cambridge).

MR3, Centre for Mathematical Sciences.

Tuesday 10 February 2015, 14:15-15:15

Universal geometric tensor categories

Daniel Schappi (University of Sheffield).

MR5, Centre for Mathematical Sciences.

Tuesday 27 January 2015, 14:15-15:30

Completion, closure, and density relative to a monad, with examples in functional analysis and sheaf theory

Rory Lucyshyn-Wright. University of Cambridge.

MR5, Centre for Mathematical Sciences.

Tuesday 20 January 2015, 14:15-15:30

A non-abelian Verdier's hypercovering theorem

Zhen Lin Low (University of Cambridge).

MR5, Centre for Mathematical Sciences.

Tuesday 02 December 2014, 14:15-15:30

Three notions of symmetric monoidal 2-category

Nick Gurski (University of Sheffield)..

MR5, Centre for Mathematical Sciences.

Tuesday 25 November 2014, 14:15-15:30

Functoriality of modified realizability

Peter T. Johnstone (University of Cambridge).

MR5, Centre for Mathematical Sciences.

Tuesday 18 November 2014, 14:15-15:30

Categorical models of effects and resources

Marcelo Fiore (University of Cambridge).

MR5, Centre for Mathematical Sciences.

Tuesday 04 November 2014, 14:15-15:30

Symmetric monoidal closed categories relative to a base

Rory Lucyshyn-Wright.

MR5, Centre for Mathematical Sciences.

Tuesday 28 October 2014, 14:15-15:30

A new take on arithmetic universes.

Martin Hyland.

MR5, Centre for Mathematical Sciences.

Tuesday 21 October 2014, 14:15-15:30

Lax orthogonal factorisation systems

Dr Ignacio Lopez Franco (University of Cambridge).

MR5, Centre for Mathematical Sciences.

Tuesday 27 May 2014, 14:15-15:15

Type Theory and Regular Completions

Enrico Ghiorzi.

MR5, Centre for Mathematical Sciences.

Tuesday 13 May 2014, 14:15-15:15

Internal homotopy theory via classical completeness

Zhen Lin Low, DPMMS.

MR5, Centre for Mathematical Sciences.

Tuesday 06 May 2014, 14:15-15:15

The lfc Grothendieck topology

Ieke Moerdijk, Raboud University Nijmegen.

MR5, Centre for Mathematical Sciences.

Tuesday 11 March 2014, 14:15-15:15

Modelling homotopy types by internal categories

Pouya Adrom.

MR5, Centre for Mathematical Sciences.

Tuesday 04 March 2014, 14:15-15:15

Title to be confirmed

Pouya Adrom.

MR5, Centre for Mathematical Sciences.

Tuesday 04 March 2014, 14:15-15:15

Categorical structure for conditional independence

Alex Simpson, Edinburgh.

MR5, Centre for Mathematical Sciences.

Tuesday 25 February 2014, 14:15-15:15

Title to be confirmed

Dimitri Chikhladze, Coimbra.

MR5, Centre for Mathematical Sciences.

Tuesday 18 February 2014, 14:15-15:15

Hopf monads and Eilenberg-Moore completions

Ignacio Lopez Franco, DPMMS.

MR5, Centre for Mathematical Sciences.

Tuesday 11 February 2014, 14:15-15:15

Applying Category Theory to Complex Systems Theory: Ehresmann's and Vanbremeersch's Memory Evolutive Systems

Filip Bár, DPMMS.

MR5, Centre for Mathematical Sciences.

Tuesday 04 February 2014, 14:15-15:15

Commutation of Limits and Colimits -- a Cautionary Tale

Peter Johnstone, DPMMS.

MR5, Centre for Mathematical Sciences.

Tuesday 28 January 2014, 14:15-15:15

The Category of Sets according to Stratified Set Theories

Thomas Forster, DPMMS.

MR5, Centre for Mathematical Sciences.

Tuesday 21 January 2014, 14:15-15:15

What are accessible algebraic weak factorisation systems generated by?

John Bourke, Brno.

MR5, Centre for Mathematical Sciences.

Tuesday 03 December 2013, 14:15-15:15

Title to be confirmed

Paige North, DPMMS.

MR5, Centre for Mathematical Sciences.

Tuesday 26 November 2013, 14:15-15:15

A functional interpretation of type theory

Tamara von Glehn, DPMMS.

MR5, Centre for Mathematical Sciences.

Tuesday 19 November 2013, 14:15-15:15

The homsets of 2-internalization

Dany Majard, Brno.

MR5, Centre for Mathematical Sciences.

Tuesday 12 November 2013, 14:15-15:15

Towards categorical model theory

Jiří Rosický, Brno.

MR5, Centre for Mathematical Sciences.

Tuesday 05 November 2013, 14:15-15:15

A factorization of constant object functors

Jonas Frey, Cambridge.

MR5, Centre for Mathematical Sciences.

Tuesday 29 October 2013, 14:15-15:15

From logic programming to coalgebra; from coalagebra to coalgebraic logic programming

John Power, Bath.

MR5, Centre for Mathematical Sciences.

Tuesday 22 October 2013, 14:15-15:15

The homotopy bicategory of (∞, 1)-categories

Zhen Lin Low, DPMMS.

MR5, Centre for Mathematical Sciences.

Tuesday 15 October 2013, 14:15-15:15

Exponentiable Toposes

Guilherme Lima, DPMMS.

MR11, Centre for Mathematical Sciences.

Tuesday 28 May 2013, 14:15-15:15

A constructive approach to geometric algebra

Achilleas Kryftis, DPMMS.

MR5, Centre for Mathematical Sciences.

Tuesday 21 May 2013, 14:15-15:15

Adjunctions between fibrations

Christina Vasilakopoulou, DPMMS.

MR5, Centre for Mathematical Sciences.

Tuesday 14 May 2013, 14:15-15:15

Universes for category theory

Zhen Lin Low, DPMMS.

MR9, Centre for Mathematical Sciences.

Tuesday 07 May 2013, 14:15-15:15

Well adapted models in Synthetic Differential Geometry

Filip Bár, DPMMS.

MR5, Centre for Mathematical Sciences.

Tuesday 30 April 2013, 14:15-15:15

Internal algebra classifiers and their applications

Michael Batanin, Macquarie University, Australia.

MR15, Centre for Mathematical Sciences.

Tuesday 23 April 2013, 14:15-15:15

A categorical approach to loops, neardomains and nearfields

Rudger Kieboom, Vrije Universiteit Brussel, Belgium.

MR5, Centre for Mathematical Sciences.

Tuesday 12 March 2013, 14:15-15:15

Abstract versions of Hilbert's Nullstellensatz, and dualities for algebraic categories

Vincenzo Marra, Milan.

MR5, Centre for Mathematical Sciences.

Tuesday 05 March 2013, 14:15-15:15

The fundamental group as a Kan extension

Julia Goedecke, DPMMS.

MR5, Centre for Mathematical Sciences.

Tuesday 26 February 2013, 14:15-15:15

Entropy is inevitable

Tom Leinster, Edinburgh.

MR5, Centre for Mathematical Sciences.

Tuesday 19 February 2013, 14:15-15:15

Generalised Polynomial Functors: Theory and Applications

Marcelo Fiore, University of Cambridge.

MR5, Centre for Mathematical Sciences.

Tuesday 12 February 2013, 14:15-15:15

Monotone-light factorisation systems

Tomas Everaert, Belgium.

MR5, Centre for Mathematical Sciences.

Tuesday 05 February 2013, 15:00-15:45

Universal central extensions in peri-abelian categories

Tim Van der Linden, Université catholique de Louvain, Belgium.

MR5, Centre for Mathematical Sciences.

Tuesday 05 February 2013, 14:15-15:00

Some remarks on 2-star-permutability and descent in regular categories.

Marino Gran, Universite catholique de Louvain, Belgium.

MR5, Centre for Mathematical Sciences.

Tuesday 29 January 2013, 14:15-15:15

Topological Galois Theory

Olivia Caramello, DPMMS.

MR5, Centre for Mathematical Sciences.

Tuesday 27 November 2012, 14:15-15:15

Commutative monads, distributions, and differential categories

Anders Kock, Aarhus, Denmark.

MR5, Centre for Mathematical Sciences.

Tuesday 20 November 2012, 14:15-15:15

Coherence for symmetric monoidal bicategories

Nick Gurski, Sheffield.

MR5, Centre for Mathematical Sciences.

Tuesday 13 November 2012, 14:15-15:15

On constructing free algebras and properties of free Heyting algebras

Dion Coumans, Nijmegen, Netherlands.

MR5, Centre for Mathematical Sciences.

Tuesday 06 November 2012, 14:15-15:15

Grothendieck topologies and Grothendieck quantales

Isar Stubbe, Calais, France.

MR4, Centre for Mathematical Sciences.

Tuesday 30 October 2012, 14:15-15:15

Geometric morphisms between relizability toposes

Peter Johnstone, DPMMS, Cambridge.

MR5, Centre for Mathematical Sciences.

Tuesday 23 October 2012, 14:15-15:15

Lie structure in Logic wiring

Marcelo Fiore, Cambridge.

MR5, Centre for Mathematical Sciences.

Tuesday 16 October 2012, 14:15-15:15

A categorical view of classical lambda calculus

Martin Hyland, DPMMS, Cambridge.

MR5, Centre for Mathematical Sciences.

Tuesday 09 October 2012, 14:15-15:15

Categories and profunctors via free cocompletions

Richard Garner, Macquarie University, Sidney, Australia.

MR4, Centre for Mathematical Sciences.

Monday 17 September 2012, 14:15-15:15

The Algebra of Directed Acyclic Graphs

Marco Devesas Campos, Computer Laboratory, Cambridge.

MR5, Centre for Mathematical Sciences.

Tuesday 22 May 2012, 14:15-15:15

Polynomial Functors and the Dialectics interpretation

Martin Hyland, DPMMS.

MR5, Centre for Mathematical Sciences.

Tuesday 15 May 2012, 14:15-15:15

Characterising realisability toposes

Jonas Frey, Paris.

MR5, Centre for Mathematical Sciences.

Tuesday 08 May 2012, 14:15-15:15

Viewpoints on Homology

Julia Goedecke, DPMMS.

MR5, Centre for Mathematical Sciences.

Tuesday 01 May 2012, 14:15-15:15

The Herbrand topos

Benno van den Berg, University of Utrecht.

MR5, Centre for Mathematical Sciences.

Tuesday 17 April 2012, 14:15-15:15

Barren structures and badly behaved monads on the category of sets.

Nathan Bowler, Hamburg.

MR5, Centre for Mathematical Sciences.

Tuesday 13 March 2012, 14:15-15:15

Classical Realizability

Jaap van Oosten, Utrecht.

MR5, Centre for Mathematical Sciences.

Tuesday 06 March 2012, 14:15-15:15

Restriction categories as enriched categories

Richard Garner, Macquarie University, Australia.

MR5, Centre for Mathematical Sciences.

Tuesday 28 February 2012, 15:00-15:45

Multivariable adjunctions and mates

Eugenia Cheng, Sheffield.

MR5, Centre for Mathematical Sciences.

Tuesday 28 February 2012, 14:15-15:00

Isomorphisms of types in the presence of higher-order references

Pierre Clairambault, Cambridge.

MR5, Centre for Mathematical Sciences.

Tuesday 21 February 2012, 14:15-15:15

Parameterized algebraic theories and computational effects

Sam Staton, Cambridge.

MR5, Centre for Mathematical Sciences.

Tuesday 14 February 2012, 14:15-15:15

Applying Category Theory to conceptual questions in the foundations of Geometric Algebra

Filip Bar.

MR5, Centre for Mathematical Sciences.

Tuesday 07 February 2012, 14:15-15:15

Omega-categories in terms of chain complexes

Richard Steiner, Glasgow.

MR5, Centre for Mathematical Sciences.

Tuesday 31 January 2012, 14:15-15:15

Characterizations of categories of commutative C*-subalgebras

Chris Heunen, Oxford.

MR5, Centre for Mathematical Sciences.

Thursday 12 January 2012, 14:15-15:15

Introduction to semi-abelian categories

Julia Goedecke, DPMMS.

MR5, Centre for Mathematical Sciences.

Tuesday 29 November 2011, 14:15-15:15

Concurrent Games

Glynn Winskel, Computer Laboratory, University of Cambridge.

MR5, Centre for Mathematical Sciences.

Tuesday 22 November 2011, 14:15-15:15

Toposes as 'bridges' for unifying Mathematics

Olivia Caramello, DPMMS.

MR5, Centre for Mathematical Sciences.

Tuesday 15 November 2011, 14:15-15:15

Composing free Lawvere Theories

Andrei Akhvlediani, Oxford.

MR5, Centre for Mathematical Sciences.

Tuesday 08 November 2011, 14:15-15:15

Selling category theory to the masses: from cooking via animals to google

Bob Coecke, Oxford.

MR5, Centre for Mathematical Sciences.

Tuesday 01 November 2011, 14:15-15:15

Trees for subtoposes of the effective topos

Sori Lee, DPMMS.

MR5, Centre for Mathematical Sciences.

Tuesday 25 October 2011, 14:15-15:15

Lawvere's Nullstellensatz and Sufficient Cohesion

Prof. Peter Johnstone, DPMMS.

MR5, Centre for Mathematical Sciences.

Tuesday 18 October 2011, 14:15-15:15

Biduals and finiteness conditions

Ignacio Lopez Franco, DPMMS.

MR5, Centre for Mathematical Sciences.

Tuesday 11 October 2011, 14:15-15:15

Twisting Structures

Steve Lack, Macquarie University, Australia.

MR3, Centre for Mathematical Sciences.

Thursday 15 September 2011, 14:15-15:15

Homotopy Type Theory and Univalent Foundations of Mathematics III

Chris Kapulkin, University of Pittsburgh.

MR13, Centre for Mathematical Sciences.

Friday 01 July 2011, 14:15-15:15

Homotopy Type Theory and Univalent Foundations of Mathematics II

Chris Kapulkin, University of Pittsburgh.

MR13, Centre for Mathematical Sciences.

Wednesday 29 June 2011, 14:15-15:15

Homotopy Type Theory and Univalent Foundations of Mathematics I

Chris Kapulkin, University of Pittsburgh.

MR13, Centre for Mathematical Sciences.

Tuesday 28 June 2011, 14:15-15:15

The magnitude of an enriched category

Tom Leinster, University of Glasgow.

MR3, Centre for Mathematical Sciences.

Tuesday 14 June 2011, 14:15-15:15

Colimits of Monads

Jiri Adamek, TU Braunschweig.

MR12, Centre for Mathematical Sciences.

Monday 13 June 2011, 13:15-14:30

The relationship between pie, flexible and semiflexible limits.

John Bourke (Brno).

MR11, Centre for Mathematical Sciences.

Tuesday 07 June 2011, 14:15-15:45

Constructing monoidal theories with open-graphs and rewrite categories

Aleks Kissinger, University of Oxford.

MR3, Centre for Mathematical Sciences.

Tuesday 24 May 2011, 14:15-15:45

Protoadditive functors and abstract Galois groups

Marino Gran, Université catholique de Louvain.

MR14, Centre for Mathematical Sciences.

Wednesday 13 April 2011, 14:15-15:45

Lex colimits

Richard Garner.

MR3, Centre for Mathematical Sciences.

Tuesday 15 March 2011, 14:15-15:45

On the Functional Representation of Abstract Clones

Marcelo Fiore (University of Cambridge).

MR3, Centre for Mathematical Sciences.

Tuesday 08 March 2011, 14:15-15:45

On Fusion categories, gradings, and representations of Hopf algebras

Ehud Meir.

MR3, Centre for Mathematical Sciences.

Tuesday 01 March 2011, 14:15-15:15

The Category Theory of Quantum Field Theory

Jamie Vicary, Oxford University Computing Laboratory.

MR3, Centre for Mathematical Sciences.

Tuesday 22 February 2011, 14:15-15:15

Infinity categories and infinity operads

Prof I. Moerdijk, Universiteit Utrecht.

MR3, Centre for Mathematical Sciences.

Tuesday 15 February 2011, 14:15-15:15

Relative Malt'sev and Relative Goursat Categories

Julia Goedecke, University of Cambridge.

MR3, Centre for Mathematical Sciences.

Tuesday 08 February 2011, 14:15-15:15

On model theory, noncommutative geometry and topoi

Boris Zilber, University of Oxford.

MR3, Centre for Mathematical Sciences.

Tuesday 01 February 2011, 14:15-15:15

A topos-theoretic approach to Stone-type dualities

Olivia Caramello, University of Cambridge.

MR3, Centre for Mathematical Sciences.

Tuesday 25 January 2011, 14:15-15:15

Three 2-categories

Mike Prest, University of Manchester.

MR3, Centre for Mathematical Sciences.

Tuesday 30 November 2010, 14:15-15:15

Unwirings and exponentiability in categories of multicategories

Nathan Bowler, University of Cambridge.

MR3, Centre for Mathematical Sciences.

Tuesday 23 November 2010, 14:15-15:15

A construction on strong homotopy algebras.

Marcelo Fiore (University of Cambridge).

MR3, Centre for Mathematical Sciences.

Tuesday 16 November 2010, 14:15-15:15

Duals and invertibility

Ignacio Lopez Franco (University of Cambridge).

MR3, Centre for Mathematical Sciences.

Tuesday 09 November 2010, 14:15-15:15

Free monads in double categories

Nicola Gambino, University of Palermo.

MR3, Centre for Mathematical Sciences.

Tuesday 02 November 2010, 14:15-15:15

The unification of Mathematics via Topos Theory

Olivia Caramello, University of Cambridge.

MR3, Centre for Mathematical Sciences.

Tuesday 26 October 2010, 14:15-15:15

Multicategories

Nathan Bowler, University of Cambridge.

MR3, Centre for Mathematical Sciences.

Tuesday 19 October 2010, 14:15-15:15

Title to be confirmed

Professor Peter Johnstone, DPMMS.

MR4, Centre for Mathematical Sciences.

Tuesday 12 October 2010, 14:15-15:15

On Varieties of Symmetric Monoidal Closed Categories and Dependency of Categorical Diagrams.

Sergei Soloviev, IRIT, Toulouse.

MR9, Centre for Mathematical Sciences.

Thursday 17 June 2010, 14:15-15:15

Freyd's models for the independence of AC as classifying toposes

Professor Peter Johnstone, DPMMS.

MR2, Centre for Mathematical Sciences.

Monday 31 May 2010, 14:15-15:15

Second-Order Universal Algebra, Equational Logic, and Algebraic Theories.

Marcelo Fiore (University of Cambridge).

MR2, Centre for Mathematical Sciences.

Tuesday 25 May 2010, 14:15-15:15

The Scott model of Linear Logic is the extensional collapse of its relational model

Thomas Ehrhard, Université Paris Diderot.

MR4, Centre for Mathematical Sciences.

Thursday 20 May 2010, 10:00-11:00

Kernels and weak factorisation systems

Richard Garner (University of Cambridge).

MR9, Centre for Mathematical Sciences.

Tuesday 02 March 2010, 14:15-15:45

2-Monads for Differential Calculus

Martin Hyland, University of Cambridge.

MR9, Centre for Mathematical Sciences.

Tuesday 16 February 2010, 14:15-15:45

Some observations on Tannaka duality

Ignacio Lopez-Franco, University of Coimbra.

MR9, Centre for Mathematical Sciences.

Tuesday 09 February 2010, 14:15-15:45

Unwirings and exponentiability.

Nathan Bowler (University of Cambridge).

MR9, Centre for Mathematical Sciences.

Tuesday 02 February 2010, 14:15-15:45

In search of the pythagorean tensor

Tom Leinster, University of Glasgow.

MR9, Centre for Mathematical Sciences.

Tuesday 26 January 2010, 14:15-15:45

Iterated weak enrichments

Nick Gurski, University of Sheffield.

MR9, Centre for Mathematical Sciences.

Tuesday 19 January 2010, 14:15-15:45

Composition in Categories of Games

Nathan Bowler, DPMMS.

MR9, Centre for Mathematical Sciences.

Tuesday 01 December 2009, 14:15-15:45

The classifying weak omega-category of a type theory

Chris Kapulkin, University of Warsaw.

MR9, Centre for Mathematical Sciences.

Tuesday 24 November 2009, 14:15-15:45

Quantum states as measures on the spectral presheaf

Andreas Döring, Oxford University.

MR9, Centre for Mathematical Sciences.

Tuesday 17 November 2009, 14:15-15:45

Relative commutator theory and the associator of loops

Tim Van der Linden, University of Coimbra.

MR9, Centre for Mathematical Sciences.

Tuesday 10 November 2009, 14:15-15:45

Higher dimensional extensions and the Kan property for simplicial objects

Tomas Everaert, Vrije Universiteit Brussel.

MR9, Centre for Mathematical Sciences.

Tuesday 03 November 2009, 14:15-15:45

Remarks on punctual local connectedness

Prof. Peter Johnstone, DPMMS.

MR9, Centre for Mathematical Sciences.

Tuesday 27 October 2009, 14:15-15:45

The universal loop space operad and generalisations

Eugenia Cheng, University of Sheffield.

MR9, Centre for Mathematical Sciences.

Tuesday 20 October 2009, 14:15-15:45

The Comprehensive Factorisation and Torsors

Dominic Verity, Macquarie University, Sidney.

MR3, Centre for Mathematical Sciences.

Tuesday 13 October 2009, 14:15-15:45

Hochas and minimal toposes

Peter Johnstone (University of Cambridge).

MR2, Centre for Mathematical Sciences.

Monday 01 June 2009, 14:15-15:45

The homological role of measuring comodules

Marj Batchelor (University of Cambridge).

MR3, Centre for Mathematical Sciences.

Tuesday 10 March 2009, 14:15-15:45

Some categories arising in the semantics of state and exceptions

Paul Blain Levy (University of Birmingham).

MR3, Centre for Mathematical Sciences.

Tuesday 03 March 2009, 14:15-15:45

Of operator algebras and operator spaces

Jeff Egger (University of Edinburgh).

MR3, Centre for Mathematical Sciences.

Tuesday 24 February 2009, 14:15-15:45

Types are weak ω-groupoids

Benno van den Berg (Technische Universität Darmstadt).

MR3, Centre for Mathematical Sciences.

Tuesday 17 February 2009, 14:15-15:45

Two cotensors in one

Sam Staton (University of Cambridge).

MR3, Centre for Mathematical Sciences.

Tuesday 10 February 2009, 14:15-15:45

Fraïssé's construction from a topos-theoretic perspective

Olivia Caramello (University of Cambridge).

MR3, Centre for Mathematical Sciences.

Tuesday 03 February 2009, 14:15-15:45

Two-dimensional models of Martin-Löf type theory

Richard Garner (University of Cambridge).

MR3, Centre for Mathematical Sciences.

Tuesday 27 January 2009, 14:15-15:45

Model category theory and quantum gravity

Louis Crane (Kansas State University).

MR3, Centre for Mathematical Sciences.

Tuesday 20 January 2009, 14:15-15:45

Hilbert categories and quantum logic

Chris Heunen (Radboud University Nijmegen).

MR9, Centre for Mathematical Sciences.

Thursday 08 January 2009, 14:15-15:45

Two 2-traces

Simon Willerton (University of Sheffield).

MR9, Centre for Mathematical Sciences.

Tuesday 02 December 2008, 14:15-15:45

Lawvere Theories for Nominal Equational Logic

Ranald Clouston (University of Cambridge).

MR9, Centre for Mathematical Sciences.

Tuesday 25 November 2008, 14:15-15:45

Tensor products in higher category theory

Mark Weber (Université Paris 7).

MR9, Centre for Mathematical Sciences.

Tuesday 18 November 2008, 14:15-15:45

Atomic toposes and countable categoricity

Olivia Caramello (University of Cambridge).

MR9, Centre for Mathematical Sciences.

Tuesday 11 November 2008, 14:15-15:45

Syntax graphs and substitution by pushout

Richard Garner (University of Cambridge).

MR9, Centre for Mathematical Sciences.

Tuesday 04 November 2008, 14:15-15:45

Synthesis of Second-Order Equational Logic

Marcelo Fiore (University of Cambridge).

MR9, Centre for Mathematical Sciences.

Tuesday 28 October 2008, 14:15-15:45

Generalising Lawvere theories to an axiomatically defined base

John Power (University of Bath).

MR9, Centre for Mathematical Sciences.

Tuesday 21 October 2008, 14:15-15:45

Sums and tensor products of algebraic theories

Martin Hyland (University of Cambridge).

MR9, Centre for Mathematical Sciences.

Tuesday 14 October 2008, 14:15-15:45

Homotopical aspects of type theory

Steve Awodey (Carnegie-Mellon University).

MR9, Centre for Mathematical Sciences.

Tuesday 13 May 2008, 14:15-15:45

What I don't know about the free topos

Peter Johnstone (Cambridge).

MR9, Centre for Mathematical Sciences.

Tuesday 05 February 2008, 14:15-15:45

DPMMS Pure Maths Seminar

Algebraic Set Theory

Category Theory Seminar

Peter Lumsdaine.

MR9.

Tuesday 29 January 2008, 14:15-15:15