Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
formal category theory (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(1/206)
Export
export all inquiry results
(2)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article EST
/
journal article ENG
Adjoint functor theorems for lax-idempotent pseudomonads
Arkor, Nathanael
;
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
journal article EST
/
journal article ENG
2
journal article EST
/
journal article ENG
The formal theory of relative monads
Arkor, Nathanael
;
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
journal article EST
/
journal article ENG
Number of records 2, displaying
1 - 2
keyword
206
1.
formal category theory
2.
category theory
3.
enriched category theory
4.
formal language theory
5.
assessment category
6.
bimonoidal category
7.
closed category
8.
cocomplete category
9.
cyclic category
10.
double category
11.
duplicial category
12.
free monoidal category
13.
Locally graded category
14.
monoidal category
15.
omega-category
16.
orbit category
17.
skew-monoidal category
18.
slice 2-category
19.
slice category
20.
symmetric monoidal category
21.
triangulated category
22.
2-category
23.
Automata, Formal Verification
24.
Formal
25.
formal and combined safety elements
26.
formal and informal
27.
formal concept analysis
28.
formal education
29.
formal ferification
30.
formal languages
31.
formal logic
32.
formal methods
33.
formal PMS
34.
formal rationality
35.
formal reasoning
36.
formal revolution
37.
formal semantics
38.
formal specification
39.
formal verification
40.
mandatory formal concepts
41.
non-formal education
42.
rigorous formal diagrammatic system
43.
top-K formal concepts
44.
a coherent theory of proofs
45.
activity theory
46.
adaptive structuration theory (AST)
47.
algebraic number theory
48.
algebraic theory
49.
algorithm design and theory
50.
beam theory
51.
behavioral reasoning theory
52.
bicategory theory
53.
Bond theory
54.
Boolean Algebra Meets Graph-Theory
55.
catastrophe theory
56.
chaos theory
57.
coding theory
58.
cognitive theory
59.
commitment theory
60.
communication channels (information theory)
61.
Complex systems theory
62.
complexity leadership theory
63.
complexity theory
64.
computation theory
65.
computer softwaregraph theory
66.
conservation of resources theory
67.
Consumer Culture Theory
68.
control theory
69.
Cooper-Helmstetter cell cycle theory
70.
cosmology: theory
71.
critical theory of technology
72.
cultural theory of international relations
73.
dark matter theory
74.
decision theory
75.
Dempster-Shafer theory
76.
Demster-Shafer Theory
77.
density functional theory
78.
density functional theory (DFT)
79.
dependent type theory
80.
design theory
81.
development theory
82.
Digital Government Theory: Development and Application
83.
dispersive theory
84.
domain theory
85.
ecological systems theory
86.
economic theory
87.
end of theory
88.
energetic impact theory
89.
Euler Bernoulli beams theory
90.
evolutionary theory of policy capacity
91.
Flow theory
92.
fully nonlinear potential theory
93.
game theory
94.
general systems theory
95.
general theory of information transfer
96.
general vibration theory
97.
graph theory
98.
gravitational waves / theory
99.
grounded theory
100.
group theory
101.
group threat theory
102.
higher-order beam theory
103.
History and Theory
104.
homotopy theory
105.
homotopy type theory
106.
housemoney effect prospect theory
107.
iceberg theory of culture
108.
image theory
109.
information theory
110.
innovation theory
111.
institutional theory
112.
intellectual capital theory
113.
interdependence theory
114.
inverse problem theory/applications
115.
inverse problems theory/applications
116.
job search theory
117.
language theory
118.
Lawvere theory
119.
layer-wise displacement theory
120.
linear systems theory
121.
macro-foundational theory
122.
maritime investment theory
123.
mechanism design theory
124.
meso-foundational theory
125.
micro-foundational theory
126.
middle-range theory
127.
modern portfolio theory
128.
network theory
129.
nonlinear shallow water theory
130.
nonlinear shallow-water theory
131.
nonlinear strip theory
132.
nonlinear theory
133.
normal torsion theory
134.
number theory
135.
organization theory
136.
organizational theory
137.
peer‐to‐peer theory
138.
perceived customer value theory
139.
phase field theory
140.
picture theory
141.
protection motivation theory
142.
proto-theory of design
143.
punctuated equilibrium theory
144.
rational choice theory
145.
real options theory
146.
realization theory
147.
reduction theory
148.
refined zigzag theory
149.
regulatory focus theory
150.
sampling theory
151.
scapegoat theory
152.
search and matching theory
153.
self-determination theory
154.
self-determination theory of work motivation
155.
set theory
156.
shallow water theory
157.
shallow‐water theory
158.
sign theory
159.
signalling theory
160.
social exchange theory
161.
social identity theory
162.
social practice theory
163.
social presence theory
164.
social representation theory
165.
social system theory
166.
social systems theory
167.
sociological curriculum theory
168.
S-O-R theory
169.
speech-act theory
170.
stakeholder theory
171.
Stakeholder-oriented decision theory
172.
State Theory
173.
stimulus-organism-response theory
174.
stochastic learning theory
175.
strategic narrative theory
176.
strategic narrative theory
177.
Straussian theory model
178.
structuration theory
179.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
180.
switching theory
181.
synchronous reference frame theory
182.
system theory
183.
systems theory
184.
the RAT theory
185.
theory
186.
theory and practice of meta-modelling with application in healthcare
187.
theory building
188.
theory of accounting
189.
Theory of computation
190.
Theory Of Constraints (TOC)
191.
theory of economic development
192.
theory of inventive problem solving (TRIZ)
193.
theory of natural disaster
194.
Theory of paradox
195.
theory of planned behavior
196.
theory of planned behaviour
197.
theory of signs
198.
theory of value
199.
theory selection
200.
ticked cubical type theory
201.
time-dependent density functional theory (TD-DFT)
202.
type theory
203.
unified theory of acceptance and use of technology
204.
value theory
205.
virtual disc theory
206.
2D+T theory
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT