We gratefully acknowledge support from
the Simons Foundation and member institutions.

Category Theory

New submissions

[ total of 5 entries: 1-5 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Mon, 30 Dec 19

[1]  arXiv:1912.12210 [pdf, other]
Title: Simplicial sets with a notion of smallness
Authors: M. Gavrilovich
Subjects: Category Theory (math.CT)

We consider simplicial sets equipped with a notion of smallness, and observe that this slight "topological" extension of the "algebraic" simplicial language allows a concise reformulation of a number of classical notions in topology, e.g. continuity, limit of a map or a sequence along a filter, various notions of equicontinuity and uniform convergence of a sequence of functions; completeness and compactness; in algebraic topology, locally trivial bundles as a direct product after base-change and geometric realisation as a space of discontinuous paths.
In model theory, we observe that indiscernible sequences in a model form a simplicial set with a notion of smallness which can be seen as an analogue of the Stone space of types.
These reformulations are presented as a series of exercises, to emphasise their elementary nature and that they indeed can be used as exercises to make a student familiar with computations in basic simplicial and topological language. (Formally, we consider the category of simplicial objects in the category of filters in the sense of Bourbaki.)
This work is unfinished and is likely to remain such for a while, hence we release it as is, in the small hope that our reformulations may provide interesting examples of computations in basic simplicial and topological language on material familiar to a student in a first course of topology or category theory.

Cross-lists for Mon, 30 Dec 19

[2]  arXiv:1912.11655 (cross-list from math.CO) [pdf, ps, other]
Title: Combinatorics and simplicial groupoids
Authors: Alex Cebrian
Comments: 15pp. Expository text; written for the EJT2019 volume in the TEMat. It can be read as an introduction to arXiv:1804.09462v3
Subjects: Combinatorics (math.CO); Algebraic Topology (math.AT); Category Theory (math.CT)

This expository paper starts with a brief survey on the relation between partitions and surjections of sets, and then gives a quick introduction to the theories of incidence algebras, Segal groupoids and combinatorial species. The aim is to explain an objective construction, in terms of simplicial groupoids, of both the Faa di Bruno bialgebra and the plethystic bialgebra.

Replacements for Mon, 30 Dec 19

[3]  arXiv:1906.09173 (replaced) [pdf, ps, other]
Title: Preservation theorems for strong first-order logics
Comments: Added acknowledgements. 8 pages. arXiv admin note: text overlap with arXiv:1906.09169
Subjects: Logic (math.LO); Category Theory (math.CT)
[4]  arXiv:1911.09048 (replaced) [pdf, ps, other]
Title: Morphisms of Networks of Hybrid Open Systems
Authors: James Schmidt
Subjects: Dynamical Systems (math.DS); Category Theory (math.CT)
[5]  arXiv:1912.04957 (replaced) [pdf, ps, other]
Title: On the canonical, fpqc, and finite topologies on affine schemes. The state of the art
Comments: Three improvements on v1: 1) we give a negative answer to a question by Ferrand on purity (2.3); 2) pseudo-rational singularities are replaced by rational singularities, thanks to a recent result arXiv:1703.02269 by S. Kov\'acs; 3) a full answer to our question about descent of regularity by coverings for the fpqc topology, thanks to a recent result, arXiv:1803.03229, pointed out to us by L. Ma
Subjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC); Category Theory (math.CT)
[ total of 5 entries: 1-5 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, recent, 1912, contact, help  (Access key information)