Results 71 to 80 of about 90,057 (293)
Can we repudiate ontology altogether?
Noûs, EarlyView.Abstract Ontological nihilists repudiate ontology altogether, maintaining that ontological structure is an unnecessary addition to our theorizing. Recent defenses of the view involve a sophisticated combination of highly expressive but ontologically innocent languages combined with a metaphysics of features—non‐objectual, complete but modifiable states
Christopher J. Masterman
wiley +1 more source
Weak Homomorphisms of Coalgebras Beyond Set
Demonstratio Mathematica, 2014 We study the notion of weak homomorphisms between coalgebras of different types generalizing thereby that of homomorphisms for similarly typed coalgebras. This helps extend some results known so far in the theory of Universal coalgebra over Set.
Kianpi Maurice
doaj +1 more source
Communications in Algebra, 2003 We prove that the description of cubic functors is a wild problem in the sense of the representation theory. On the contrary, we describe several special classes of such functors (2-divisible, weakly alternative, vector spaces and torsion free ones). We also prove that cubic functors can be defined locally and obtain corollaries about their projective ...
openaire +2 more sources
Theoria, EarlyView.Abstract This paper argues for the significance of Kaplan's logic LD in two ways: first, by looking at how logic got along before we had LD, and second, by using it to bring out the similarity between David Hume's thesis that one cannot deduce claims about the future on the basis of premises only about the past, and the so‐called "essentiality" of the ...
Gillian Russell
wiley +1 more source
A completion functor for Cauchy groups
International Journal of Mathematics and Mathematical Sciences, 1981 A completion functor is constructed on the category of completely normal Cauchy groups and Cauchy-continuous homomorphisms. A competion functor is also obtained for a corresponding category of convergence groups.
R. Fric, D. C. Kent
doaj +1 more source
Information Operators in Categorical Information Spaces
Information, 2010 The general theory of information (GTI) is a synthetic approach, which reveals the essence of information, organizing and encompassing all main directions in information theory.
Mark Burgin
doaj +1 more source
Proper Functors and Fixed Points for Finite Behaviour [PDF]
Logical Methods in Computer Science, 2018 The rational fixed point of a set functor is well-known to capture the behaviour of finite coalgebras. In this paper we consider functors on algebraic categories. For them the rational fixed point may no longer be fully abstract, i.e.
Stefan Milius
doaj +1 more source
Scissors congruence K$K$‐theory for equivariant manifolds
Bulletin of the London Mathematical Society, EarlyView.Abstract We introduce a scissors congruence K$K$‐theory spectrum that lifts the equivariant scissors congruence groups for compact G$G$‐manifolds with boundary, and we show that on π0$\pi _0$, this is the source of a spectrum‐level lift of the Burnside ring‐valued equivariant Euler characteristic of a compact G$G$‐manifold.
Mona Merling +4 more
wiley +1 more source
Positive fragments of coalgebraic logics [PDF]
Logical Methods in Computer Science, 2015 Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of standard modal logic. His completeness result consists of an axiomatization that derives all modal formulas that are valid on all Kripke frames and are ...
Adriana Balan +2 more
doaj +1 more source
An ordered framework for partial multivalued functors
, 2015 The category Rel of sets and relations intimately ties the notions of function, partial multivalued function, and direct image under a function through the description of Rel as the Kleisli category of the covariant power set functor on Set. We present a
Chand, Alveen, Weiss, Ittay
core +1 more source