Category Theory

Awodey, Steve

doi:10.1093/acprof:oso/9780198568612.001.0001

Cited by 321 publications

(307 citation statements)

References 0 publications

Supporting

Mentioning

296

Contrasting

Unclassified

Order By: Relevance

“…We can say though if we do confirm Equation (13) and Equation (14) that such observations may enable a more precise rendering of settling the issues brought up by references [16], and [21], as well as the appropriate use of the structures, algebraically given in [22] [23] for our comparison of the first integrals.…”

Section: Discussionsupporting

confidence: 60%

Creating a (Quantum?) Constraint, in Pre Planckian Space-Time Early Universe via the Einstein Cosmological Constant in a One to One and Onto Comparison between Two Action Integrals

Beckwith¹

2017

JHEPGC

View full text Add to dashboard Cite

We are looking at comparison of two action integrals and we identify the Lagrangian multiplier as setting up a constraint equation (on cosmological expansion). Two action integrals, one which is connected with quantum gravity is called equivalent to another action integral, and the 2 nd action integral has a Lagrangian multiplier in it. Using the idea of a Lagrangian multiplier as a constraint equation, we draw our conclusions in a 1 to 1 and onto assumed equivalence between the two action integrals. The viability of the 1 to 1 and onto linkage between the two action integrals is open to question, but if this procedure is legitimate, the conclusions so assumed are fundamentally important.

show abstract

Section: Discussionsupporting

confidence: 60%

Creating a (Quantum?) Constraint, in Pre Planckian Space-Time Early Universe via the Einstein Cosmological Constant in a One to One and Onto Comparison between Two Action Integrals

Beckwith¹

2017

JHEPGC

View full text Add to dashboard Cite

show abstract

“…First, this category has to have terminal object 1 to indicate abnormal ending of execution. Second, it needs to have finite products, coproducts and exponentials [14] for constructing polynomial endofunctors introduced below. Third, to model the infinite execution of a program, it needs to have a colimit for any cocone consisting of an infinite sequence of states, i.e.…”

Section: Basic Notionsmentioning

confidence: 99%

Coalgebras for modelling observable behaviour of programs

Steingartner

Novitzká

2017

J. Appl. Math. Comput. Mech.

View full text Add to dashboard Cite

Abstract. A useful tool for modelling behaviour in theoretical computer science is the concept of coalgebras. Coalgebras enable one to model execution of programs step by step using categorical structures and polynomial endofunctors. In our paper, we start with a short introduction of basic notions and we use this method for modelling structural operational semantics of a simple imperative language.

show abstract

“…Many functional programming languages rooted in category theory ( [3]), e.g. Haskell, use a unit type and unit value.…”

Section: Fundamental Ch(eck)smentioning

confidence: 99%

ChR: Dynamic Functional Constraints Checking in R

Grzanek¹

2017

Journal of Applied Computer Science Methods

View full text Add to dashboard Cite

Dynamic typing of R programming language may issue some quality problems in large scale data-science and machine-learning projects for which the language is used. Following our efforts on providing gradual typing library for Clojure we come with a package chR -a library that offers functionality of run-time typerelated checks in R. The solution is not only a dynamic type checker, it also helps to systematize thinking about types in the language, at the same time offering high expressivenes and full adherence to functional programming style.

show abstract

Category Theory

Cited by 321 publications

References 0 publications

Creating a (Quantum?) Constraint, in Pre Planckian Space-Time Early Universe via the Einstein Cosmological Constant in a One to One and Onto Comparison between Two Action Integrals

Creating a (Quantum?) Constraint, in Pre Planckian Space-Time Early Universe via the Einstein Cosmological Constant in a One to One and Onto Comparison between Two Action Integrals

Coalgebras for modelling observable behaviour of programs

ChR: Dynamic Functional Constraints Checking in R

Contact Info

Product

Resources

About