Guilherme Lima de Carvalho e Silva

Name:	Guilherme Lima de Carvalho e Silva
Affiliation:	University of Cambridge
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	28 Jan 2016, 2:18 a.m.

Public lists managed by Guilherme Lima de Carvalho e Silva

• Junior Category Theory Seminar

Talks given by Guilherme Lima de Carvalho e Silva

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.

• Cartesian Essential Inclusions of Grothendieck Toposes
• Profunctors - An Introduction
• The semi-direct product of categories
• Adjunctions induced by Kan Extensions between Grothendieck Toposes
• Discrete Objects in a Topos
• Local Geometric Morphisms
• Orthogonality, reflective subcategories and factorization systems.
• An Introduction to Classifying Toposes

Talks organised by Guilherme Lima de Carvalho e Silva

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

• Model structures and derived functors, minus homotopy
• Abstract Sobriety and Equilogical Spaces
• Internal Category Theory
• Orthogonality and Factorization Systems
• An Introduction to Enrichment in a Monoidal Category
• Enrichment of categories of algebras and coalgebras
• Approximation in Domain Theory and some related Category Theory
• A Monadgerie
• Model Categories
• What is ... a topos?
• Polynomial Functors
• Fibrations and Adjointness
• Endomorphisms of generic models of classifying toposes
• Weighted Limits
• Colimits in Toposes
• An Introduction to Weighted Limits.
• The Fundamental Theorem of Category Theory
• Weighted limits and homotopy limits
• It's all about monoids! Algebras, coalgebras and Hopf algebras from a conceptual viewpoint.
• Simplicial Objects
• Monoidal Categories (and much more!)
• An Introduction to Classifying Toposes
• A tiny introduction to realizability
• Orthogonality, reflective subcategories and factorization systems.
• What is... Geometric Algebra?