84 citations · 259 across the 8 of their papers we have counts for
Showing math.CTShow all
3 papers · 1 filter
math.CT2019
Monoidal characterisation of groupoids and connectors
Marino Gran, Chris Heunen, Sean Tull
We study internal structures in regular categories using monoidal methods. Groupoids in a regular Goursat category can equivalently be described as special dagger Frobenius monoids…
math.CT2019
Compact inverse categories
Robin Cockett, Chris Heunen
The Ehresmann-Schein-Nambooripad theorem gives a structure theorem for inverse monoids: they are inductive groupoids. A particularly nice case due to Jarek is that commutative inve…
math.CT2018
Tensor Topology
Pau Enrique Moliner, Chris Heunen, Sean Tull
A subunit in a monoidal category is a subobject of the monoidal unit for which a canonical morphism is invertible. They correspond to open subsets of a base topological space in ca…