Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
formal category theory (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
4
Vaata veel..
(1/225)
Ekspordi
ekspordi kõik päringu tulemused
(4)
Salvesta TXT fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Adjoint functor theorems for lax-idempotent pseudomonads
Arkor, Nathanael Amariah
;
Di Liberti, Ivan
;
Loregian, Fosco
Theory and Applications of Categories
2024
/
p. 667-685
http://www.tac.mta.ca/tac/volumes/41/20/41-20.pdf
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
2
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Relative monadicity
Arkor, Nathanael Amariah
;
McDermott, Dylan
Journal of algebra
2025
/
36 p. : ill
http://doi.org/10.1016/j.jalgebra.2024.08.040
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
3
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
The formal theory of relative monads
Arkor, Nathanael Amariah
;
McDermott, Dylan
Journal of pure and applied algebra
2024
/
art. 107676, 107 p. : ill
https://doi.org/10.1016/j.jpaa.2024.107676
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
4
artikkel ajakirjas
The nerve theorem for relative monads
Arkor, Nathanael Amariah
;
McDermott, Dylan
Theory and Applications of Categories
2025
/
p. 403–454
http://www.tac.mta.ca/tac/volumes/43/13/43-13.pdf
artikkel ajakirjas
Kirjeid leitud 4, kuvan
1 - 4
võtmesõna
225
1.
formal category theory
2.
category theory
3.
enriched category theory
4.
formal language theory
5.
aspect category
6.
assessment category
7.
bimonoidal category
8.
braided skew monoidal category
9.
closed category
10.
closed skew monoidal category
11.
cocomplete category
12.
copy-discard category
13.
cyclic category
14.
double category
15.
duplicial category
16.
free monoidal category
17.
Locally graded category
18.
monoidal category
19.
omega-category
20.
orbit category
21.
skew monoidal category
22.
skew-monoidal category
23.
slice 2-category
24.
slice category
25.
symmetric monoidal category
26.
symmetric monoidal closed category
27.
triangulated category
28.
virtual double category
29.
2-category
30.
Automata, Formal Verification
31.
Formal
32.
formal and combined safety elements
33.
formal and informal
34.
formal concept analysis
35.
formal education
36.
formal ferification
37.
formal languages
38.
formal logic
39.
formal methods
40.
formal PMS
41.
formal rationality
42.
formal reasoning
43.
formal revolution
44.
formal semantics
45.
formal specification
46.
formal verification
47.
mandatory formal concepts
48.
non-formal education
49.
rigorous formal diagrammatic system
50.
top-K formal concepts
51.
a coherent theory of proofs
52.
activity theory
53.
adaptive structuration theory (AST)
54.
algebraic number theory
55.
algebraic theory
56.
algorithm design and theory
57.
beam theory
58.
behavioral reasoning theory
59.
bicategory theory
60.
Biot theory
61.
Bond theory
62.
Boolean Algebra Meets Graph-Theory
63.
catastrophe theory
64.
chaos theory
65.
coding theory
66.
cognitive theory
67.
commitment theory
68.
communication channels (information theory)
69.
Complex systems theory
70.
complexity leadership theory
71.
complexity theory
72.
computation theory
73.
computer softwaregraph theory
74.
conservation of resources theory
75.
consumer culture theory
76.
control and systems theory
77.
control theory
78.
Cooper-Helmstetter cell cycle theory
79.
cosmology theory
80.
cosmology: theory
81.
critical theory of technology
82.
cultural theory of international relations
83.
dark matter theory
84.
decision theory
85.
Dempster-Shafer theory
86.
Demster-Shafer Theory
87.
density functional theory
88.
density functional theory (DFT)
89.
dependent type theory
90.
design theory
91.
Dezert–Smarandache theory
92.
development theory
93.
Digital Government Theory: Development and Application
94.
dispersive theory
95.
domain theory
96.
dual-process theory
97.
Dynamic capability theory
98.
dynamic social impact theory (DSIT)
99.
ecological systems theory
100.
economic theory
101.
end of theory
102.
energetic impact theory
103.
engaged theory
104.
Euler Bernoulli beams theory
105.
evolutionary theory of policy capacity
106.
Flow theory
107.
fully nonlinear potential theory
108.
game theory
109.
general systems theory
110.
general theory of information transfer
111.
general vibration theory
112.
graph theory
113.
gravitational waves / theory
114.
grounded theory
115.
group theory
116.
group threat theory
117.
higher-order beam theory
118.
History and Theory
119.
homotopy theory
120.
homotopy type theory
121.
housemoney effect prospect theory
122.
iceberg theory of culture
123.
image theory
124.
information theory
125.
innovation theory
126.
institutional theory
127.
intellectual capital theory
128.
interdependence theory
129.
inverse problem theory/applications
130.
inverse problems theory/applications
131.
job search theory
132.
language theory
133.
Lawvere theory
134.
layer-wise displacement theory
135.
linear systems theory
136.
macro-foundational theory
137.
maritime investment theory
138.
mechanism design theory
139.
meso-foundational theory
140.
micro-foundational theory
141.
middle-range theory
142.
mindlin plate theory
143.
modern portfolio theory
144.
network theory
145.
nonlinear shallow water theory
146.
nonlinear shallow-water theory
147.
nonlinear strip theory
148.
nonlinear theory
149.
normal torsion theory
150.
number theory
151.
organismic integration theory
152.
organization theory
153.
organizational theory
154.
peer‐to‐peer theory
155.
perceived customer value theory
156.
phase field theory
157.
picture theory
158.
protection motivation theory
159.
proto-theory of design
160.
public administration theory
161.
punctuated equilibrium theory
162.
quantum theory
163.
rational choice theory
164.
real options theory
165.
realization theory
166.
reduction theory
167.
refined zigzag theory
168.
regulatory focus theory
169.
sampling theory
170.
scapegoat theory
171.
search and matching theory
172.
self-determination theory
173.
self-determination theory of work motivation
174.
set theory
175.
shallow water theory
176.
shallow‐water theory
177.
sign theory
178.
signalling theory
179.
social exchange theory
180.
social identity theory
181.
social practice theory
182.
social presence theory
183.
social representation theory
184.
social system theory
185.
social systems theory
186.
sociological curriculum theory
187.
S-O-R theory
188.
speech-act theory
189.
stakeholder theory
190.
Stakeholder-oriented decision theory
191.
State Theory
192.
stimulus-organism-response theory
193.
stochastic learning theory
194.
strategic narrative theory
195.
strategic narrative theory
196.
Straussian theory model
197.
structuration theory
198.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
199.
switching theory
200.
synchronous reference frame theory
201.
system theory
202.
systems theory
203.
the RAT theory
204.
theory
205.
theory and practice of meta-modelling with application in healthcare
206.
theory building
207.
theory of accounting
208.
Theory of computation
209.
Theory Of Constraints (TOC)
210.
theory of economic development
211.
theory of inventive problem solving (TRIZ)
212.
theory of natural disaster
213.
Theory of paradox
214.
theory of planned behavior
215.
theory of planned behaviour
216.
theory of signs
217.
theory of value
218.
theory selection
219.
ticked cubical type theory
220.
time-dependent density functional theory (TD-DFT)
221.
type theory
222.
unified theory of acceptance and use of technology
223.
value theory
224.
virtual disc theory
225.
2D+T theory
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT