Results 11 to 20 of about 13,741 (235)
Philosophical Issues, Volume 32, Issue 1, Page 367-381, October 2022., 2022 Abstract In this article I argue that often propositional knowledge is acquired and retained by extensive reliance on physical and social scaffolds that create an environment or niche conducive to knowledge. It is incumbent on epistemologists to subject these aids to epistemic assessments.
Alessandra Tanesini
wiley +1 more source
On an adjoint functor to the Thom functor [PDF]
Proceedings of the American Mathematical Society, 2001 We construct a right adjoint functor to the Thom functor, i.e., to the functor which assigns the Thom space T ξ T\xi to a vector bundle ξ \xi .
Yuli B. Rudyak, Yuli B. Rudyak
openaire +1 more source
Pacific Journal of Mathematics, 2016 Minor corrections, and fixed proof of Proposition 4 ...
Kaliszewski, Steve +2 more
openaire +4 more sources
Enriched functor categories for functor calculus
Topology and its Applications, 2022 In this paper we present background results in enriched category theory and enriched model category theory necessary for developing model categories of enriched functors suitable for doing functor calculus.
Bandklayder, L. +4 more
openaire +3 more sources
An expressive completeness theorem for coalgebraic modal mu-calculi [PDF]
Logical Methods in Computer Science, 2017 Generalizing standard monadic second-order logic for Kripke models, we introduce monadic second-order logic interpreted over coalgebras for an arbitrary set functor. We then consider invariance under behavioral equivalence of MSO-formulas.
Sebastian Enqvist +2 more
doaj +1 more source
Derived functors of the divided power functors [PDF]
Geometry & Topology, 2016 Some minor changes to the exposition.
Breen, Lawrence +2 more
openaire +7 more sources
Foundations of Physics, 2023 In this document, we introduce a novel formalism for any field theory and apply it to the effective field theories of large-scale structure. The new formalism is based on functors of actions composing those theories. This new formalism predicts the actionic fields. We discuss our findings in a cosmological gravitology framework.
Ntelis, P. +3 more
openaire +4 more sources
AI for identifying social norm violation
Scientific Reports, 2023 Identifying social norms and their violation is a challenge facing several projects in computational science. This paper presents a novel approach to identifying social norm violations.
Yair Neuman, Yochai Cohen
doaj +1 more source
On paracompact spaces and projectively inductively closed functors
Applied General Topology, 2002 In this paper we introduce a notion of projectively inductively closed functor (p.i.c.-functor). We give sufficient conditions for a functor to be a p.i.c.-functor. In particular, any finitary normal functor is a p.i.c.-functor.
T.F. Zhuraev
doaj +1 more source
Completeness for the coalgebraic cover modality [PDF]
Logical Methods in Computer Science, 2012 We study the finitary version of the coalgebraic logic introduced by L. Moss. The syntax of this logic, which is introduced uniformly with respect to a coalgebraic type functor, required to preserve weak pullbacks, extends that of classical propositional
Clemens Kupke +2 more
doaj +1 more source