Elementwise semantics in categories with pull-backs
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.
Source author record
Anders Kock
Anders Kock appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
13works
3topics
1close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
13 published item(s)
preprint2015arXiv
Affine combinations in affine schemes
We prove that finite sets of mutual neighbor points in an affine scheme admit affine combinations, preserved by any map. Furthermore, such combination has a value which is neighbor point of all the original points.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Bundle functors and fibrations
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.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
The dual fibration in elementary terms
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.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Duality for generic algebras
We prove that double dualization into the generic algebra for an algebraic theory has some Gelfand- or Stone- duality properties
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Fibrations as Eilenberg-Moore algebras
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 category-valued functors and pseudofunctors.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Projective lines as groupoids with projection structure
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, groupoid may be coordinatized by a suitable field constructed out of the geometry.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Local fibered right adjoints are polynomial
For any locally cartesian closed category E, we prove that a local fibered right adjoint between slices of E is given by a polynomial. The slices in question are taken in a well known fibered sense.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Calculus of extensive quantities
We show how a commutative monad gives rise to a theory of extensive quantities, including (under suitable further conditions) a differential calculus of such. The relationship to Schwartz distributions is dicussed. The paper is a companion to the author's "Monads and extensive quantities", but is phrased in more elementary terms.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Commutative monads as a theory of distributions
The theory of commutative monads on cartesian closed categories provides a framework where aspects of the theory of distributions and other extensive quantities can be formulated and some results proved. We make explicit a link between our theory and the theory of Schwartz distributions of compact support. We also discuss probability distributions.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Monads and extensive quantities
If T is a commutative monad on a cartesian closed category, then there exists a natural T-bilinear pairing from T(X) times the space of T(1)-valued functions on X ("integration"), as well as a natural T-bilinear action on T(X) by the space of these functions. These data together make the endofunctors T and "functions into T(1)" into a system of extensive/intensive quantities, in the sense of Lawvere. A natural monad map from T to a certain monad of distributions (in the sense of functional analysis (Schwartz)) arises from this integration.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Geometric algebra of projective lines
The projective line over a field carries structure of a groupoid with a certain correspondence between objects and arrows. We discuss to what extent the field can be reconstructed from the groupoid.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Theory of characteristics for first order partial differential equations
We use the method of synthetic differential geometry to revisit the geometric reasoning employed by Lie, Klein and others in their study of partial differential equations.
0 citations0 reviewsNo code linkedOpen access