Julia Goedecke

Name:	Julia Goedecke
Affiliation:	University of Cambridge
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	2 Aug 2017, 9:56 a.m.

Public lists managed by Julia Goedecke

• Part III Seminar Series Lent 2008

Talks given by Julia Goedecke

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.

• Simplicial Objects

Talks organised by Julia Goedecke

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

• Ultrafilters, ultraproducts and ultracategories
• Type Theory and Regular Completions
• Internal homotopy theory via classical completeness
• The lfc Grothendieck topology
• Modelling homotopy types by internal categories
• Title to be confirmed
• Categorical structure for conditional independence
• Title to be confirmed
• Hopf monads and Eilenberg-Moore completions
• Applying Category Theory to Complex Systems Theory: Ehresmann's and Vanbremeersch's Memory Evolutive Systems
• Commutation of Limits and Colimits -- a Cautionary Tale
• The Category of Sets according to Stratified Set Theories
• Title to be confirmed
• What are accessible algebraic weak factorisation systems generated by?
• Title to be confirmed
• A functional interpretation of type theory
• The homsets of 2-internalization
• Towards categorical model theory
• A factorization of constant object functors
• From logic programming to coalgebra; from coalagebra to coalgebraic logic programming
• The homotopy bicategory of (∞, 1)-categories
• Exponentiable Toposes
• A constructive approach to geometric algebra
• Adjunctions between fibrations
• Universes for category theory
• Well adapted models in Synthetic Differential Geometry
• Internal algebra classifiers and their applications
• A categorical approach to loops, neardomains and nearfields
• Title to be confirmed
• Abstract versions of Hilbert's Nullstellensatz, and dualities for algebraic categories
• The fundamental group as a Kan extension
• Entropy is inevitable
• Generalised Polynomial Functors: Theory and Applications
• Monotone-light factorisation systems
• Universal central extensions in peri-abelian categories
• Some remarks on 2-star-permutability and descent in regular categories.
• Topological Galois Theory
• Title to be confirmed
• Commutative monads, distributions, and differential categories
• Coherence for symmetric monoidal bicategories
• On constructing free algebras and properties of free Heyting algebras
• Grothendieck topologies and Grothendieck quantales
• Geometric morphisms between relizability toposes
• Lie structure in Logic wiring
• A categorical view of classical lambda calculus
• Categories and profunctors via free cocompletions
• The Algebra of Directed Acyclic Graphs
• Polynomial Functors and the Dialectics interpretation
• Characterising realisability toposes
• Viewpoints on Homology
• The Herbrand topos
• Barren structures and badly behaved monads on the category of sets.
• Classical Realizability
• Restriction categories as enriched categories
• Multivariable adjunctions and mates
• Isomorphisms of types in the presence of higher-order references
• Parameterized algebraic theories and computational effects
• Applying Category Theory to conceptual questions in the foundations of Geometric Algebra
• Omega-categories in terms of chain complexes
• Characterizations of categories of commutative C*-subalgebras
• Introduction to semi-abelian categories
• Concurrent Games
• Toposes as 'bridges' for unifying Mathematics
• Composing free Lawvere Theories
• Selling category theory to the masses: from cooking via animals to google
• Trees for subtoposes of the effective topos
• Lawvere's Nullstellensatz and Sufficient Cohesion
• Biduals and finiteness conditions
• Twisting Structures
• Title to be confirmed
• Some observations on Tannaka duality
• Composition in Categories of Games
• The classifying weak omega-category of a type theory
• Quantum states as measures on the spectral presheaf
• Relative commutator theory and the associator of loops
• Higher dimensional extensions and the Kan property for simplicial objects
• Remarks on punctual local connectedness
• The universal loop space operad and generalisations
• The Comprehensive Factorisation and Torsors
• Part III Seminars
• Part III Seminars
• Part III Seminars