Tamara von Glehn

Name:	Tamara von Glehn
Affiliation:	DPMMS
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	20 Sep 2019, 1:15 p.m.

Public lists managed by Tamara von Glehn

Talks given by Tamara von Glehn

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.

• Polynomial models of type theory
• Polynomial functors
• Internal Category Theory

Talks organised by Tamara von Glehn

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

• On the Theory of Higher Subtopoi
• Metric Algebra
• Betweenness reals: How to do Dedekind cuts when you don't know which way is up
• The Legendre-Fenchel transform from a category theoretic perspective
• Internal Language of Higher Categories
• Locally graded categories
• A new proof of the lattice property of the Tamari order
• Univalent Universes of Sets
• Univalent Completion
• A Model Invariance Problem in Homotopy Type Theory
• No-Go Theorems for Distributive Laws
• Dagger limits
• Uniform Kan fibrations from scratch
• New methods for left exact localizations of topoi
• Elementary embeddings for category theory
• Comonad cohomology of track categories
• What does it mean to be Hopf?
• Constructing models of constructive or intuitionistic set theory from classical models of set theory
• A characterisation of the congruence biframe
• Perfect toposes and infinitesimal weak generation
• Univalent polymorphism
• Sattler model structures
• Skew monoidal structure on categories of algebras
• Two-Level Type Theory
• Equilogical spaces and algebras for a double-power monad
• Enriched Internal Categories
• Magnitude homology
• List objects with algebraic structure
• Embedding theorems for (regular) Mal'tsev categories
• Homology of monoids with coefficients in group completion
• Lie's Third Theorem in Synthetic Differential Geometry
• Hopf Formulae for TOR
• Fibration categories and models for higher categories
• Split extensions of bialgebras
• Abstract Systems and Sheaves
• Metric spaces and synthetic differential geometry
• Gluing models of type theory
• Homotopy type theory and algebraic weak factorization systems
• Logic programming: laxness and saturation
• Globular: Higher categories, the easy way
• Minimal dense C*-embedded sublocales
• Coordinatization of Countable MV algebras
• Displayed categories
• Semi-Segal types in Homotopy Type Theory
• Infinitesimal models of theories
• Effect Algebroids
• Using the internal language of toposes in algebraic geometry