# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorDavid_Corfield
• CommentTimeApr 22nd 2020

Came across this categorification of pro-object.

• CommentRowNumber2.
• CommentAuthorDavid_Corfield
• CommentTimeApr 22nd 2020

I’ve been sniffing around a categorified Stone/Isbell duality at the nCafe, hence the interest in 2-pro-objects. I see it hasn’t been taken up much. There’s a use in

• Yuliang Huang, Giulio Orecchia, Matthieu Romagny, Unramified F-divided objects and the étale fundamental pro-groupoid in positive characteristic, (arXiv:1906.05072)

to construct the étale fundamental pro-groupoid of a flat finitely presented algebraic stack.

I wonder what $2Pro(FP Cat)$ is for finitely-presented categories.

• CommentRowNumber3.
• CommentAuthorTim_Porter
• CommentTimeApr 22nd 2020

For what its worth in the original work on shape theory, predating Borsuk by a long time, D. E. Christie (1944) used a homotopy version of 2-pro-object to define his invariants. The idea of homotopy coherent pro-objects was used by Batanin in his work on strong shape theory and of course, comes into Lurie’s work.

• CommentRowNumber4.
• CommentAuthorDavid_Corfield
• CommentTimeOct 22nd 2020