Skip to content

Math Research of Victor Porton

  • SCIENCE
    • Journal with post-moderation
    • World Science DAO
  • Home
    • Blog
    • Soft
  • Algebraic General Topology
    • Paperback
    • Ebook
    • PDF
  • Axiomatic Theory of Formulas
    • Paperback
    • Ebook
    • PDF
  • Discontinuous Analysis
    • Full Course
  • More
    • Donate
    • Review
    • Publish
    • Politics
  • Prize

Month: September 2013

  • Home
  • 2013
  • September
Algebraic general topology Category theory Formalized math General Topology

New definitions of products and coproducts in certain categories

By Victor Porton
On September 27, 2013

I have updated this article. It now contains a definition of product and coproduct for arbitrary morphisms of a dagger category every of Hom-sets of which is a complete lattice. Under certain conditions these products and coproducts are categorical (co)products for a…

read more
Algebraic general topology Category theory General Topology

Product and co-product of endoreloids is now defined

By Victor Porton
On September 27, 2013

Using this recently proved theorem I have defined product and co-product of endo-reloids. It is expressed by elegant algebraic formulas.

read more
Algebraic general topology General Topology

Monovalued reloids are metamonovalued

By Victor Porton
On September 27, 2013

I’ve proved today the theorem: Theorem Monovalued reloids are metamonovalued. In other words: Theorem $latex \left( \bigsqcap G \right) \circ f = \bigsqcap \left\{ g \circ f \,|\, g \in G \right\}$ if $latex f$ is a monovalued reloid and $latex G$…

read more
Algebraic general topology General Topology Open problems

New chapter in my book

By Victor Porton
On September 23, 2013

I have added new chapter: 9 “On distributivity of composition with a principal reloid” into my research monograph preprint. (Read the book) The chapter is centered over a single theorem that composition with a principal reloid is distributive over join of reloids….

read more
Algebraic general topology General Topology Open problems

Embedding reloids into funcoids

By Victor Porton
On September 21, 2013

I have codified my idea how to embed reloids into funcoids in this draft article. Next I am going to attempt to solve some of my conjectures using this embedding. I will announce in this blog how solving the open problems goes….

read more
Algebraic general topology Filters General Topology

A draft proof of distributivity of composition with a principal reloid over join of reloids

By Victor Porton
On September 20, 2013

Recently I’ve announced that I have an elegant proof idea of this conjecture, but have a trouble to fill in details of the proof: Statement Composition with a principal reloid is distributive over join of reloids. Now I have almost complete draft…

read more
Algebraic general topology General Topology Open problems

Decomposition of composition and a partial proof of a conjecture

By Victor Porton
On September 19, 2013

Composition of binary relations can be decomposed into two operations: $latex \otimes$ and $latex \mathrm{dom}$: $latex g \otimes f = \left\{ ( ( x ; z) ; y) \, | \, x f y \wedge y g z \right\}$. Composition of binary…

read more
#binary relation#composition
Algebraic general topology General Topology

A brilliant idea about funcoids and reloids

By Victor Porton
On September 18, 2013

In my book I introduced concepts of funcoids and reloids. To every funcoid $latex f$ it corresponds a reloid $latex (\mathsf{RLD})_{\mathrm{in}}f$. This allows to represent a funcoid as a reloid. Today I had the thought that it would be good also to…

read more
Algebraic general topology Category theory General Topology Open problems

Direct products in a category of funcoids

By Victor Porton
On September 17, 2013

I’ve released a draft article about categorical products and coproducts of endo-funcoids, as well as products and coproducts of other kinds of endomorphisms. An open problem: Apply this to the theory of reloids. An other open problem: Whether the category described in…

read more
Algebraic general topology Category theory General Topology Open problems Pointfree topology

New concept: metamonovalued morphisms

By Victor Porton
On September 16, 2013

Let fix some dagger category every of Hom-sets of which is a complete lattice, and the dagger functor agrees with the lattice order. I define a morphism $latex f$ to be monovalued when $latex \circ f^{-1}\le \mathrm{id}_{\mathrm{Dst}\, f}$. I call a morphism…

read more

Posts navigation

1 2 3 Next
Top

Copyright © 2023 Math Research of Victor Porton - WordPress Theme : By Sparkle Themes

  • SCIENCE
  • Home
  • Algebraic General Topology
  • Axiomatic Theory of Formulas
  • Discontinuous Analysis
  • More
  • Prize
  • SCIENCE
    • Journal with post-moderation
    • World Science DAO
  • Home
    • Blog
    • Soft
  • Algebraic General Topology
    • Paperback
    • Ebook
    • PDF
  • Axiomatic Theory of Formulas
    • Paperback
    • Ebook
    • PDF
  • Discontinuous Analysis
    • Full Course
  • More
    • Donate
    • Review
    • Publish
    • Politics
  • Prize