Results 21 to 30 of about 1,552,204 (312)
The Exploration of Mathematical Objects in Anime Series Reviewed from Onto-Semiotic Approach (OSA) Theory [PDF]
, 2021 Mathematics is often associated with a boring subject in the classroom. There’s a need for innovation, especially in the learning process, so students don’t feel bored learning mathematics.
Purnomo, Muchammad Khafith Octafian +1 more
core +2 more sources
Mathematical Elements of Density Functional Theory [PDF]
, 2022 We review some of the basic mathematical results about density functional theory.
arxiv +1 more source
Operadic Modeling of Dynamical Systems: Mathematics and Computation [PDF]
ACT, 2021 Dynamical systems are ubiquitous in science and engineering as models of phenomena that evolve over time. Although complex dynamical systems tend to have important modular structure, conventional modeling approaches suppress this structure.
Sophie Libkind +3 more
semanticscholar +1 more source
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
Feferman’s Forays into the Foundations of Category Theory [PDF]
, 2016 This paper is primarily concerned with assessing a set-theoretical system, \(S^*\), for the foundations of category theory suggested by Solomon Feferman. \(S^*\) is an extension of NFU, and may be seen as an attempt to accommodate unrestricted categories
A. Enayat, P. Gorbow, Zachiri McKenzie
semanticscholar +1 more source
SAGE Open, 2022 Student motivation and engagement have been complex issues in basic mathematics education. Based on the theory of Motivation and Engagement Wheel, this study examined the relationships among student motivation, engagement, and mathematics achievement.
Q. Xia +4 more
semanticscholar +1 more source
, 2018 Categorical foundations and set-theoretical foundations are sometimes presented as alternative foundational schemes. So far, the literature has mostly focused on the weaknesses of the categorical foundations.
Marquis, Jean-Pierre
core +1 more source
Category theory and set theory as theories about complementary types of universals [PDF]
, 2016 Instead of the half-century old foundational feud between set theory and category theory, this paper argues that they are theories about two different complementary types of universals.
Ellerman, David P.
core +3 more sources