Sean Moss

Name:	Sean Moss
Affiliation:	DPMMS
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	Sun Feb 05 12:34:27 +0000 2017

Public lists managed by Sean Moss

• Junior Category Theory Seminar

Talks given by Sean Moss

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.

• Logical relations
• An Introduction to Fibred Categories
• An introduction to locally presentable categories
• Models of Polymorphism
• Ex-infinity
• Simplicial sets and their homotopy theory
• An Introduction to Toposes
• Lambda Calculus and Cartesian Closed Categories
• Orthogonality and Factorization Systems

Talks organised by Sean Moss

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

• Logical relations
• Semi-abelian categories
• The fundamental group from a Tannakian viewpoint
• Adjointness in Foundations: an introduction to Hyperdoctrines
• An Introduction to Fibred Categories
• Elementary embeddings of the universe for category theory
• On the solution of recursive domain equations
• Classifying toposes and forcing
• Categorical Logic Round Table
• Profunctors - An Introduction
• Polynomial functors
• The semi-direct product of categories
• On the analogy between Galois and fundamental groups.
• The functor of points
• Adjunctions induced by Kan Extensions between Grothendieck Toposes
• Discrete Objects in a Topos
• Some observations on cubical sets
• Basic Concepts of Enriched Category Theory
• An Introduction to Toposes
• Geometric morphisms of Realizability Toposes
• On the interplay between a group and its (category of) representations
• Sets for category theory
• Moore Factorization Systems
• Sequential Path Objects
• Monoidal Categories And More
• Local Geometric Morphisms
• Introduction to simplicial homotopy theory
• Homotopy type theory and weak factorization systems
• Van Kampen's Theorem: classic, directed & generalized
• Regular, exact, and PERs categories
• A gentle introduction to Categorical Logic
• Descent in Category Theory
• Toposes of group actions
• Lambda Calculus and Cartesian Closed Categories