Chris Tapo(logy)

He/him | Braids and Category Theory 🔀 | Diagram Doodler. Grindcore Guy.

[Chris Tapo(logy) @DubiousDigraph]

@Kinai_24 Not sure how I feel about the non planar/shlegel'd diagrams, surely some neater typesetting could have been used.

[Chris Tapo(logy) @DubiousDigraph]

My proposal for Project Gigabrain!
https://t.co/mZHklIBYWs

[Chris Tapo(logy) @DubiousDigraph]

So who's trying to team up to describe the category of mixed motives?

[Chris Tapo(logy) @DubiousDigraph]

@mattecapu Going to vixra is the first step of my optimized solution for "find random crackpot paper"

[Emily Riehl @emilyriehl]

Dominic Verity, Mario Carneiro and I just announced a new project to formalize some aspects of ∞-category theory in #Lean via the notion of an ∞-cosmos.

[Chris Tapo(logy) @DubiousDigraph]

@cole_comfort @DrEugeniaCheng I'd definitely cop a categorical coherence onesie.

[arXiv math.CT Category Theory @mathCTbot]

Joseph Helfer: Internal 1-topoi in 2-topoi https://t.co/Sfh9zFWEu8 https://t.co/TX9zi9lbU9

[arXiv math.CT Category Theory @mathCTbot]

Yuhi Kamio, Ryuya Hora: A solution to the first Lawvere's problem A Grothendieck topos that has a proper class many quotient topoi https://t.co/z5GLmRrORG https://t.co/tNzqCLTzwr

[Matteo Capucci @mattecapu]

be not afraid

[Chris Tapo(logy) @DubiousDigraph]

@amar_hh As somebody into combinatorics behind higher categories, I'm definitely interested in checking this out!

[Chris Tapo(logy) @DubiousDigraph]

@mattecapu There is a whole zoo of polytopes that underly different types of coherence like the multiplihedra, functoriahedra, naturahedra, and unitohedra. Then there is the generalization to graph associahedra!

[Chris Tapo(logy) @DubiousDigraph]

@mattecapu Gives me flashbacks to my "coherence for tetracategorical functors" project

[Chris Tapo(logy) @DubiousDigraph]

@Category_Fury Supplement with more grindcore

[Chris Tapo(logy) @DubiousDigraph]

@bahran_cihan I blame Grothendieck. For most things.

[Chris Tapo(logy) @DubiousDigraph]

Throwing operads at graphical calculi and seeing what sticks.

[Chris Tapo(logy) @DubiousDigraph]

@mattecapu Monoidoids

[Liam Bright @lastpositivist]

Merry Christmas one and all!

[Chris Tapo(logy) @DubiousDigraph]

@sarah_zrf (to offer sympathy instead)

[Chris Tapo(logy) @DubiousDigraph]

@sarah_zrf Omw

[Chris Tapo(logy) @DubiousDigraph]

@coecke Did anybody mosh?