Nathan Bowler

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

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