34 citations · 127 across the 38 of their papers we have counts for
19 papers · 1 filter
Elementwise semantics in categories with pull-backs
Anders Kock
We extend the use of ("Kripke-Joyal")- reasoning in categories admitting pull-backs. The aim is to give a theory of jets in this context.
Bundle functors and fibrations
Anders Kock
We give an account, in terms of fibered categories and their fibrewise duals, of aspects of the theory of bundle functors and star-bundle functors in differential geometry.
The dual fibration in elementary terms
Anders Kock
We give an elementary construction of the dual fibration of a fibration. It does not use the non-elementary notion of (pseudo-) functor into the category of categories.
Duality for generic algebras
Anders Kock
We prove that double dualization into the generic algebra for an algebraic theory has some Gelfand- or Stone- duality properties
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…
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…