Emilio Minichiello's Avatar

Emilio Minichiello

@eminichiello

Assistant Professor of Mathematics. I like categories, spaces and algorithms. Emiliominichiello.com

168
Followers
93
Following
55
Posts
16.11.2024
Joined
Posts Following

Latest posts by Emilio Minichiello @eminichiello

Coverages and Grothendieck Toposes 1
Coverages and Grothendieck Toposes 1 YouTube video by Emilio Minichiello

Lectures 1 & 2 of my minicourse on Coverages and Grothendieck Toposes are up on youtube. Iโ€™ll be giving the last talk this Friday.

youtu.be/G6kCMcRfRlI?...

12.05.2025 14:27 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Preview
Coverages and Grothendieck Toposes These notes detail the basics of the theory of Grothendieck toposes from the viewpoint of coverages. Typically one defines a site as a (small) category equipped with a Grothendieck topology. However, ...

Ill be giving a minicourse for the next three weeks at the Topology, Geometry and Physics seminar tomorrow at 9am EST on my notes โ€œCoverages and Grothendieck Toposesโ€ (arxiv.org/abs/2503.20664), see www.zeinalian.com/workshop for more info!

01.05.2025 13:28 ๐Ÿ‘ 4 ๐Ÿ” 1 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

Some new notes of mine are finally up!

27.03.2025 19:43 ๐Ÿ‘ 4 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Preview
Inside arXivโ€”the Most Transformative Platform in All of Science Modern science wouldnโ€™t exist without the online research repository known as arXiv. Three decades in, its creator still canโ€™t let it go.

Modern science wouldnโ€™t exist without the online research repository known as arXiv. Three decades in, its creator still canโ€™t let it go.

27.03.2025 10:04 ๐Ÿ‘ 732 ๐Ÿ” 207 ๐Ÿ’ฌ 9 ๐Ÿ“Œ 27

Woohoo! Nice job GC!

14.02.2025 01:05 ๐Ÿ‘ 4 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Woahh ๐Ÿซฃ

23.01.2025 19:13 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

What sorts of categorified connections do you not know how to find explicit descriptions of? By explicit/analytic here can I think โ€œcocycle descriptionโ€?

22.01.2025 13:36 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Ooo whats this from?

20.01.2025 17:35 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Preview
Is $\mathrm{Graph}$ cartesian-closed? Let $\mathrm{Graph}$ be the category of simple, undirected graphs with graph homomorphisms. For any graphs $G, H$ we denote by $\text{Hom}(G, H)$ the set of graph homomorphisms $f:G\to H$. (Note th...

There are way too many categories of graphs, this is ridiculous. Most of them arenโ€™t even toposes ๐Ÿ˜’

mathoverflow.net/questions/32...

#mathsky

08.01.2025 13:10 ๐Ÿ‘ 5 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Kurzgesagt calendars 2024 and 2025

Kurzgesagt calendars 2024 and 2025

Out with the old, in with the new.
#kurzgesagt #happynewyear

30.12.2024 22:27 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Congrats!! ๐ŸŽŠ

21.12.2024 18:50 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Thank you! I taught precalculus and discrete math.

21.12.2024 00:06 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Thank you!

20.12.2024 23:30 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

My first semester as a professor is over! Now I get to celebrate by nursing a sinus infection ๐Ÿ˜ฉ.

20.12.2024 16:56 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 0

I am so sorry to hear this, your papers and work are first class, best of luck!

18.12.2024 23:47 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

๐Ÿง

16.12.2024 12:44 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Ricola

Ricola

No clue. How Iโ€™d pronounce it: products.blains.com/600/106/1067...

08.12.2024 17:00 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

This looks super cool! Would you be willing to give this (or a similar talk) at the NYC category theory seminar (in person or on zoom) next semester?

08.12.2024 14:12 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Category Theory Seminar

In this talk we will discuss concrete examples from topological spaces and graphs before moving to smooth manifolds and the recollement that gives rise to differential cohomology theories.

For more info: www.sci.brooklyn.cuny.edu/~noson/Semin...

08.12.2024 14:07 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Every recollement comes with a fracture square, which in some circumstances can be extended to a hexagon-shaped diagram of fiber sequences.

08.12.2024 14:07 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

ยท Title: Recollements: gluing and fracture for categories.
ยท Abstract: Recollements provide a way of gluing two categories together along a left-exact functor, or conversely of obtaining a semi-orthogonal decomposition of a category by two full subcategories.

08.12.2024 14:07 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

๐Ÿงฎ My good friend Matt Cushman @astragalus.bsky.social is giving a talk at the NYC category theory seminar this week, finishing up the seminar for this semester.

The deets:
ยท Speaker: Matthew Cushman, CUNY.
ยท Date and Time: Wednesday December 11, 2024, 7:00 - 8:30 PM. IN PERSON TALK

08.12.2024 14:07 ๐Ÿ‘ 1 ๐Ÿ” 1 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 0

TFAE-theorems

04.12.2024 22:32 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Noticing this kind of thing is what I love about mathematicians

04.12.2024 15:41 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Preview
Lรกszlรณ Lovรกsz Among the (sometimes) competitive community of mathematicians who (sometimes) happily self-identify as strange, Lรกszlรณ Lovรกsz stands out. Thatโ€™s because the only thing odd about Lovรกszโ€ฆ

Loving this interview

www.simonsfoundation.org/2013/02/14/l...

On video 21 he discusses category theory!

02.12.2024 12:51 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

A special case of this theorem is the classical result of Hilbert about elementary symmetric polynomials generating the algebra of all symmetric polynomials. I will also discuss how the logical complexity of a positive formula controls the size of the small substructures one must count.

02.12.2024 12:41 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

The main result is that any isomorphism-invariant property of a finite structure can be checked by computing the number of isomorphic copies of small substructures it contains.

02.12.2024 12:41 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

Abstract: I will discuss one part of my PhD thesis, in which I provide a categorification of the notion of a mathematical structure originally given by Bourbaki in their set theory textbook.

02.12.2024 12:41 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Category Theory Seminar

NYC Category Theory Seminar

Deets: www.sci.brooklyn.cuny.edu/~noson/Semin...

Speaker: Charlotte Aten, University of Colorado, Boulder.

Date and Time: Wednesday December 4, 2024, 7:00 - 8:30 PM. ZOOM TALK

Title: Invariants of structures.

02.12.2024 12:41 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

Me: ah which one of my 100 projects should I work on today.

Narrator: he started another project that day.

29.11.2024 12:17 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0