64 citations · 78 across the 9 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2013★ 1 cited
Filtered Colimit Preserving Functors on Models of a Regular Theory
Henrik Forssell
This note recalls the representation of regular theories T in terms of set-valued functors on models given by Makkai(1990), and explicitly states the representation theorem for the…
math.CT2011★ 1 cited
Subgroupoids and Quotient Theories
Henrik Forssell
Moerdijk's site description for equivariant sheaf toposes on open topological groupoids is used to give a proof for the (known, but apparently unpublished) proposition that if H is…