Results 1 to 10 of about 50 (50)
Pretorsion theories in general categories [PDF]
Journal of Pure and Applied Algebra, 2021 22 ...
Alberto Facchini +2 more
openaire +4 more sources
Category Theory In Geography? [PDF]
Quaestiones Geographicae, 2015 Abstract Is mathematical category theory a unifying tool for geography? Here we look at a few basic category theoretical ideas and interpret them in geographic example. We also offer links to indicate how category theory has been used as such in other disciplines.
Arlinghaus, Sandra L., Kerski, Joseph
openaire +4 more sources
Formalizing category theory in Agda [PDF]
Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021 The generality and pervasiness of category theory in modern mathematics makes it a frequent and useful target of formalization. It is however quite challenging to formalize, for a variety of reasons. Agda currently (i.e. in 2020) does not have a standard, working formalization of category theory. We document our work on solving this dilemma.
Jacques Carette, Jason Hu
openaire +3 more sources
Morita theory and singularity categories [PDF]
Advances in Mathematics, 2020 Final version, accepted for publication in Advances in Mathematics, 49 ...
Greenlees, J.P.C., Stevenson, Greg
openaire +4 more sources
ON THE HOMOTOPY THEORY OF ENRICHED CATEGORIES [PDF]
The Quarterly Journal of Mathematics, 2013 We give sufficient conditions for the existence of a Quillen model structure on small categories enriched in a given monoidal model category. This yields a unified treatment for the known model structures on simplicial, topological, dg- and spectral categories.
Berger, C., Moerdijk, I.
openaire +5 more sources
A remark on K-theory and S-categories [PDF]
Topology, 2004 It is now well known that the K-theory of a Waldhausen category depends on more than just its (triangulated) homotopy category (see [Schlichting]). The purpose of this note is to show that the K-theory spectrum of a (good) Waldhausen category is completely determined by its Dwyer-Kan simplicial localization, without any additional structure.
VEZZOSI, GABRIELE, B. TOEN
openaire +3 more sources
Transactions of the American Mathematical Society, 1981 Quillen has constructed a K K -theory K ∗ C {K_{\ast }}C for nice categories, one of which is the category of projective R R -modules. We construct a theory K V
openaire +1 more source
Theoretical Computer Science, 1993 AbstractMacLane and Feferman have argued that the traditional set theories of Zermelo—Fraenkel and Gödel—Bernays are not suitable foundations for category theory because of the requirement for self-referencing abstractions. The necessity for distinguishing between small and large categories reflects this unsuitability.
Paul C. Gilmore, George K. Tsiknis
openaire +2 more sources
Obstruction theory in model categories [PDF]
Advances in Mathematics, 2004 17 pages.
Daniel C. Isaksen +2 more
openaire +3 more sources
The Brauer category and invariant theory [PDF]
Journal of the European Mathematical Society, 2015 A category of Brauer diagrams, analogous to Turaev's tangle category, is introduced, a presentation of the category is given, and full tensor functors are constructed from this category to the category of tensor representations of the orthogonal group O (V) or the symplectic group Sp
Gustav I. Lehrer, Ruibin Zhang
openaire +3 more sources