April 2, 2024
1:50PM - 3:00PM
MW 154
Add to Calendar
2024-04-02 13:50:00
2024-04-02 15:00:00
Algebra Morphism Coherence
Title: Algebra Morphism CoherenceSpeaker: Niles Johnson (The Ohio State University - Newark Campus)Speaker's URL: https://nilesjohnson.net/Abstract: This talk introduces coherence results for structure-preserving functors, based on joint work with Nick Gurski. We begin with motivating examples for braided and symmetric monoidal functors. We then explain the coherence theorems for monoidal categories (plain, braided, and symmetric) as characterizations of free algebras over 2-monads. Our coherence for algebra morphisms uses this same approach, via a theory of *universal pseudomorphisms*.URL associated with Seminar: https://www.asc.ohio-state.edu/math/vqss/
MW 154
OSU ASC Drupal 8
ascwebservices@osu.edu
America/New_York
public
Date Range
Add to Calendar
2024-04-02 13:50:00
2024-04-02 15:00:00
Algebra Morphism Coherence
Title: Algebra Morphism CoherenceSpeaker: Niles Johnson (The Ohio State University - Newark Campus)Speaker's URL: https://nilesjohnson.net/Abstract: This talk introduces coherence results for structure-preserving functors, based on joint work with Nick Gurski. We begin with motivating examples for braided and symmetric monoidal functors. We then explain the coherence theorems for monoidal categories (plain, braided, and symmetric) as characterizations of free algebras over 2-monads. Our coherence for algebra morphisms uses this same approach, via a theory of *universal pseudomorphisms*.URL associated with Seminar: https://www.asc.ohio-state.edu/math/vqss/
MW 154
Department of Mathematics
math@osu.edu
America/New_York
public
Title: Algebra Morphism Coherence
Speaker: Niles Johnson (The Ohio State University - Newark Campus)
Speaker's URL: https://nilesjohnson.net/
Abstract: This talk introduces coherence results for structure-preserving functors, based on joint work with Nick Gurski. We begin with motivating examples for braided and symmetric monoidal functors. We then explain the coherence theorems for monoidal categories (plain, braided, and symmetric) as characterizations of free algebras over 2-monads. Our coherence for algebra morphisms uses this same approach, via a theory of *universal pseudomorphisms*.
URL associated with Seminar: https://www.asc.ohio-state.edu/math/vqss/
