Results 11 to 20 of about 399,672 (159)
Almost mathematics of pointed symmetric monoidal model categories by Smith ideal theory
, 2023 This article is a generalization of a result in Quillen's note ``Module theory over non-unital rings'' giving a one-to-one correspondence between bilocalization of abelian categories of modules and idempotent ideals of the base ring. Faltings; Gabber and Ramero established almost mathematics, the same as Quillen's bilocalization of a category of ...
Yuki Kato
openalex +4 more sources
Notes on Category Theory with examples from basic mathematics
, 2019 These notes were originally developed as lecture notes for a category theory course. They should be well-suited to anyone that wants to learn category theory from scratch and has a scientific mind. There is no need to know advanced mathematics, nor any of the disciplines where category theory is traditionally applied, such as algebraic geometry or ...
Paolo Perrone
openalex +4 more sources
Analogical transitions between teachers' mathematical knowledge: the category theory as a frame
Studying analogies among the teachers' mathematical knowledge between high school and university remains a challenging research issue. This paper reports on a research that deploys Vergnaud' theory of human activity along with the category theory to collect and analyze data related to high school and university teachers' activity of producing ...
Imène Ghedamsi +2 more
openalex +3 more sources
Mathematics of General Intelligence With Homotopy Type Theory and Category Theory
Prabhakar Balakrishnan
+7 more sources
, 1999 Outils Génériques de Modélisation et de Démonstration pour la Formalisation des Mathématiques en Théorie des Types. Application à la Théorie des Catégories.
Amokrane Saibi
openalex +3 more sources
Constructivist and Structuralist Foundations: Bishop's and Lawvere's Theories of Sets [PDF]
, 2012 Bishop's informal set theory is briefly discussed and compared to Lawvere's Elementary Theory of the Category of Sets (ETCS). We then present a constructive and predicative version of ETCS, whose standard model is based on the constructive type theory of
Palmgren, Erik
core +2 more sources
Morita theory and singularity categories [PDF]
, 2020 We propose an analogue of the bounded derived category for an augmented ring spectrum, defined in terms of a notion of Noether normalization. In many cases we show this category is independent of the chosen normalization.
Greenlees, J. P. C., Stevenson, Greg
core +2 more sources
Quotient completion for the foundation of constructive mathematics [PDF]
, 2013 We apply some tools developed in categorical logic to give an abstract description of constructions used to formalize constructive mathematics in foundations based on intensional type theory.
Maietti, Maria Emilia +1 more
core +2 more sources
, 2015 The main purpose of this article is to introduce the categorical concept of pullback in Mizar. In the first part of this article we redefine homsets, monomorphisms, epimorpshisms and isomorphisms [7] within a free-object category [1] and it is shown ...
Riccardi, Marco
core +4 more sources