34 citations · 127 across the 38 of their papers we have counts for
Showing 2013 · math.CTShow all
2 papers · 2 filters
math.CT2013★ 4 cited
Fibrations as Eilenberg-Moore algebras
Anders Kock
We give an elementary exposition of some fundamental facts about fibered (or rather opfibered) categories, in terms of monads and 2-categories. The account avoids any mention of ca…
math.CT2013
Projective lines as groupoids with projection structure
Anders Kock
The coordinate projective line over a field is seen as a groupoid with a further `projection' structure. We investigate conversely to what extent such an, abstractly given, groupoi…