Nathan Bowler

Name:	Nathan Bowler
Affiliation:	University of Cambridge
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	Mon Jun 27 10:14:40 +0000 2011

Public lists managed by Nathan Bowler

Talks given by Nathan Bowler

Obviously this only lists talks that are listed through talks.cam. Furthermore, this facility only works if the speaker's e-mail was specified in a talk. Most talks have not done this.

• Multicategories

Talks organised by Nathan Bowler

This list is based on what was entered into the 'organiser' field in a talk. It may not mean that Nathan Bowler actually organised the talk, they may have been responsible only for entering the talk into the talks.cam system.

• Homotopy Type Theory and Univalent Foundations of Mathematics III
• Homotopy Type Theory and Univalent Foundations of Mathematics II
• Homotopy Type Theory and Univalent Foundations of Mathematics I
• The magnitude of an enriched category
• Colimits of Monads
• The relationship between pie, flexible and semiflexible limits.
• Constructing monoidal theories with open-graphs and rewrite categories
• Protoadditive functors and abstract Galois groups
• Lex colimits
• On the Functional Representation of Abstract Clones
• On Fusion categories, gradings, and representations of Hopf algebras
• The Category Theory of Quantum Field Theory
• Infinity categories and infinity operads
• Relative Malt'sev and Relative Goursat Categories
• On model theory, noncommutative geometry and topoi
• A topos-theoretic approach to Stone-type dualities
• Three 2-categories
• Unwirings and exponentiability in categories of multicategories
• A construction on strong homotopy algebras.
• Duals and invertibility
• Free monads in double categories
• The unification of Mathematics via Topos Theory
• Multicategories
• Title to be confirmed
• On Varieties of Symmetric Monoidal Closed Categories and Dependency of Categorical Diagrams.
• Freyd's models for the independence of AC as classifying toposes
• Second-Order Universal Algebra, Equational Logic, and Algebraic Theories.
• The Scott model of Linear Logic is the extensional collapse of its relational model
• Kernels and weak factorisation systems
• 2-Monads for Differential Calculus
• Unwirings and exponentiability.
• In search of the pythagorean tensor
• Iterated weak enrichments